Hacker News new | ask | show | jobs
by gravifer 140 days ago
We should rename Burbaki to Boubakiki

Éléments de géométrie linguistique (no, not a thing)