An Extreme Cousin for Pluto? Possible Dwarf Planet at Solar System Edge(ias.edu)17 points by raattgift 1 year ago | 4 comments
The Usefulness of Useless Knowledge (1939) [pdf](ias.edu)121 points by jkuria 2 years ago | 35 comments
The Origins and Motivations of Univalent Foundations (2014)(ias.edu)15 points by gone35 3 years ago | 1 comments
![Screenshot of ias.edu: The Usefulness of Useless Knowledge (1939) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/7/0042c6c8-57b1-4a1f-8d2f-bf4e5f955d0d.jpg)
