This quickly produced video shows why we do formal verification. Don’t do this at home (or work). I did not figure out this trick; I theorized it might be possible, but somebody else found it out. http://youtu.be/14s1mCg2kXg MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Category: Uncategorized
Jourlaism 4 Dumm!es
So, we all knwo, I are world-clazz journalist <– that’s a linky! click it!! I recently, like, completed my super journalism 4 dummies. Dummies are liek the sma… clev… bes… goodest! journalists in, like smoehwo, the worlds!!! Last time we good so many respon… comments from you yousers, we cannot even count them!! Thanks for that. […]
Windows 8 and CPN Tools, Declare, and ProM
Frequent readers will know, I have posted about how CPN Tools, Declare, and ProM has been running on the developer preview and the consumer preview of Windows 8. The short version was that CPN Tools and Declare run on bot 32 and 64 bit versions without problems. ProM ran on 32 bit versions without problems […]
Le Tour de Rome
This week I’ve been on conference in Rome. Monday I spent touring around the city. While doing so, I made sure to live-blog the entire event. Here is a transcript of my live-blog, making it possible to enjoy it time and time again as well as to revel in my wisdon without going to Facebook […]
Web Comics, Part II
Better or worse than the original? MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Not a Fan
After my horrible endeavors into the field of puntastic comics, I’m sure everybody’s left over feeling like this: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]