Archive (Page 18) • Computer Things • Buttondown

Software isn't designed for power users

October 16, 2019

Yesterday a friend asked me to help her with a bug. She wasn't a programmer, she was using someone else's software. Helping her made me think a little on...

Data and Reality, 2nd Edition

October 14, 2019

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...

On Documentation

October 11, 2019

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...

New Post: Formally Modeling Database Migrations

October 9, 2019

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...

On Hating Your Tools

October 4, 2019

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...

The kind of thing this is gonna be

October 2, 2019

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...