Hacker News new | past | comments | ask | show | jobs | submit login

The name grothendieck sounds a lot like big dick. Like bigus dickus in monthy pythons life of brian. Groot means big in dutch.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: