Blog

Occasional notes on logic, AI, and teaching.