Size: a a a

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

2020 April 29

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
в дейли была пара бесполезных статей по поводу
источник

SK

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Но всё-таки что такое фуел паттерн тогда? Доказательство свойств для некоторых бесконечных процессов или вроде того?
источник

Oℕ

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
всё бы так писали
источник

AG

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

AG

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

Oℕ

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

w

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

Oℕ

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

SK

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
оч удобно
источник

AG

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

AG

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

SK

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

SK

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

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
NBE for simple types uses a logical relation between the syntax and the presheaf interpretation
источник

SK

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

S

Saitama in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
https://youtu.be/qp8llWcWrc0
понв, кто-нибудь играл в disco elysium?
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
начинал, но вышел только из здания
источник