-
Acorn and the future of (AI?) theorem proving
-
A lovely counting inequality
-
Linear algebra over field extensions
-
Proving theorems using Julia's types (or, a mini-Lean in Julia)
-
A global Picard iteration
-
There are exponentially many vectors with small inner product
-
The minimal amount necessary, but no less
-
Have we been building blockchains wrong?
-
A new blog?
-
A simple proof of Shapley–Folkman
-
Another short proof of OCO and miscellanea
-
Online gradient descent has low regret: a one-ish-liner
-
A non-counting lower bound for the expected distance of a simple random walk
-
Comparisons and information theory: why the worst-case complexity of sorting is n log n