Stories by LolWolf

Why Open Source Matters

The likely cheapest home-made Michelson interferometer

Throwing Darts in Latent Space

Hamilton–Jacobi–Bellman is just linear duality

The (sometimes rocky) road to a paper

Acorn and the future of (AI?) theorem proving

Proving theorems using Julia's types (or, a mini-Lean in Julia)

There are exponentially many vectors with small inner product

The minimal amount necessary, but no less

Have we been building blockchains wrong?

GE Filtergate

Succinct proofs and linear algebra [pdf]

The SEC just filed a temporary restraining order for Binance [pdf]

Preventing the Collapse of Civilization [video]

Lizardman's Constant Is 4%

Selection games

Heuristics and performance bounds for automated design

Training Convolutional ReLU Neural Networks in Polynomial Time

Sorting and information theory: why sorting is n log n

Minimizing a sum of clipped convex functions

1
2