Smooth infinitesimal analysis | Dark Hacker News