Papadimitriou, C., & Roughgarden, T. (2008). Computing correlated equilibria in multi-player games.
уже есть для ограниченного класса случаев
уже есть для ограниченного класса случаев
жесть че придумали
Mike Shulman, All modalities are Higher Inductive Types
https://homotopytypetheory.org/2012/11/19/all-modalities-are-hits/
Mike Shulman, All modalities are Higher Inductive Types
https://homotopytypetheory.org/2012/11/19/all-modalities-are-hits/
Homotopy Type Theory
All Modalities are HITs
Last Friday at IAS, Guillaume Brunerie presented a very nice proof that $latex \pi_k(S^n)=0$ for all $latex k <n$. I hope he will write it up and blog about it himself; I want to talk instead ab…
я с однокурсниками: вы занимаетесь не философией, а хуйней, я вот занимаюсь реальной философией (формальной то есть)
я дома: а это точно можно считать философией?
я дома: а это точно можно считать философией?
Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new formal system in traditional set-based foundations.
физика есть, метафизика есть, метаметафизика есть, а метаметаметафизики я пока не видел
Empty Name
https://youtu.be/2dzv1Hmcxn4
обнаружил его твиттер, там Radiohead, The Smiths, попытки съебаться на PhD в UCL, твиты про теорию категорий и lambda calculus, 11 reference letters и донаты доксе
Empty Name
мини-курс Рогозина по модальной логике досмотрен.
не зря его курс по модальной логике смотрел
Empty Name
обнаружил его твиттер, там Radiohead, The Smiths, попытки съебаться на PhD в UCL, твиты про теорию категорий и lambda calculus, 11 reference letters и донаты доксе
и шутки про Рыбникова еще (который ебанутый)
его твиттер это примерно как обобщенная олимпиадная тусовка, если бы все занимались логикой и программированием