CD
Т-34 85
Если эти 12 человек не связаны с государством, то да
они не связаны с государством ровно как коммунистическая партия не связана с государством - они над государством
Size: a a a
2021 January 09
Т8
очень дофига, судя по масштабам протестов
А масштаб погромов какой?
CD
не умею или не понял о чем ты
ну вот есть проблема: я хочу описывать сложные требования к аргументам, скажем, что a + b == b + a (операция коммутативна) и у меня совершенно нет никакого языка для выражения и доказательства этих требований
А
Т-34 85
А масштаб погромов какой?
трамписты только капитолий чутка погромили
агрессивные блмщики лутали магазины, ну жгли всякое, что под руку попадётся
агрессивные блмщики лутали магазины, ну жгли всякое, что под руку попадётся
Т8
очень дофига, судя по разрушениям, которые эти протесты принесли
Я знаю, что много, но насколько, как оценить?
Т8
нет
Да
H
ну вот есть проблема: я хочу описывать сложные требования к аргументам, скажем, что a + b == b + a (операция коммутативна) и у меня совершенно нет никакого языка для выражения и доказательства этих требований
а, так естественно можно на моём метаязыке
H
могу потом скинуть примерчик
C
ХАХАХАХ
C
Продолжение сериала "Это другое. Вы не понимаете".
А
Т-34 85
Да
нет, тебе даже объяснили почему
H
а, так естественно можно на моём метаязыке
(только если a и b известны во время компиляции)
А
правда непонятно
Т8
Нет, не голосовное. Никто его всерьёз не воспринимал. И люди, которые говорил, что Трамп победит смеялись над этим публично
Я не спорю, что мало кто в него верил. Я не понимаю, откуда взялось "если б знали, то банили б"?
CD
(только если a и b известны во время компиляции)
a и b символы переменных, то есть там \forall
H
то есть они не известны во время компиляции?
А
Т-34 85
Я не спорю, что мало кто в него верил. Я не понимаю, откуда взялось "если б знали, то банили б"?
ну уже на посту ему активно ограничивали твиттер
Т8
Вла́сть — это возможность навязать свою волю другим людям, даже вопреки их сопротивлению.
Кому cnn навязала свою волю?
CD
то есть они не известны во время компиляции?
хочу требования к Ord записать прямо в определение Ord
AR
Т-34 85
Кому cnn навязала свою волю?
Я говорю про картель из корпораций