Stories by LolWolf

Cooling in Space

Meditations on "Non-Public" AI

The Chinese remainder theorem and the Fourier transform

Fun with polynomials and linear algebra; or, slight abstract nonsense

Breaking Signals, Breaking Systems

3D Printing a 3D Printer

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]

1 2 3