I made a fresh new version of CPN Tools, version 4.0.1. The change over 4.0.0 is a freshly compiled simulator compiled with the newest SML/NJ (version 110.78) and the newest version of Cygwin. This should hopefully remove problems with newer versions of Windows (except they are still, even with the OS X aspiring Windows 10 […]

Read More… from

After moving to the private sector, I haven’t been shoveling out a lot of Powerpoint-ware, and just realized I might be making my first presentation without a picture of Britney Spears in something like a decade. Then I said “screw it” and added a picture of Brit-Brit. […]

Read More… from