Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 April 16

D

Deλ✨ in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Deλ✨
что такое pcf?
лямбда калькулус, улучшенный натуральными унарными числами и рекурсией
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
var/lam/app + z/s/if0/fix
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
я каждую из вводимых систем стараюсь расширить до пцф, потому что в обычной лямбде со слабой редукцией ничего толком не посчитаешь
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а с фиксом сразу вдобавок и ленивое от ретивого легко отличить
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
так то улучшать лямбду можно по разному, например дизъюнкции-конъюнкции добавлять
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но с числами нагляднее и проще получается
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
например в лямбде-мю можно написать вычитание, бросающее эксепшн когда второй аргумент больше первого
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
это все в рамках моего хобби-семинара по структуральной теории доказательств, где я исследую как связаны разные логические системы с вычислительными
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
как введение дополнительных свойств или связок в логике влияет на реализацию и выразительность соответствующего ей по карри-говарду мини-языка
источник

V

Vasiliy in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
/pidor@SublimeBot
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Что тут у нас?
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Машины выехали
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Не может быть!
источник

V

Vasiliy in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
/shipping@SHIPPERINGbot
источник

S

SHIPPERING in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Пара дня:
Kain + Yury = ❤️

Обрати нову пару можна буде через 19 годин 17 хвилин 47 секунд
источник

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Ну ты и пидор, @danicheg
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Надо в бота добавить свою игру пидор дня, чтобы победителя сразу бот постил в овощной
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник