-
读懂「254A, Lecture 12: Weakly mixing systems」:先把定义、反例和适用范围钉死
In the previous lecture, we studied the recurrence properties of compact…
-
为无聊语言辩护
Boring languages are underrated. Many appear to be rated quite highly, a…
-
「A remark on primality testing and the binary exp」:数学直觉如何落到可检验的步骤
I’ve just uploaded to the arXiv the short note “A remark on primality te…
-
程序员薪酬是不是双峰分布
Developer compensation has skyrocketed since the demise of the Google et…
-
把「254A, Lecture 13: Compact extensions」写成可执行的阅读路径
In Lecture 11, we studied compact measure-preserving systems – those sys…
-
基准崩坏:评测失效之后,模型分数还剩什么
There’s been a lot of talk about the vulnpocalypse, to which I don’t hav…
-
「254A, Lecture 14: Weakly mixing extensions」笔记:问题从哪来、证明卡在哪
Having studied compact extensions in the previous lecture, we now consid…
-
Steve Ballmer 被低估了:大公司执行力到底值多少
There’s a common narrative that Microsoft was moribund under Steve Ballm…
-
读懂「PCM article: Function spaces」:先把定义、反例和适用范围钉死
From Tim Gowers, I hear the good news that the editing process of the Pr…
-
决策质量怎么评:在容易验证的领域里对照
A statement I commonly hear in tech-utopian circles is that some seeming…