It’s finally ready! Almost 13,000 words of Alloy reference, techniques, and pitfalls. There’s still a lot of work to do when people inevitably start sending me feedback, but still. That’s a major project I wanted to get done and now it’s out. Give it a read!
(If you haven’t heard of Alloy before, this is a good introduction.)
At the beginning of the year I had three major projects: the alloy docs, the science post, and the engineering essay. For those of you joining late, I spent late 2019 interviewing people who worked as both traditional and software engineers to figure out what the actual differences between those fields are. I’ve been neglecting writing up about that to get the other two things out of the way. But I’ve been putting it off too long. I’m giving a first version of the talk now in early June. So now that’s my main “long-term” priority.
Since I can’t seem to focus on only one thing at a time, two new “major” projects are now in the pipeline:
tlacli: a project to make TLA+ more accessible. It’s already pretty useful for me, the goal is just to make it moreso. This is low priority for now but I want to get back to it soon.
A public online workshop: probably for late May, will be either Alloy or Decision Tables. Something that’s a bit less commitment for people involved.
And, of course, more articles. Say what you will about the end of the world, but I’m writing a lot more these days.
Speaking of online workshops, let’s do another office hours! Same time as before, 11 AM CST (4 PM UTC) on Friday. Zoom room is 771 2813 9832, password is [redacted]. Feel free to ask any questions about what I do: formal methods, TLA+ or Alloy, software history, whatever. See you then!
771 2813 9832