Без заголовка

Забавно, мы как раз вчера обсуждали написание безбажной ОС и браузера. Я отметил, что гении сейчас вполне могут такие писать :). Но я правда на других примерах верификации основыввался (верифицированные компиляторы, языки с депендент тайпс и т.д.). Вобщем, молодцы австралийцы, там тоже есть гении :).