Hacker Newsnew | past | comments | ask | show | jobs | submit | mietek's favoriteslogin
1.
100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (mietek.io)
122 points by Bogdanp 6 months ago | 129 comments
2.
The Piccadilly line’s new air conditioned trains (ianvisits.co.uk)
225 points by edward on Nov 21, 2023 | 219 comments
3.
Breaking Through the Normalization Barrier: A Self-Interpreter for Fω (2016) [pdf] (ucla.edu)
54 points by setra on May 20, 2017 | 9 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: