Forwarded from 喵喵小喵喵 (Meow-meow 🍓)
Don't fall into the anti-AI hype
https://antirez.com/news/158
https://antirez.com/news/158
INTRODUCTION TO HOMOTOPY TYPE THEORY.pdf
10.9 MB
#书 Introduction to Homotopy Type Theory (Egbert Rijke)
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
知乎专栏:Vibe Coding 和赌博的神经机制完全一致
https://zhuanlan.zhihu.com/p/2007648525140374617
https://zhuanlan.zhihu.com/p/2007648525140374617
#纸 Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
https://arxiv.org/abs/2001.10490
https://arxiv.org/abs/2001.10490
arXiv.org
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing...
Benjamin_C_Pierce_Advanced_topics_in_types_and_programming_languages.pdf
9.1 MB
#书 Advanced Topics in Types and Programming Languages
