AG
в целом пока что кажется что ближайшая программистско-крестьянская формулировка всех этих инт/диалектик-штук (и соответственно оси question-answer в игросеме) это calling convention
Size: a a a
2021 June 03
AG
некий канонический способ навесить ограничения для хаер-ордер поведения, складывая пруф-термы "пополам" и сшивая их в нужных местах
AG
будь то получение бесплатного компактного замыкания из моноидальной рекурсии, или бесплатной стар-автономии из моноидальных пулбеков
AG
сюда же и линзы с бэкпропагацией
AG
то есть ось игрок-среда это само разбиение на модули/процессы, а вопрос-ответ это "компиляция" программы в них
A
Чувствую нотки дистейджа в тексте.
AG
дистейдж это наверное в каком то смысле выворачивание задачи наизнанку
AG
типа у нас уже изначально есть разбиение на модули и некоторые констрейнты по поводу того как они коммуницируют, а мы из этого хотим автоматически реконструировать всю трассу с полным фаршем
M
Доброе утро
M
Иду мыться, завтракать, собираться на экз
M
Материте!
M
Спасибо
GP
Покажи им всем свой банкай
GP
На скок планируешь сдать
M
Я настолько плохо спала, что я планирую вообще доехать сначала
