Hacker News new | ask | show | jobs
by byyoung3 496 days ago
those lemmas are wild