Пользователь
Олдово, зачот :)
А зачем, если есть Лисп? :)
А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!
Спасибо, что не про 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спс
Олдово, зачот :)
А зачем, если есть Лисп? :)
А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!
Спасибо, что не про 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спс