Текущее.

Предыдущие записи блогера :

28.04.2025 — Текущее.

27.04.2025 — Убийца генерала Москалика действовал по методике «спящих ячеек» ИГИЛ

26.04.2025 — Текущее.

26.04.2025 — Анекдот про «черного» Зеленского в Риме

26.04.2025 — Текущее.

25.04.2025 — Текущее.

25.04.2025 — Кличко готов «временно» сдать территорию Украины

24.04.2025 — Текущее.

24.04.2025 — Трамп может признать Крым частью России

Архив записей в блогах:

Поддержу.

http://lambda-the-ultimate.org/node/3858#comment-59775 - ссылка на комментарий одного из разработчиков seL4, формально верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания ...

Без заголовка

Лучше потерять гордость ради человека, которого любишь, чем потерять человека, которого любишь, из-за гордости. ©профиль ...

Паста вонголе с джином

Вообще-то спагетти вонголе — это настоящая классика. Сразу думается о щедром солнце, блестящей поверхности моря, легких платьях, широкополых шляпах, небольших ресторанчиках и... ...

и снова про криворуких

есть у меня древний почтовый ящик на mail.ru, заведенный еще в девяностые. поскольку с моей точки зрения это далеко не самый удобный почтовый сервис, а уж про количество спама, которым он оброс за эти 20 лет, я вообще даже думать не хочу, я не прибиваю его, видимо, из жалости :-) я ...

День экскурсовода в Корбахе, Германия.

1. В узком переулочке Старого города только эта плита свидетельствует о том, что 1938 году стоявшая здесь синагога была сожжена. 2. Сейчас это только забор. Что здесь было прежде, пока не удалось узнать. 3. "Оленья аптека" (если давать в прямом переводе) была основана в 1741 году, ...

Текущее.

Текущее.

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

Популярные посты: