Инспектор ПДН и школа давят на ребенка: законно ли это и как защитить сына в 2026 году? 
Дайджест новинок недели: Возвращение Пьера Ришара и метания Дженнифер Лоуренс и 
Дегенераты 
«Волга», у которой не было будущего: почему ГАЗ-311055 собрали всего 60 
Подвывертный заскок + прыжок. 
удачненько 
О работе Starlink в Иране 
О том, как Путин изменил Россию Мы опять живём в другой стране? 
Белорубль
13.03.2010 —
Haskell is fantastic because it works as advertised.
Милнер умер.
thesz — 28.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
08.03.2010 —
Впечатленьице.
26.01.2010 —
А вот я с gavagay не согласен.
06.01.2010 —
Под кат не уберу!
03.12.2009 —
Наткнулся у 17ur на отличное.
Архив записей в блогах:
Несколько лет тому назад я улетал в Сингапур, чтобы посмотреть на "город мечты", на маленькую страну сбывшегося порядка, благополучия и прорыва в современном развитии. Этот уголок планеты не разочаровал. И сегодня, читая книгу воспоминаний человека, руководившего Сингапуром в годы этого ...
(с) warsh На днях мой ЖЖ-френд, социолог Леонид Блехер написал в своём блоге Вот, вычитал я где-то: "Мы (не) пахали. Все эти "До Берлина! Можем ...
Собственно говоря,разговор был про жилет . Особых заморочек в костюме вроде нет,усы нарисовать,шляпа,брюки,галстук-бабочка. Нужно было что-то еще. Я связала жилет из кудрявой пряжи,но мне чего-то не хватило:)))Н ...
Критики не будет. Разве лишь, во первых строках, небольшое замечание насчет Навального & Со. На самом деле, не очень уместно. Навальный, безусловно, вражеское орудие. Он (& Со) сделан и заточен под выполнение определенной программы. Он гадит, а нередко и лжет. Но. Если допустить ...
