I decided to redesign my homepage again. In part because the previous theme was starting to annoy me: it was less pretty that I when I saw it for the first time, and it is messy code which is hell to maintain. I therefore decided to switch themes and at the same time do some […]
Read More… from New Layout and Social Integration (also EMO integration)
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/ […]
Presentation about CPN Tools 4 I’m giving next Thursday. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Wee. Just passed 2000 km tracked on Sports Tracker. Mostly biking, but also running and hiking. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Testing new way of posting status updates… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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. […]