15

The likely cheapest home-made Michelson interferometer (guille.site)

22 hours ago LolWolf guille.site

1

Throwing Darts in Latent Space (guille.site)

4 months ago LolWolf guille.site

1

Hamilton–Jacobi–Bellman is just linear duality (guille.site)

4 months ago LolWolf guille.site

3

The (sometimes rocky) road to a paper (lmao.bearblog.dev)

4 months ago LolWolf bearblog.dev

3

Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)

5 months ago LolWolf bearblog.dev

1

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

6 months ago LolWolf bearblog.dev

2

There are exponentially many vectors with small inner product (lmao.bearblog.dev)

6 months ago LolWolf bearblog.dev

1

The minimal amount necessary, but no less (lmao.bearblog.dev)

8 months ago LolWolf bearblog.dev

2

Have we been building blockchains wrong? (lmao.bearblog.dev)

8 months ago LolWolf bearblog.dev

1

GE Filtergate (archive.org)

a year ago LolWolf archive.org

2

Succinct proofs and linear algebra [pdf] (angeris.github.io)

2 years ago LolWolf github.io

3

The SEC just filed a temporary restraining order for Binance [pdf] (courtlistener.com)

2 years ago LolWolf courtlistener.com

3

Preventing the Collapse of Civilization [video]

3 years ago LolWolf youtube.com