Исходное сообщение
"Проекту seL4 присуждена премия ACM Software System Award" Отправлено Аноним, 09-Май-23 14:04
с моей точки зрения вся эта идея формальной верификации микроядра и полученной за это награды преувеличена и не имеет реальной ценности. во-первых для большинства реальных задач разработчикам подобные фокусы с "абстрактной точностью" не нужны, нам надо производительные и стабильные решения, а не надменные громоздкие конструкции инженеров. во-вторых я не верю что полная формальная верификация реально возможна, в любой сложной системе остаются упущения и баги которые обнаружатся только во время работы. в-третьих похоже что весь этот проект продвигается ради грантов и личного признания его создателей, несмотря на отсутствие какой-либо реальной пользы для большинства пользователей. пиар и завышенные ожидания - основные инструменты для привлечения средств. поэтому лично я считаю что эта награда не оправдана и проект не решает реальные проблемы, скорее это очередное "блестящее" теоретическое предложение без настоящей ценности, а награда лишь демонстрирует избирательность экспертов. в целом мне кажется что много шума из ничего, типичная "технологическая хайпа" с целью получения финансирования и продвижения, а не ради каких-то реальных достижений или прорывов