рейтинг блогов

Оставить комментарий



Архив записей в блогах:
http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...
Здорово, мальчуки и девчуки... Пиздец нам, ватанам! В Брюсселе писающего мальчика обрядили в костюм свидомiта. Статуй охуел от такого до такой степени, что начал ссаться «Оболонью». Ссылка к новости ...
Гуляя вдоль моря сотый раз - уже практически не слышишь криков чаек, да и собственно сами чайки воспринимаются как какие-то воробьи. А вот появление лебедей на море - штука заметная. Сейчас наверное какой-то перелётный период и я часто вижу лебедей у берега моря в Таллинне. Этот лебед ...
Меня всегда привлекали страны "победившего социализма", есть в них что-то печально-ностальгическое, а еще, путешествуя по такой стране вы знаете, чем все это обернется в конечном итоге. Мы это уже прошли, а они лишь в процессе. Вот бежит пионер, который искренне благодарен дедушке Хо Ши Ми ...
Вчера я была на русской такой почти студенческой свадебной вечеринке, и двое ...