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

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

Архив записей в блогах:
Вы наверное, знаете, что 8 марта это 23 февраля по старому стилю (в невисокосные годы). Специально это было сделано или нечаянно получилось, сейчас уже неважно — важно что сия нумерология уже почти победила первоначальный смысл праздников советской армии и феминизма и превратила их в ...
http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...
Пиздец как меня бесят высказывания в духе: «Надо любить себя такой, какая ты есть». Их придумали страшные и ленивые тетки, чтобы друг друга утешать, а, может, и сам сатана. Дамочки, запомните: вы не имеете права себя любить и не можете рассчитывать ...
Дождик заказал на всю ночь. С грозой. Шуму было. На весь инет хватит. Зато землю пролило - капитально, растения можно неделю не поливать. А щас светит Солнце и - тепло. Удачи вам. Пусть ваши пожелания - тоже ...
Вопрос к опытным, и не очень, походникам: посоветуйте, пожалуйста, свой неочевидный must-have для такого вида отдыха. Я турист достаточно опытный, но с 4х леткой еду впервые и боюсь что-то упустить. Машина будет рядом, брать можно с собой хоть кровать. Отдельно интересует защита от ...