Re: и об облаках (systemd)
Sergey Kirpichev -> Russian Debian List @ Mon, 3 Mar 2014 19:20:38 +0400:
>> Инициализация сервера требует надежности. А уж как она будет обеспечена:
>> каждый раз некриворукими админом и майнтейнером дистрибутива или раз и
>> навсегда верификацией солвера — разницы нет.
SK> Полноте) Там слов-то таких, поди, не знают. В лучших
SK> традициях Linux-kernel hackers (для примера, вот [1]).
SK> Впрочем, с удовольствием посмотрю на блок-схемки, описывающие
SK> алгоритм(ы?) работы systemd. Их есть? В документации не нашел
SK> ничего даже отдаленно напоминающее подобное.
И написан он, я подозреваю, ни разу не на agda или coq, таких слов там
точно не знают...
Reply to: