Hacker News new | ask | show | jobs
by danidiaz 3307 days ago
The Grothendieck song: https://www.youtube.com/watch?v=GJ1S3tFaImo