theobold's submissions | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | theobold's submissions

1.		Yet another example that TLA+ is math, not programming (reddit.com)
		18 points by theobold on Sept 1, 2020 \| past
2.		Ask HN: I don't think I can finish college
		3 points by theobold on Jan 26, 2017 \| past \| 5 comments

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact