Тщательно отобранные 
Raft: Вот какой plot построил бы я 
Сотни миллиардов рублей, потрачены на ЕСУ ТЗ с нулевым выхлопом 
Сенсационное сообщение венгерского телеграфного агентства 
Курск 
Поездатые поезда. "Новогодний" 
Ну, за удачу! 
Шиповник
28.03.2010 —
Милнер умер.
Ээээ....
thesz — 13.04.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
13.03.2010 —
Haskell is fantastic because it works as advertised.
08.03.2010 —
Впечатленьице.
26.01.2010 —
А вот я с gavagay не согласен.
06.01.2010 —
Под кат не уберу!
03.12.2009 —
Наткнулся у 17ur на отличное.
Архив записей в блогах:
"Газпром" отклонил немецкий платеж за газ Газпромбанк отклонил платеж за несколько поставок газа в Германию и Австрию по контракту с Gazprom Marketing & Trading Ltd. Ранее Gazprom Marketing & Trading Ltd. находилась под управлением немецкой дочерней компании ПАО "Газпром". Однако в ...
Как вы знаете, я посмотрел "Доктора Стрэнджа" (2016) на огромном экране. Мой внутренний ребенок бьется в экстазе. Это эталонный поп-корновый фильм: ненапряжно, красиво и нескучно. Немного глуповато, но это лучшее, что было в аттракционах Марвел. И визуальные эффекты - просто на высоте. А ...
Что он вложил олимпиард рублей деней в распилиаду, а её должным образом не заценили ни народ ни иностранные партнеры. Народ ненавидит, партнеры высмеивают. Да, Вова, что-то не так в директории, может пора на пенсию, раб галер? ...
Сегодня в Гомеле, на улице Косарева, рядом с магазином ГИППО, открылся новый магазин строительных материалов ОМА. Говорят, что это самый крупный строймаркет в области. Так вот, в этом магазине открылось очень уютное кафе быстрого питания "Сели & Съели" . Это кафе моего старшего сына. ...
Комбаты батальонов Донбасс, Днепр и Миротворец прибыли в США, где намерены провести ряд встреч в Конгрессе США, штабах Республиканской и Демократической партий, правительственных и неправительственных организациях. Цель очевидная - просить денег. Менее очевидная, но более им интересн ...
