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 […]
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 […]
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 and years old Top for that authentic Aarhus feeling. […]
Tomato, tomato. Holy hell, we are so amusing, we crack ourselves up. […]