A brief introduction to type theory and the univalence axiom
Jackson Macor
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Plato's Parmenides
Plato
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell
The Structure Of Scientific Revolutions
Thomas Kuhn