benmandrew

Joined 3 months ago

Karma

49

Submissions

6

Member since

Jul 24

PhD student, software engineer.

https://benmandrew.com/

View on Hacker News

Recent submissions

Show HN: Interactive map of public transport in Great Britain and Ireland benmandrew.com

2 benmandrew 1 month ago 0 comments

Comment · 2 months ago

It's a very interesting idea; if you want to learn more about it, look up "ultrafinitism".

The lattice of sets of natural numbers is rich (2021) jdh.hamkins.org

111 benmandrew 2 months ago 26 comments

Beautiful description of the lattice of sets of natural numbers jdh.hamkins.org

1 benmandrew 3 months ago 0 comments