Полноповоротный экскаватор: преимущества, характеристики и возможности в 2026 году
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 на отличное.
Архив записей в блогах:
Ну, тут можно вспомнить забытые слова песенки, про лирического героя, который "вышел пройтись, в Латинский квартал, cвернув.. с Тверской".. #вижукрасивое в наше непростое время в #тосамоелето . Что я думаю сейчас это тоже важно.. На Патриках и на Бронной светит солнышко, ...
50 лет назад в ходе выполнения космической программы "Аполлон" (Apollo) человек впервые ступил на поверхность другой планеты. Точнее - крупного естественного спутника. https://ru.wikipedia.org/wiki/Аполлон_(космическая_программа) Сейчас NASA имеет разработанную и практически ...
Австралийские инженеры разработали искусственные мышечные волокна, принцип работы которых имитирует возможности молекул ДНК многократно скручиваться в спирали, значительно уменьшая свои размеры. ( Read more ... ...
если специально поставить себе целью издевательство, то получится гораздо бледнее, чем у Ленина Во всех послеоктябрьских прожектах Ленина мракобесие неслыханное, неправдоподобное, не оставляющее никаких сомнений в психической неполноценности их автора. Вот, например, такая фраза: ...
Хорошая , добротная вещь ...
