New

The latest blog posts to take off on Hacker News. 14,541 posts.

Software Engineering
Any year
6242

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…

6244

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…

6249

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…

6257

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…

6268

Comparing Svelte and React

Last year I created Pomodone , a small time tracking application based on the Pomodoro technique of working in 25 minute intervals. It's a pretty basic app; it has a 25 minute timer (that runs in a Web Worker) and saves a history of your "poms" to a small Firebase database. I initially built it using React (well…