Пиар: ЯМА

- Алло, это фирма "Афродита"?
- Да.
- А Катю можно?
- У нас всех можно...

Очередная порция

lussien

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

15.01.2012 — Пиар: ПРЕЗУМПЦИЯ НЕИЗБЕЖНОСТИ

15.01.2012 — СПРАВА И СЛЕВА

14.01.2012 — СОСАЛЬЩИКИ

15.01.2012 — ПРИНЦИП ПОДОБИЯ

14.01.2012 — МОЗГ НАЦИИ

13.01.2012 — ...А ОТСТУПАТЬ НЕКУДА

13.01.2012 — ТАМ, ГДЕ МЫ БЫВАЛИ

12.01.2012 — Пиар: ОДНО МЕСТО

12.01.2012 — СТАРОДУМ

12.01.2012 — Пиар: ОТ ПЕРВЫХ ПРОТАЛИН ДО ПЕРВОЙ ГРОЗЫ

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

Меняем Vacuum Generator

Единственный дефект на самолёте, когда весь экипаж хочет побыстрее в полёт - это отказ Vacuum Generator. Тогда все - и стюардессы, и стюарды, и бортпроводники, и второй пилот, и даже САМ капитан - все - дружно жаждут срочно поднять самолёт в воздух на высоту не менее пяти километров ...

Свидание с Европой

Бенкендорф "Воспоминания: 1802-1825" "10 октября 1812 г. мы вступили в эту древнюю столицу, которая еще вся окутана дымом. Едва могли мы проложить себе дорогу через трупы людей и животных. Развалины и пепел загромождали все улицы; одни только разграбленные и совершенно почерневшие от дыма ...

Жителю Алтайского края отказали в выходе на пенсию по старости

( https://m.vk.com/wall-140899168_3485745 ) 63-летний житель Егорьевского района Алтайского края захотел выйти на пенсию. В 2024 году у него как раз появилось такое право на фоне продолжающегося переходного периода пенсионной реформы. Но в Социальном фонде России ему отказали. ...

Возрождение традиций

Меня очень радует, что в Москве возрождают традиции. Сегодня я поговорю про ставший уже традиционным Парад кадетского движения в Москве. Третий год подряд этот парад проводится на Поклонной горе 6 мая. Дата 6 мая выбрана неспроста – это День Герба и Флага Москвы, а также день памяти ...

Ээээ....

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

Пиар: ЯМА

Пиар: ЯМА

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

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