Кредитный рейтинг: что это такое, как узнать и улучшить свой показатель 
Не пытайтесь ускорить Ютуб 
Важные законы 
О ферме Бенуа 
Не пустили в Россию из за татуировки Буданова... 
«Немецкие танки под Курском» или Что останется от нынешних событий 
День фотографии - параллели и вертикали в Сокольниках 
зябкость и безысходность как условия жизни 
Гнездо д’Аннунцио, или Там чудеса...
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 на отличное.
Архив записей в блогах:
Газета Зе Таймз пишет Importers of a once-ridiculed Russian four-wheel drive vehicle are expecting a sharp increase in orders when the Land Rover Defender reaches the end of the road this year. The Defender, a favourite with farmers and land owners since 1948, has been killed off by mo ...
Аналитики сайта Worldatlas составили рейтинг десяти самых криминальных городов мира. Ростов возглавил данное исследование. «Независимо от того, где человек живёт, работает, или отдыхает, личная безопасность является главным приоритетом. Чтобы помочь тем, кто ведёт свои дела за ...
Захожу я в бухгалтерию сегодня и вижу, как сотрудник ставит печать на документах. Вспомнилась мне история императорской печати в Древнем Китае. По данным wikipedia изготавливалась эта самая печать из зеленого авантюрина, в те времена редкого и дорогостоящего ...
Ежедневно миллионы людей молятся богу, для простоты предположим что он использует для получения молитв что-то вроде почтового клиента. Вопрос - а есть ли у него папка ...
Год назад, 20 апреля 2018 года ушёл из жизни Тим Берглинг, более известный, как Avicii . Сегодня я хочу напомнить вам о его творчестве. Этот клип без мурашек я смотреть не могу. https://www.youtube.com/watch?v=S565hk5T7SA Так получилось, что многие в России узнали об ...
