HNHacker News
TopNewBestAskShowJobs

LolWolf

1,478 karma · joined September 16, 2012

In a previous life, I did math and physics at Stanford.

---

https://angeris.github.io

submissionscomments

Phineas Gage

en.wikipedia.org·2 pts·LolWolf·
0

Cooling in Space

guille.site·35 pts·LolWolf·
95

Meditations on "Non-Public" AI

guille.site·1 pts·LolWolf·
0

The Chinese remainder theorem and the Fourier transform

guille.site·1 pts·LolWolf·
0

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

guille.site·62 pts·LolWolf·
7

Breaking Signals, Breaking Systems

guille.site·3 pts·LolWolf·
0

3D Printing a 3D Printer

guille.site·2 pts·LolWolf·
0

Why Open Source Matters

guille.site·2 pts·LolWolf·
0

The likely cheapest home-made Michelson interferometer

guille.site·123 pts·LolWolf·
71

Throwing Darts in Latent Space

guille.site·3 pts·LolWolf·
0

Hamilton–Jacobi–Bellman is just linear duality

guille.site·3 pts·LolWolf·
0

The (sometimes rocky) road to a paper

lmao.bearblog.dev·3 pts·LolWolf·
0

Acorn and the future of (AI?) theorem proving

lmao.bearblog.dev·31 pts·LolWolf·
6

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

lmao.bearblog.dev·1 pts·LolWolf·
0

There are exponentially many vectors with small inner product

lmao.bearblog.dev·2 pts·LolWolf·
0

The minimal amount necessary, but no less

lmao.bearblog.dev·1 pts·LolWolf·
0

Have we been building blockchains wrong?

lmao.bearblog.dev·2 pts·LolWolf·
0

GE Filtergate

web.archive.org·1 pts·LolWolf·
0

Succinct proofs and linear algebra [pdf]

angeris.github.io·2 pts·LolWolf·
0

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

storage.courtlistener.com·3 pts·LolWolf·
0

Preventing the Collapse of Civilization [video]

youtube.com·3 pts·LolWolf·
0

Lizardman's Constant Is 4%

slatestarcodex.com·3 pts·LolWolf·
0

Selection games

pfeilstorch.substack.com·1 pts·LolWolf·
0

Heuristics and performance bounds for automated design

arxiv.org·11 pts·LolWolf·
5

Training Convolutional ReLU Neural Networks in Polynomial Time

arxiv.org·1 pts·LolWolf·
0

Sorting and information theory: why sorting is n log n

guille.site·1 pts·LolWolf·
1

Minimizing a sum of clipped convex functions

arxiv.org·3 pts·LolWolf·
1

Group Testing

en.wikipedia.org·1 pts·LolWolf·
0

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

4 pts·LolWolf·
6

A mathematical analysis of Uniswap markets

arxiv.org·30 pts·LolWolf·
6
Page 1 of 3Next →