Who knows what this will be. Anyways, whatever it is, it can't be good.
Posts
- 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