Исходное сообщение
"Создан форк системы управления контейнерами LXD" Отправлено User, 08-Авг-23 14:09
> Очень смелое заявление. Ну, у меня окрест ни одного проекта без какой-нибудь NoSQL лет несколько уже нет, а то, что есть как правило какими-нибудь "персистирующими слоями", "шинами данных" и разнообразым ETL'ем обмазано. > Уже меняет, хотя и не коренным образом. Общее количество ошибок уменьшается. Это > ведь тоже своего рода замена мешков-с-мясом на умный компилятор. "Софт КОНЦЕПТУАЛЬНО не надежен" - константа бытия, которую "умный компилятор" не меняет ровным счетом "никак" - отказоустойчивость _системы_ обеспечивается НЕ путем переписывания на "более другие" языки и даже не "формальной верификацией"