ProofGraph - Graph Analytics on Dependency Graphs in Lean Ecosystem

Exploring graph theory through an application to formalized mathematics

Language Learning and Category Theory

Relationships are fundamental

Lean's Metaprogramming - Harry Goldstein's Talk

How will things play out?

Specialization and Generalization

Reflections on a General Diagonal Argument and Becoming a Mathematician

What's in a Name?

Computer Science as a Source and Reminder of the Uncanny in Philosophy

Prayers and Aphoristic Teachings

Today I see how little I knew yesterday. Tomorrow may I see how little I knew today.

How Pregnant to Be Born Under the Auspices of Janus

A coda

Spring and Autumn

Listening to Bach and reading Middlemarch

Meeting Philosophy Again

Thoughts on anti-intellectualism in my life and being stirred by Augustine, Rilke, Strauss, and Aquinas

A Flash of Light from Kazantzakis

Consubstantiality