Vision: Zero Bugs — Иоганн Шлейер-Смит, Temporal

Программное обеспечение без ошибок кажется абсурдным или даже невозможным в любых ситуациях, кроме простых, но оно существует. Например, программное обеспечение космического челнока НАСА достигло практически идеального уровня (1 ошибка на 420 000 строк) благодаря строгим инженерным практикам. Этого удалось достичь десятилетия назад, однако высокая стоимость помешала внедрению использованных методов в массовое производство. В этом докладе рассматриваются семьдесят лет инноваций в области качества программного обеспечения и производительности труда программистов, от структурного программирования до формальной верификации. Хотя многие из этих методов были слишком дорогими для внедрения в больших масштабах, ИИ меняет ситуацию. Более того, агентное кодирование нуждается в них, чтобы компенсировать свои ограничения. Мы находимся на пороге мира, где надежность аэрокосмического уровня станет практической необходимостью в широком спектре приложений. Иоганн Шлейер-Смит — технический руководитель направления ИИ в Temporal Technologies, ведущем поставщике решений для надёжного выполнения. Ранее он основал компанию Crystal DBA, которая разрабатывала агенты для управления облачной инфраструктурой и была приобретена Temporal. Он также стал соучредителем if(we), компании, создавшей сеть социальных сетей с более чем 300 миллионами участников, которая была приобретена The Meet Group (NASDAQ:MEET). Йоханн входит в совет директоров Sama, ведущего поставщика обучающих данных для приложений компьютерного зрения. Он имеет докторскую степень по информатике Калифорнийского университета в Беркли и степень бакалавра по физике и математике Гарвардского университета. LinkedIn: https://www.linkedin.com/in/jssmith/ GitHub: https://github.com/jssmith Веб-сайт: https://johann.schleier-smith.com/ Компания: Temporal Technologies (https://temporal.io/)