Как выбрать обувь Терволина 
GWS.1/2 "Seaslug" — морская пуля на закате империи (часть 1) 
Враги народа 
200 лет восстанию декабристов 
Несколько свидетельств эпохи Просвещения о Великой пирамиде, необъяснимых при 
Польза для мозга в дорожных пробках, или как отсотить почти миллион. 
Стихи перед сном. Давид Самойлов. Перед снегом 
про то, почему я не сделал этого раньше 
Беда не приходит одна ..
26.01.2010 —
А вот я с gavagay не согласен.
Впечатленьице.
thesz — 08.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
"Неожиданное избавление от российской нефтяной зависимости пришло в Европу оттуда, откуда его совсем не ждали. В Великобритании, рядом с лондонским аэропортом Гатвик нашли огромное месторождение нефти. По оценкам экспертов, этого углеводородного сырья всему Европейскому Союзу может хватить ...
Впервые прочитал трилогию про Эдем от Гарри Гаррисона. Выглядит, как гибрид "Игры престолов" с Жюль Верном. Если бы читал в 80х - наверное бы снесло крышу. Тут и кровища, и секс. Убивают детей, геноцидят целые племена (взаимно), разумная динозавриха насилует человеческого подростка, ...
Надо же! А книга-то автобиографична."Сусанна Арундати Рой родилась 24 ноября 1961 года в Бенгалии и выросла в деревне Айманам в Керале (Индия). Окончила школу "Corpus Christi", которую возглавляла ее мать, известная общественная деятельница. В 16 лет Арунадти ...
Карнавал по русски
Отшумела,отгремела новомодная Российская забава,под названием Выборы Народных депутатов и Президента.
Наряду с обычными элементами:шельмованием,грязными технологиями,фальсификациями,зачисткой не угодных кандидатов ...
Илья Герасимов (Председатель) в своем последнем видео верно обратил внимание на то, что в Новом завете заимствовали сюжет из Ветхого завета, про избиение младенцев. Моисей родился, фараон испугавшись приказал поубивать всех младенцев. Только мать спасла его, положив в корзину и отправив ...
