Skip to content
Archive of entries posted on February 2010

Multi-tasking

I’m multitasking like crazy: I’m writing code on my “emergency Mac” (which is the only one really set up for working), compiling the code on a virtual Windows XP machine and testing the code on a 64 bit Windows 7 machine, which fails [...]

The Joy of Windows

It seems that everytime I boot into Windows, I spend most of my time staring at the below screen: In fact I have a suspicion, I spend more time updating Windows, anti virus, and other crap to get less malware that I do [...]

Name Scheming

Lecture on State Spaces in the CPN Course

I am to give a guest lecture on ASAP for the CPN course tomorrow.  For that, I’ve prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP.  None of the videos [...]

Crappy “Just-add-water” “Soup”

This is incredibly crappy soup, but reminds of our hike in England last summer.  This is the by far worst one, mushrooms and sand.  It actually tastes as if there is sand in the soup.