Run Alloy on Windows in Docker

TL;DR: install docker and X410; docker run jessitron/alloy:5.1 The essential work in software development is forming a model in our heads of the system we want. The code is one expression of this model. The code can’t be stronger than this model. So I want a strong model: consistent, complete enough, and expressive. I decided …

Read moreRun Alloy on Windows in Docker

“Software” isn’t a thing

You can’t make Software. There is no “software”–there is only “software that…” or “software for…”. That’s like having a business around “writing.” Writing what?? Your writers are going to have to learn every topic they’re asked to write about. That’s either going to take a long time, involve very close collaboration with someone who does …

Read more“Software” isn’t a thing