Как LLM изменят Haskell, программирование и Open Source? | Панельная дискуссия | ZuriHac 2026

Как LLM-ы изменят программирование, открытый исходный код и роль разработчиков программного обеспечения? Эта панельная дискуссия на ZuriHac соберет исследователей, сопровождающих проекты с открытым исходным кодом, основателей стартапов, инженеров и членов сообщества для обсуждения кода, генерируемого ИИ, производительности, доверия, образования и будущего программирования. Дискуссия начинается с рассмотрения взаимосвязи между генерацией кода, спецификациями и проектированием языков программирования. Участники изучают, решают ли современные LLM-ы давние проблемы разработки программного обеспечения или возвращаются к идеям синтеза программ, формальных методов, генерации кода и разработки, основанной на спецификациях. Панель рассматривает роль Haskell, систем типов, теории категорий и формальных спецификаций как инструментов для выражения намерений и генерации корректного программного обеспечения. Значительная часть дискуссии посвящена сопровождению проектов с открытым исходным кодом. Участники обсуждают растущий поток отчетов об ошибках, запросов на слияние и уведомлений о безопасности, генерируемых ИИ, подчеркивая проблемы, связанные с доверием, трудозатратами на проверку, выгоранием сопровождающих и участием сообщества. Панель обсуждает, следует ли ограничивать, принимать условно или оценивать вклад, генерируемый ИИ, с помощью новых процессов, основанных на доверии. Вторая часть посвящена более широким социальным и этическим вопросам. Темы включают потребление энергии, воздействие на окружающую среду, интеллектуальную собственность, эксплуатацию работников, централизованную инфраструктуру ИИ, образование, креативность, демократизацию технологий и экономические последствия автоматизации. В ходе дискуссии участники представляют различные точки зрения на повышение производительности, модели открытого исходного кода, мастерство разработки программного обеспечения и будущие взаимоотношения между человеческим опытом и машинным кодом. Разделы 00:00:00 Введение и структура дискуссии 00:02:06 Представление участников дискуссии и их биографии 00:05:25 Могут ли лучшие языки программирования заменить программы магистратуры в области программирования? 00:12:08 Вклад ИИ в разработку открытого программного обеспечения 00:20:42 Обсуждение с аудиторией вопросов производительности и внедрения 00:27:36 Спецификации, формальные методы и синтез программ 00:32:08 Экологические и этические проблемы 00:37:13 Образование, любознательность и навыки разработчиков 00:45:42 Более компактные модели и альтернативные подходы 00:52:26 Решения для сообществ и системы доверия 00:58:51 Экономическое влияние и будущее работы 01:07:36 Модели с открытым исходным кодом и инфраструктура ИИ 01:10:36 Заключительные вопросы и заключительные замечания О докладчике Эта панельная дискуссия была представлена ​​на конференции ZuriHac 2026, проходившей в OST – Восточно-Швейцарском университете прикладных наук в Рапперсвиль-Йона, Швейцария. В панельной дискуссии приняли участие представители сообщества Haskell и функционального программирования, чтобы обсудить технические, социальные и экономические последствия разработки программного обеспечения с использованием ИИ. Модератором панельной дискуссии выступил Фархад Мехта. ZuriHac — одно из крупнейших в мире мероприятий для сообщества Haskell и функционального программирования. Мероприятие организовано Zürich Friends of Haskell (ZFOH) совместно с OST. Статья OST: https://www.ost.ch/en/details/news/zu... Zürich Friends of Haskell: https://zfoh.ch/ ZuriHac 2026: https://zfoh.ch/zurihac2026/ #ZuriHac #Haskell #FunctionalProgramming