New

The latest blog posts to take off on Hacker News. 21,828 posts.

Software Engineering
Any year
9128

TLA+ Action Properties

There’s not a whole lot on TLA+ technique out there: all the resources are either introductions or case studies. Good for people starting out, bad for people past that. I think we need to write more intermediate-level stuff, what Ben Kuhn calls Blub studies. Here’s an attempt at that. Most TLA+ properties are…

9130

Signed Char Lotte

“signed char lotte” is a computer program written by Brian Westley and the winner of the “Best Layout” award in the 1990 International Obfuscated C Code Contest. The cleverness of the text is staggering. Superficially it reads as an epistolary exchange between two (possibly former) lovers, Charlotte and Charlie. At…

9137

Down the Golang Nil Rabbit Hole

Edit 2021-03-30: Jeremy Mikkola wrote about some closely related topics back in 2017. Edit 2021-03-31: Chris Siebenmann wrote a response to this post that explains exactly how interface values that are nil are typed. It’s more complicated than I thought! I’m not sure I have another Rust & Postgres blog post in me…

9149

Piano Practice Software Progress

First an apology. I started this project because during the first 9 months of the COVID-19 pandemic business was down to a fraction of what it was before then, and I had a lot of time on my hand. But that has changed now and there is a lot of work in my ‘day job’, so I don’t have a whole lot of time to work on the…