Почему рекламное агентство по продвижению сайтов стало выбором №1 у стартапов 
Распространенные мифы о Великой Отечественной войне 
«Небесные врата» в горах Китая 
Монстр Мордора 
Сэнсэй о котиках 
ботаника 
Время цветения 
Картофель и Пропаганда 
Хороший, по итогу год - я в нём дембельнулся (я про 1991 говорю: ДМБ-91,
26.01.2010 —
А вот я с gavagay не согласен.
Впечатленьице.
thesz — 08.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Сейчас многие «левые» яростно борются в сети с «вандалами» в США и Европе, которые валят памятники южанам-рабовладельцам, колонизаторам, автору геноцида в Конго королю Леопольду II и другим хорошим людям. Мне даже стало интересно... Вот пройдёт время, в России, на Украине и в других ...
Куда ни глянь - везде обсуждается смерть "Иванушки" (ну, помимо смерти "пьяного" мальчика, естессно). Блин, ну умер человек и умер, что из этого делать новости мирового масштаба, как будто Путин умер или кто другой немаловажный человек. Мало того, что весь коллектив "Иванушек-дурачков" - ...
Продолжаем понемного выкладывать архив. Первый, октябрьский ещё, обзор нашего книжного мыша Марианны!
Андрей Виноградов «Легенды Царьграда»
Есть в Гиперионе и Нигде Кроме, стоит 700 р.
...
вот вы, когда вам в гостях еду с собой заворачивают, как к этому относитесь? "ААААААААА, меня посчитали за попрошайку и нищеброда!!!" "А чо так мало положили?" или "Я покупал/а сюда тортик, с ним и уйду!"? Или ещё есть какие варианты? ...
a viacomment Кто начнёт первым - не знаю. Может Сибирь, может Трансаэро, а может быть и Аэрофлот. И ты, читающий сейчас эти строки - потенциальный претендент на понумерованную строчку в скорбном списке, который несколько дней будут ...
