рейтинг блогов

Оставить комментарий

Архив записей в блогах:
Львовом принято восхищаться. Европа прям и всё такое. Но так как во мне все три дня пребывания в этом городе боролись две личности - москаля-сепаратиста и туриста-алкоголика, то я решил описывать впечатления каждой из них. Поэтому сегодня - первая часть :) И для начала - прощальное селф ...
http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...
Я сегодня поняла, что у меня есть две наркотические субстанции в еде. Если сладость или выпечка имеют в составе или в покрытии шоколад, я не могу остановиться это есть. И если в еде есть томатный сок, паста, соус - я не могу остановиться это есть ...
За какие-то 100 евро. В январе 2013 побывал я в Берлине. Взяли с супругой экскурсионно-автобусный тур и прокатились в своё удовольствие. Неудобство поездки в тесном салоне компенсировалось регулярными остановками и ночёвкой в Польше. Человек существо повышенной адаптивности. После ...
По традиции, привет катаны. С вами снова Мэд_зе_Джазвилль и сегодня мы отправимся в окно исследований Fw190F-8. Полюбилась мне эта няша ещё с Айрон фронта. Начал летать на ней в тундре. Машина очень раритетная, за тридцатку боёв видел её всего пару раз. Не любят её игорьки, а мне нравит ...