N
импликация
N(x) - "Дистрибутив 'x' нормальный", c - "дает выбор", n - "NixOS". Тогда в контексте имеем следующие правила:
N(d) -> cn -> ¬cКаким образом из них следует
¬N(n)? :^)Size: a a a
2021 March 13
АБ
Пускай
Тогда в контексте имеем следующие правила:
Каким образом из них следует
Тогда в контексте имеем следующие правила:
Каким образом из них следует
Потерял контекст,
N(d) iff c(d), ¬c(n) => ¬N(n)AK
Потерял контекст,
N(d) iff c(d), ¬c(n) => ¬N(n)Во, отлично, контрапозитив
N
а вообще это если принимать аксиому выбора
YM
Спасибо всем за терпение, пока воздержусь от установки этого дистра.
Мы всегда беспокоимся о наших (потенциальных) клиентах! Спасибо, что (не) выбрали нас.
N
stonks 📈🗿
YM
Терпение +++++
Системди +
Выбор -
Системди +
Выбор -
N
Ну на самом деле nixos и правда сложный, для обычного сферического сисадмина в вакууме не посоветовал бы.
ц
Да уж, по сравнению с никсом сложность системды меркнет
YM
Да я в самом начале написал, что для задротов
N
Это чисто генту with extra steps
N
хотя я генту не использовал ой
YM
хотя я генту не использовал ой
Нее, ну начинается
К0
Ну на самом деле nixos и правда сложный, для обычного сферического сисадмина в вакууме не посоветовал бы.
Да проблема не в сложности установки и настройки
YM
Я только чаем собрался тебя угостить
N
Нее, ну начинается
Т
Ну на самом деле nixos и правда сложный, для обычного сферического сисадмина в вакууме не посоветовал бы.
Ну я худо бедно осиливаю же, хоть и не сисадмин даже)
N
Ну я худо бедно осиливаю же, хоть и не сисадмин даже)
Осилить можно конечно, но порог входа пока большой довольно таки