Hacker News
- Complementary foundations for mathematics: when do we choose? [pdf] https://home.sandiego.edu/~shulman/papers/jmm2022-complementary.pdf 16 comments
- The weird and wonderful world of constructive mathematics (2017) [pdf] https://home.sandiego.edu/~shulman/papers/rabbithole.pdf 68 comments
- Homotopy type theory: towards Grothendieck’s dream [PDF of slides] https://home.sandiego.edu/~shulman/papers/hott-grothendieck.pdf 3 comments math
- David Lewis on the Metaphysics of Holes http://home.sandiego.edu/~baber/metaphysics/readings/lewis%26lewis.holes.pdf 4 comments philosophy
- The weird and wonderful world of constructive mathematics https://home.sandiego.edu/~shulman/papers/rabbithole.pdf 27 comments math
- Homotopical trinitarianism: A perspective on homotopy type theory [slides] https://home.sandiego.edu/~shulman/papers/trinity.pdf 4 comments math
- What Mary Didn't Know [PDF] http://home.sandiego.edu/~baber/analytic/jackson.pdf 26 comments philosophy
- 'Personal Identity' -- Derek Parfit (Seminal Paper) http://home.sandiego.edu/~baber/metaphysics/readings/parfit.personalidentity.pdf 7 comments philosophy
- synthetic differential geometry by michael shulman [pdf] http://home.sandiego.edu/~shulman/papers/sdg-pizza-seminar.pdf 14 comments math
- "Survival and Identity" - David Lewis http://home.sandiego.edu/~baber/metaphysics/readings/lewis.survivalandidentity.pdf 5 comments philosophy
- "Meaning and Reference" by Hilary Putnam http://home.sandiego.edu/~baber/analytic/putnam1973.pdf 4 comments philosophy