Stories by LolWolf

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

Group Testing

Ask HN: Can't find HN article on gain-of-function research

A mathematical analysis of Uniswap markets

The quest to beat electronics with photonics

1
2