Leaning into Spivak's Calculus | Dark Hacker News