Hacker News new | ask | show | jobs
by rurban 335 days ago
He should have really used the good ol' QED instead, lol