I haven't written much technical stuff since finishing the book, but I'd like to get back into that habit. Here's a little article about a corner of a hobby language I've been working on: http://journal.stuffwithstuff.com/2023/01/03/type-checking-if-expressions/