Computer Things
- 2026-09-01: New Post: A Crash Course in Predicate Logic
- 2026-08-18: Vim wants you to control, VSCode wants you to consume
- 2026-07-29: Logic for Programmers is Done
- 2026-07-14: I'm still alive
- 2026-06-17: Logic for Programmers v0.15, Livecoding
- 2026-06-10: Nontrailing separators do not spark joy
- 2026-06-02: Logic for Programmers extra credits
- 2026-05-28: Knowing about things is cheaper than knowing things
- 2026-05-20: Assumptions weaken properties
- 2026-05-13: Points are a weird and inconsistent unit of measure
- 2026-05-06: New Logic for Programmers (and the future of this newsletter)
- 2026-04-28: Illegal vs Unwanted States
- 2026-04-21: People get confused when language implementations break language guarantees
- 2026-04-15: A sufficiently comprehensive spec is not (necessarily) code
- 2026-04-01: April Cools Post: New York vs Chicago Pizza
- 2026-03-24: Choose Boring Technology and Innovative Practices
- 2026-03-10: LLMs are bad at vibing specifications
- 2026-03-03: Free Books
- 2026-02-23: New Blog Post: Some Silly Z3 Scripts I Wrote
- 2026-02-18: Stream of Consciousness Driven Development
- 2026-02-11: Proving What's Possible
- 2026-02-04: Logic for Programmers New Release and Next Steps
- 2026-01-20: Refinement without Specification
- 2026-01-14: My Gripes with Prolog
- 2026-01-06: The Liskov Substitution Principle does more than you think
- 2025-12-10: Some Fun Software Facts
- 2025-11-24: One more week to the Logic for Programmers Food Drive
- 2025-11-10: Get Logic for Programmers 50% off & Support Chicago Foodbanks
- 2025-10-27: I'm taking a break
- 2025-10-21: Modal editing is a weird historical contingency we have through sheer happenstance
End of feed.