Why formalize mathematics – more than catching errors(rkirov.github.io)

210 points by birdculture 1 year ago | 70 comments

Physics for Mathematicians – Introduction(nicf.net)

204 points by irsagent 2 years ago | 50 comments

Caesar's Last Breath(charliesabino.com)

170 points by charliesabino 1 year ago | 71 comments

Reflections(blog.samaltman.com)

70 points by davidbarker 1 year ago | 75 comments

Reflections on 10k Hours of DevOps(matt-rickard.com)

53 points by polyrand 3 years ago | 20 comments

Reflections on 1,000 Days of Math(gmays.com)

78 points by gmays 1 month ago | 34 comments

Gabe Mays' blog post reflecting on reaching a 1,000-day streak of studying math daily, with a habit-tracker heatmap.