@buttondown.email.hillelwayne@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
This is the newsletter version of [my website](https://www.hillelwayne.com). I post all website updates here. I also post regular content just for the newsletter, on topics like * Formal Methods and applications of math to programming * Software History and Culture * Fringetech and exotic tooling, and deep dives into niche topics * The philosophy and theory of software engineering You can see the archive of all public essays [here](https://buttondown.email/hillelwayne/archive/).
Site URL: buttondown.email/hillelwayne
Feed URL: buttondown.email/hillelwayne/rss
Posts: 10
Followers: 2
April Cools Post: New York vs Chicago Pizza
https://buttondown.com/hillelwayne/archive/april-cools-post-new-york-vs-chicago-pizza/
Published: April 1, 2026 17:53
Happy April Cools! My not-tech post this year is Chicago vs New York Pizza is the Wrong Argument, which is mostly an excuse for me to talk about Chicago food. See here for all of the other April Cools submissions. As of this email we have sixteen posts;…
Choose Boring Technology and Innovative Practices
https://buttondown.com/hillelwayne/archive/choose-boring-technology-and-innovative-practices/
Published: March 24, 2026 14:38
The famous article Choose Boring Technology lists two problems with using innovative technology: There are too many "unknown unknowns" in a new technology, whereas in boring technology the pitfalls are already well-known. Shiny tech has a maintenance…
LLMs are bad at vibing specifications
https://buttondown.com/hillelwayne/archive/llms-are-bad-at-vibing-specifications/
Published: March 10, 2026 17:12
No newsletter next week I'll be speaking at InfoQ London. But see below for a book giveaway! LLMs are bad at vibing specifications About a year ago I wrote AI is a gamechanger for TLA+ users, which argued that AI are a "specification force multiplier".…
Free Books
https://buttondown.com/hillelwayne/archive/free-books/
Published: March 3, 2026 16:34
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. These five should be available at 10:30 AM CEST tomorrow, so people in Europe have a better chance…
New Blog Post: Some Silly Z3 Scripts I Wrote
https://buttondown.com/hillelwayne/archive/new-blog-post-some-silly-z3-scripts-i-wrote/
Published: February 23, 2026 16:49
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 Silly Z3 Scripts I Wrote. Normally I'd also put a link to the Patreon notes but I've decided I don't…
Stream of Consciousness Driven Development
https://buttondown.com/hillelwayne/archive/stream-of-consciousness-driven-development/
Published: February 18, 2026 16:33
This is something I just tried out last week but it seems to have enough potential to be worth showing unpolished. I was pairing with a client on writing a spec. I saw a problem with the spec, a convoluted way of fixing the spec. Instead of trying to…
Proving What's Possible
https://buttondown.com/hillelwayne/archive/proving-whats-possible/
Published: February 11, 2026 18:36
As a formal methods consultant I have to mathematically express properties of systems. I generally do this with two "temporal operators": A(x) means that x is always true. For example, a database table always satisfies all record-level constraints, and a…
Logic for Programmers New Release and Next Steps
https://buttondown.com/hillelwayne/archive/logic-for-programmers-new-release-and-next-steps/
Published: February 4, 2026 14:00
It's taken four months, but the next release of Logic for Programmers is now available! v0.13 is over 50,000 words, making it both 20% larger than v0.12 and officially the longest thing I have ever written.1 Full release notes are here, but I'll talk a bit…
Refinement without Specification
https://buttondown.com/hillelwayne/archive/refinement-without-specification/
Published: January 20, 2026 17:49
Imagine we have a SQL database with a user table, and users have a non-nullable is_activated boolean column. Having read That Boolean Should Probably Be Something else, you decide to migrate it to a nullable activated_at column. You can change any of the…
My Gripes with Prolog
https://buttondown.com/hillelwayne/archive/my-gripes-with-prolog/
Published: January 14, 2026 16:48
For the next release of Logic for Programmers, I'm finally adding the sections on Answer Set Programming and Logic Constraint Programming that I TODOd back in version 0.9. And this is making me re-experience some of my pain points with Prolog, which I will…