HNHacker News
TopNewBestAskShowJobs

benmandrew

49 karma · joined July 24, 2026

PhD student, software engineer.

https://benmandrew.com/

submissionscomments
benmandrew··on The lattice of sets of natural numbers is rich (2021)
It's a very interesting idea; if you want to learn more about it, look up "ultrafinitism".