Hacker News new | ask | show | jobs
by merlindru 28 days ago
the proof is on github; it's true