Posts

• Oct 19, 2026

  Why is formal verification so problematic

• Jan 28, 2026

  Letters and their dots

• Sep 20, 2025

  Modernisms hidden in Fortran

• Sep 20, 2025

  An unexamined habit

• Aug 20, 2025

  Automating my site (Factory must grow)

• Feb 14, 2025

  Instruction 101

• Dec 20, 2024

  Turing machines and whatnot

subscribe via RSS