📚 Cs/books/uwu
前往频道在 Telegram
586
订阅者
无数据24 小时
+37 天
+1530 天
帖子存档
Repost from (φ (μ (λ)))
Introduction to Computing: Explorations in Language, Logic, and Machines by David Evans
https://computingbook.org/
Repost from Programming Deadlock
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
现已上线!2025 年 Telegram 研究 — 年度关键洞察 
