An evolving digital garden of hyperartifacts notes and ideas 🌱 ✨

Mathematical Priests and Peasants: 80 Years of Backwards Math Education

June 20, 2025

Tags: opinion piece mathematics education pedagogy

Using Neural Networks to Uncover Computational Structure and Reducibility

May 9, 2025

Tags: artificial intelligence neural networks computational complexity epistemology

Frequentist vs. Bayesian Approaches to SMC

May 2, 2025

Tags: formal verification model checking statistical model checking