A couple days ago, I wrote about my idea for an API for CPNs, CPNaaS. I’ve now gotten around to starting specifying the API. The service comprises 4 APIs and one tentative API: the specification and syntax check API, the simulation API, the simulation-based analysis API, and the state-space-based verification API. In addition, I’m planning […]
Tag: Status Updates
Popquiz Marathon 2015
183 song fragments in 6 rounds in 3.5 hours and 3 different pubs at the Popquiz Marathon 2015. Though, conveniently, we had to change pubs after each round. I never gave them much thought before, but now I have a very rational dislike of two-hit “wonders” of the 80s. And at De Effenaar, they had […]
Mentally making a packing list for the SClub7 concert this weekend, I wondered if you are allowed to bring toothbrushes on planes to England, or are they considered a controlled substance like plans for hot water mixing technology or non-fucked up units of measurement? […]
Britney Spears, Iggy Azalea – Pretty Girls
The sun is shining, Britney’s new video just dropped, tomorrow’s a day off, plenty of other good news abound, and just 3 days till S Club 7 concert. That’s too nice to celebrate by doing laundry, so if you drop by D18 I might be in sufficiently good mood to buy a drink 🙂 https://www.youtube.com/watch?v=uV2uebhnqOw […]
Brave new world. I first learned of the new Earth quake in Nepal because of a tweet from Emma Bunton (Baby Spice for you heathens who don’t know good music). […]
Lily Allen – Fuck You
Playing with Microsoft Visio, humming a Lily Allen song… https://www.youtube.com/watch?v=yFE6qQ3ySXE […]