Nontrailing separators do not spark joy
Lookin' at you, JSON
Logic for Programmers extra credits
So I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all. There’s a lot of...
Knowing about things is cheaper than knowing things
Short one this week because I'm way behind on book and conference prep. Last week a LinkedIn Influencer wrote about how math has nothing to do with...
Assumptions weaken properties
Assume a spherical cowputer
Points are a weird and inconsistent unit of measure
Where Webtech and LaTeX can't agree
New Logic for Programmers (and the future of this newsletter)
I'm joining Antithesis!
Illegal vs Unwanted States
Keep Unwanted States Representable
People get confused when language implementations break language guarantees
Every escape hatch is a pit trap
A sufficiently comprehensive spec is not (necessarily) code
If you're a PEDANT
April Cools Post: New York vs Chicago Pizza
April Cools!
Choose Boring Technology and Innovative Practices
The famous article Choose Boring Technology lists two problems with using innovative technology: There are too many "unknown unknowns" in a new technology,...
LLMs are bad at vibing specifications
When it fails to do your thinking for you
Free Books
Spinning a lot of plates this week so skipping the newsletter. As an apology, have ten free copies of Logic for Programmers. These five are available now....
New Blog Post: Some Silly Z3 Scripts I Wrote
Now that I'm not spending all my time on Logic for Programmers, I have time to update my website again! So here's the first blog post in five months: Some...
Stream of Consciousness Driven Development
Better pairing through touch typing
Proving What's Possible
When "what CAN happen" is as important as "what SHOULD happen"
Logic for Programmers New Release and Next Steps
Logic for Programmers v0.13, now with 20% more content!
Refinement without Specification
Refinement with SQL
My Gripes with Prolog
It's not my favorite language
The Liskov Substitution Principle does more than you think
It's more than just the L in SOLID!