Book Review: I Am a Strange Loop Douglas Hofstadter’s exploration of self-reference, downward causality, and the nature of “I”. » December 17, 2025
Day 15 of Daily Writing Meta thoughts on the halfway point of my self-imposed month of daily writing. » December 15, 2025
Book Review: The Demon in the Machine “The thing that separates life from non-life is information.” » December 14, 2025
The Coming Need for Formal Specification The potential of formal verification for reasoning about systems. » December 12, 2025