Hacker News new | ask | show | jobs
by drdeca 299 days ago
Dang autocorrect. “sideline” should be Dedekind