All blogs / Software / engineering practice
Computer Things
Hi, I'm Hillel. This is the newsletter version of my website. I post all website updates here. I also post weekly content just for the newsletter, on topics like Formal MethodsSoftware History and CultureFringetech and exotic toolingThe philosophy and theory of software engineering You can see the a
- Posts
- 31 from 10 Nov 2025 to 22 Oct 2026
- Posting
- weekly (31 in the last year)
- Kind
- personal blog
- Feed
- https://buttondown.com/hillelwayne/rss
2026 28
- NYC, New Webinar, Differential Testing
- What TLA+ can and can't check
- The LLMs yearn for the spines
- New Post: A Crash Course in Predicate Logic
- Vim wants you to control, VSCode wants you to consume
- Logic for Programmers is Done
- I'm still alive
- Logic for Programmers v0.15, Livecoding
- Nontrailing separators do not spark joy
- Logic for Programmers extra credits
- Knowing about things is cheaper than knowing things
- Assumptions weaken properties
- Points are a weird and inconsistent unit of measure
- New Logic for Programmers (and the future of this newsletter)
- Illegal vs Unwanted States
- People get confused when language implementations break language guarantees
- A sufficiently comprehensive spec is not (necessarily) code
- April Cools Post: New York vs Chicago Pizza
- Choose Boring Technology and Innovative Practices
- LLMs are bad at vibing specifications
- Free Books
- New Blog Post: Some Silly Z3 Scripts I Wrote
- Stream of Consciousness Driven Development
- Proving What's Possible
- Logic for Programmers New Release and Next Steps
- Refinement without Specification
- My Gripes with Prolog
- The Liskov Substitution Principle does more than you think