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, таких слов там точно не знают... -- To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/877g8bvvq2....@wizzle.ran.pp.ru
