AK
Смогут ли рептилоиды добраться до своей инкарнационной матрицы, или мы дадим им отпор? Вот что должно волновать каждого из нас.
Size: a a a
2020 January 25
p
p
Рептилиям нужны человеческие гениталии. Это для них дедикатес
p
Защитим наши ху нас
p
Все, я перестал джерковать
AK
Коронавирус прорвал границы СНГ! Зарегистрирован первый случай заражения. Чтобы не заразиться нужно просто........
A
Посмотрите этот Meetup группы Rust в Москве http://meetu.ps/e/HGlR4/Fjc3K/d
VS
ну тогда купишь загран и уедешь
Отменит государство все выданные задраны и я посмотрю как ты потом уедешь. Эхе.
p
Как хорошо что в Украине для выезда в Европу нужен только паспорт а не загран
VS
и амазоны еще
Ты чего родных мелкомягких забыл. Фу таким быть! Они же в этом году на свой топ капитализации вышли 🥺
AZ
Отменит государство все выданные задраны и я посмотрю как ты потом уедешь. Эхе.
не отменит
AZ
высылка несогласных на параходах - давняя традиция, не думаю что её будут менять даже в худшем сценарии
AZ
двойное отрицание позволяет переходит от классической логики к интуиционистской, что есть изоморфно энкодингу в Черч кодировке (более обще стоит думать о кодировке Скотта или даже Берардуччи), что в своем виде представляет подход к трансформации к continuation стилю
в общем двойное отрицание это некий мостик)
в общем двойное отрицание это некий мостик)
AZ
а вообще Колмогоров все описал)
AZ
It is also possible to define φN by prefixing ¬¬ before every subformula of φ, as done by Kolmogorov. Such a translation is the logical counterpart to the call-by-name continuation-passing style translation of functional programming languages along the lines of the Curry–Howard correspondence between proofs and programs.
AZ
самое интересное, что эту технику можно применять на любом уровне лямбды
AZ
хоть терм, хоть тип, хоть констрейнт или вид
AZ
простите за поток мыслей
AZ
"Колмогоров всё отрицал. Дважды."
AZ
Ещё это известно под название "кодировка Гёделя".