12
1
Meditations on "Non-Public" AI (guille.site)
1
The Chinese remainder theorem and the Fourier transform (guille.site)
7
Fun with polynomials and linear algebra; or, slight abstract nonsense (guille.site)
3
Breaking Signals, Breaking Systems (guille.site)
2
3D Printing a 3D Printer (guille.site)
2
Why Open Source Matters (guille.site)
15
The likely cheapest home-made Michelson interferometer (guille.site)
1
Throwing Darts in Latent Space (guille.site)
1
Hamilton–Jacobi–Bellman is just linear duality (guille.site)
3
The (sometimes rocky) road to a paper (lmao.bearblog.dev)
3
Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)
1
Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev)
2
There are exponentially many vectors with small inner product (lmao.bearblog.dev)
1
The minimal amount necessary, but no less (lmao.bearblog.dev)
2
Have we been building blockchains wrong? (lmao.bearblog.dev)
1
GE Filtergate (archive.org)
2
Succinct proofs and linear algebra [pdf] (angeris.github.io)
3
The SEC just filed a temporary restraining order for Binance [pdf] (courtlistener.com)
3