Today is sandich day at Casa Westergaard with tasty ham and cheese sandwich for lunch. For dinner, I went all the way with a couple tasty burgers, each consisting of 125 g of ground beef (for you non-metric neanderthals, its 125 g – you go look up what it is in your own fictive Zelda […]
Category: Uncategorized
LTL Model-checking in ASAP
I just finished integrating LTL model-checking into ASAP. This is joint work with Sami Evangelista and Thomas Vestergaard. Basically, I've made the translation from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of utility functions, and made the initial integration into ASAP. After that […]
New CD from Alizée
Alizée recently released her fourth album (not counting the live album “Alizée En Concert”), named “Une Enfant du Siècle”, which translated more or less is “A Child of the Century”. When I say more or less it’s because it’s named similarly to her own artist name, Alizée, which is the feminine form of “alizé” or […]
Arn
Arn and years old Top for that authentic Aarhus feeling. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Teehee
Tomato, tomato. Holy hell, we are so amusing, we crack ourselves up. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Cute Chrome
The new Parallels (from March 9) has very neat support for Google’s Chrome OS. Simply go to the menu, select Download Chrome OS: And the download starts automatically, automatically setting up the VM: Whick boots to login in less that 5 seconds and goes to the main screen in less than 2 seconds after login […]