-
「254A, Lecture 10: The Furstenberg correspondence」:数学直觉如何落到可检验的步骤
In this lecture, we describe the simple but fundamental Furstenberg corr…
-
计算机科学里什么真正站住了:1999 对 2015
In 1999, Butler Lampson gave a talk about the past and future of “comput…
-
把「254A, Lecture 11: Compact systems」写成可执行的阅读路径
The primary objective of this lecture and the next few will be to give a…
-
用数据找 bug
I can’t remember the last time I went a whole day without running into a…
-
「Kleiner’s proof of Gromov’s theorem」:数学直觉如何落到可检验的步骤
This week there is a conference here at IPAM on expanders in pure and ap…
-
为什么线上 bug 会视而不见:测量和反馈断了之后
I used to wonder why I see so many more bugs than most people. I easily …
-
读懂「(Luca Trevisan) Checking the Quasirandomness of」:先把定义、反例和适用范围钉死
[This post is authored by Luca Trevisan. – T.] Notions of “quasirandomne…
-
构建有多经常是坏的
I’ve noticed that builds are broken and tests fail a lot more often on o…
-
「Why are solitons stable?」笔记:问题从哪来、证明卡在哪
Last month, at the joint AMS/MAA meeting in San Diego, I spoke at the AM…
-
分支预测:CPU 在赌下一条路
This is a pseudo-transcript for a talk on branch prediction given at Two…