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

Архив записей в блогах:
Обычный "пользователь" английского может не знать слово TAR ( смола ) , но не может не знать TEAR ( слеза ) : tõrv, р.п. tõrva [тырв, тырва] (эст., водск.), tȭra [тыра] (ливон.), terva [терва] (фин., ижор.), tervu [терву] (карел.), ťerv(e͔) [търв(е)] (вепс., чуд.), darva [дарва] ...
Книги, выложенные в библиотеку на прошлой неделе. Как обычно, подарки от Каролинг и не только. Захаров П.П. Войсковое питание. Упр. продовольств. снабжения Гл. интендантского упр. Воен. м-ва Союза ССР, 1951 г. Самое интересное – сравнивать меню солдат и летчиков. Вот уж точно – небо ...
Кабмин не поддержал законопроект о запрете упоминания в российских СМИ национальности преступников. Казалась бы хорошая новость, но только сейчас совсем не актуальная. Независимых СМИ в РФ не осталось, а у тех  что остались во всем виноваты исключительно украинские ...
http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...
О чем я сегодня думаю? О пятнашках. У вас были в детстве пятнашки? У меня была серая коробочка с рельефными цифрами на крышке. Такими красивыми, будто это литеры в книжке со сказками. “15 негритят пошли купаться в море…” Так себе сказка и на море хочется. Так вот в детстве игра в ...