Hacker News new | ask | show | jobs
by Ericson2314 1753 days ago
Andreij Bauer is one of those HoTT people, so this is quite tongue-in-cheek.