This website is started out as a collection of all the articles that were posted on Software Verify’s blog.
Since Software Verify is really about software engineering problems and tools to solve those problems, these articles we’ren’t really addressing the same topics, so we moved them off of Software Verify’s website so that it is now more focused on the problems it solves.
In addition to these articles from Software Verify I’ll be adding more stuff about the games I wrote in the 1990s, embedded systems I’ve worked on, a multimedia authoring tool and web browser I wrote (from scratch, no components from 3rd party vendors) between 1996 and 1998, software engineering tools, conferences worth attending and books worth reading.
Right now (May 2025), I’ve discovered all the source code disks for the games I wrote in the 1980s and they’re going to a data recovery specialist. Trying to read them with regular disk readers will trash them. They’re nearly 40 years old. When they’re recovered the source code will be going up on GitHub so that people can see what the innards of 8 bit games look like (hint – not pretty, all written with a line editor, not a proper editor, not even something as awful as vi).