@buttondown.com.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.
---
Hi, I'm Hillel. This is the newsletter version of [my website](https://www.hillelwayne.com). I post all website updates here. I also post weekly content just for the newsletter, on topics like * Formal Methods * Software History and Culture * Fringetech and exotic tooling * 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.com/hillelwayne
Feed URL: buttondown.com/hillelwayne/rss
Posts: 5
Followers: 1
What hard thing does your tech make easy?
https://buttondown.com/hillelwayne/archive/what-hard-thing-does-your-tech-make-easy/
Published: January 29, 2025 18:09
I occasionally receive emails asking me to look at the writer's new language/library/tool. Sometimes it's in an area I know well, like formal methods. Other times, I'm a complete stranger to the field. Regardless, I'm generally happy to check it out. When…
The Juggler's Curse
https://buttondown.com/hillelwayne/archive/the-jugglers-curse/
Published: January 22, 2025 18:50
I'm making a more focused effort to juggle this year. Mostly boxes, but also classic balls too.1 I've gotten to the point where I can almost consistently do a five-ball cascade, which I thought was the cutoff to being a "good juggler". "Thought" because I…
What are the Rosettas of formal specification?
https://buttondown.com/hillelwayne/archive/what-are-the-rosettas-of-formal-specification/
Published: January 15, 2025 17:34
First of all, I just released version 0.6 of Logic for Programmers! You can get it here. Release notes in the footnote.1 I've been thinking about my next project after the book's done. One idea is to do a survey of new formal specification languages.…
"Logic for Programmers" Project Update
https://buttondown.com/hillelwayne/archive/logic-for-programmers-project-update/
Published: January 7, 2025 18:49
Happy new year everyone! I released the first Logic for Programmers alpha six months ago. There's since been four new versions since then, with the November release putting us in beta. Between work and holidays I didn't make much progress in December, but…
Formally modeling dreidel, the sequel
https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/
Published: December 18, 2024 16:58
Channukah's next week and that means my favorite pastime, complaining about how Dreidel is a bad game. Last year I formally modeled it in PRISM to prove the game's not fun. But because I limited the model to only a small case, I couldn't prove the game was…