/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

mml-book.com
| | richardzach.org
4.3 parsecs away

Travel
| | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...
| | reasonabledeviations.com
6.4 parsecs away

Travel
| | Academic blog about quantitative finance, programming, maths.
| | www.duckofminerva.com
4.6 parsecs away

Travel
| | A discussion with Nina Kollars and Mark Raymond about the SolarWinds hack, recorded in March, 2021
| | theconversation.com
23.4 parsecs away

Travel
| The nonpartisan arm of the Education Department supports research and shares data on student progress. It identifies what works and what doesn't.