>Смотря на проблемму с этой точки зрения я вижу ЕС начинающий крестовый
>поход по созданию своей ОС - безбажной и на основе стандартов,
>в противовес бажной поделки проталкиваемой тоннами маркетинга и основанной на подковёрных
>договорённостях между производителями железа и монополистами. Угу, они такие. Доставила новость о каком-то немецком open-source проекте, который был очень хорошо написан, но заняло это 10 лет. К моменту релиза он, соответственно, был неактуален. Название к сожалению не помню.
Бесконечно правильная программа будет писаться бесконечно долгое время. На всякий случай напоминаю, что доказательство правильности программы (однопоточной!) явялется NP-сложной задачей. Значит, гарантированно правильную программу из пары тысяч инструкций возможно выпустить только после того как погаснет Солнце.