-
CPU 后门：威胁模型和证据标准
It’s generally accepted that any piece of software could be compromised …
-
把「On the testability and repair of hereditary hype」写成可执行的阅读路径
I’ve just uploaded to the arXiv my joint paper with Tim Austin, “On the …
-
好的公司工程博客是怎么写出来的
I’ve been comparing notes with people who run corporate engineering blog…
-
读懂「254A, Lecture 5: Other topological recurrence re」：先把定义、反例和适用范围钉死
In this lecture, we use topological dynamics methods to prove some other…
-
并发 bug 笔记：真正难的是复现
Do concurrency bugs matter? From the literature, we know that most repor…
-
「254A, Lecture 6: Isometric systems and isometric」笔记：问题从哪来、证明卡在哪
In this lecture, we move away from recurrence, and instead focus on the …
-
2026拆解AI未来预测七大误区：避开行业普遍误判，理性看懂AI真实发展节奏
当下AI行业充斥着两极化极端预判：要么鼓吹AI奇点将至、通用人工智能快速落地、大规模取代人类岗位，要么恐慌AI失控、价值观错位、反噬人类社会。但…
-
不懂词也能打 Codenames：语言模型靠的是什么统计
About eight years ago, I was playing a game of Codenames where the game …
-
「Book version of the blog」笔记：问题从哪来、证明卡在哪
It’s now been almost a year since I moved my “What’s new?” page from my …
-
酒会想法和能上线的系统不是一回事
You don’t have to be at a party to see this phenomenon in action, but th…