Пользователь
Да, все в порядке, моментально.
Очень хорошо, спасибо, ждем следующую часть. Тем временем, ковыряем Изабеллу и TLA+ :)
Большой молодец!
И это меня со столяркой на балконе и кожевенной мастерской дома называют сумасшедшим... :) Автору - всяческих успехов!
Шведский изучать надо обязательно - акторная модель ибо. Хаскелл и всё ML -семейство интересны, Lean4, Isabelle/HOL, Coq, Rust
Олдово, зачот :)
А зачем, если есть Лисп? :)
А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!
Спасибо, что не про Kubernetes! :)
Всё бы хорошо но линукс - ядро, ОС называется GNU/Linux, а mission critical - мейнфреймы и OpenVMS, QNX и L4
Каждый день прогулка - примерно пресловутые 10 000 шагов в день, гантели, диета, получается хорошо.
Тот самый дистрибутив, который выбрали российские физики?
За заголовок - зачет :)
Да, вырезают вручную, но не ножницами, а ножом. Штанцформы никто не делает, используется только ручной труд и стоит учесть, что кожа - не фабричная тряпичка, толщина у нее варьируется длина тоже не константа.
Реально надо кому? Могу сам делать такие вещи. Да, но покупают их не за качество, а за шильдик :)
Ну `My Crysalis Highwayman` и `California revisited` точно не могли не запомниться :) Фол2 форева с 2001 :))
Ну уж извините, с музычкой во втором фоле все очень хорошо :)
Про Терак-25 забыли еще и Тойоту с "Пентиумом". Набившие оскомину примеры багов из книг и материалов про формальную верификацию и ФП.
Индастриал, отлично! Автор - большой молодец, пишите еще!
Я Волковым выгрыз бы Windows NT... (q)
Да, все в порядке, моментально.
Очень хорошо, спасибо, ждем следующую часть. Тем временем, ковыряем Изабеллу и TLA+ :)
Большой молодец!
И это меня со столяркой на балконе и кожевенной мастерской дома называют сумасшедшим... :) Автору - всяческих успехов!
Шведский изучать надо обязательно - акторная модель ибо. Хаскелл и всё ML -семейство интересны, Lean4, Isabelle/HOL, Coq, Rust
Олдово, зачот :)
А зачем, если есть Лисп? :)
А, Вы ту статью Клеппмана взяли, господин Вескер? Привет доктору Айзексу и Алисе! :) Большой молодец!
Спасибо, что не про Kubernetes! :)
Всё бы хорошо но линукс - ядро, ОС называется GNU/Linux, а mission critical - мейнфреймы и OpenVMS, QNX и L4
Каждый день прогулка - примерно пресловутые 10 000 шагов в день, гантели, диета, получается хорошо.
Тот самый дистрибутив, который выбрали российские физики?
За заголовок - зачет :)
Да, вырезают вручную, но не ножницами, а ножом. Штанцформы никто не делает, используется только ручной труд и стоит учесть, что кожа - не фабричная тряпичка, толщина у нее варьируется длина тоже не константа.
Реально надо кому? Могу сам делать такие вещи. Да, но покупают их не за качество, а за шильдик :)
Ну `My Crysalis Highwayman` и `California revisited` точно не могли не запомниться :) Фол2 форева с 2001 :))
Ну уж извините, с музычкой во втором фоле все очень хорошо :)
Про Терак-25 забыли еще и Тойоту с "Пентиумом". Набившие оскомину примеры багов из книг и материалов про формальную верификацию и ФП.
Индастриал, отлично! Автор - большой молодец, пишите еще!
Я Волковым выгрыз бы Windows NT... (q)