Рейтинг причин заказать ремонт офисной мебели
13.04.2010 —
Ээээ....
Поддержу.
thesz — 24.04.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
28.03.2010 —
Милнер умер.
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 на отличное.
Архив записей в блогах:
В американской компании FunSponge, несомненно, работают очень креативные (а по украинским меркам – и абсолютно лишенные страха) люди. Это ж надо – выпустить вибратор, раскрашенный в цвета американского флага и с «фигурой и лицом» Барака Обамы! ...
Forbes назвал основателя Telegram и ВКонтакте Дурова самым обедневшим миллиардером из РФ. Позорный нищеброд потерял за прошлый год аж $3,6 млрд и теперь владеет какими-то жалкими $11,5 млрд. Как жить после таких потерь, и почем нынче «дошики» для испытывающих нужду миллиардеров, ...
nihilcuro кинул ссылку на божественный креатиff Биплан + межгалактический хрустЪ + adskie bolsheviki = Profit сияющее, эталонное совершенство. Я хочу это видеть! Как можно скорее. N.B. Я так понимаю, началась артподготовка перед столетним юбилеем. Глупо, на мой взгляд, чем боль ...
Firethorn (Огненный шип) — бестселлер американской писательницы Сары Миклем (Sarah Micklem), написанный в стиле фэнтези (2004). Имя Firethorn носит героиня романа. Среди прочих её приключений — голодная жизнь в горах, где она ест ягоды пираканты, но вместо смерти к ней приходит особый ...
Один мой родственник пару лет назад сказал: «Ты ведь ничего не делаешь, ты целый день сидишь за компьютером». Я даже потеряла дар речи: «Как это, ничего не делаю? Я работаю, пишу тексты!». На это он мне ответил: «Не-ет, ты не работаешь, тебе это просто нравится!». Я изумилась, его мнение ...
