Спасибо, что не про Kubernetes! :)

Всё бы хорошо но линукс - ядро, ОС называется GNU/Linux, а mission critical - мейнфреймы и OpenVMS, QNX и L4

Каждый день прогулка - примерно пресловутые 10 000 шагов в день, гантели, диета, получается хорошо.

За заголовок - зачет :)

Да, вырезают вручную, но не ножницами, а ножом. Штанцформы никто не делает, используется только ручной труд и стоит учесть, что кожа - не фабричная тряпичка, толщина у нее варьируется длина тоже не константа.

Реально надо кому? Могу сам делать такие вещи. Да, но покупают их не за качество, а за шильдик :)

Ну `My Crysalis Highwayman` и `California revisited` точно не могли не запомниться :) Фол2 форева с 2001 :))

Ну уж извините, с музычкой во втором фоле все очень хорошо :)

Про Терак-25 забыли еще и Тойоту с "Пентиумом". Набившие оскомину примеры багов из книг и материалов про формальную верификацию и ФП.

Индастриал, отлично! Автор - большой молодец, пишите еще!

Я Волковым выгрыз бы Windows NT... (q)

Ностальгии пост

У Дейва Фарли еще канал на трубе есть.

Спасибо за статью. Не имеете ли что-то сказать за TiKV, Tidis?

Затверждаю!

Автор - большой молодец! За Why3 ничего не расскажете?@ymnспс

Ну хоть светильники американские работают, и то хорошо

Запустят?

Переулки молчат, под ногами - усталый асфльт,

Но под крышами горд продолжает жить.

И пускай фонари светят ярче далеких звезд -

Фонари все погаснут, а звезды будут светить.

Экология в Екатеринбурге? Челябинск передает привет :))