Computer Things

People who've listened to me for more than, like, five minutes probably know that my favorite software book, bar none, is Data and Reality. It's about how...

I'm part of the Alloy (1) board and am responsible for "outreach and education", which mostly means I ask people what they find annoying about the tool. Part...

Hi everybody, I wrote a new post for the blog! It's about how you can use formal methods to make sure your database migrations are correct. I really wanted...

I recently read Why software developers (quite honestly) hate Agile, which argues that the Problem With Agile is that everybody's going it wrong, that the...

Hiyall, No name yet, no description yet, but might as well get this started with why I want to do this. So the stereotypical view of writing is that it's...