My room did not have a desk nor an internet connection, so I MacGyvered myself a desk out of a bed and a coffee table. Now I just need to build an internet using twine and chewing gum. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
This is a really stupid idea I got and found would amuse myself. It’s photos of me, from 12 days, wearing 12 different B t-shirts. Well, sort of… The LFP was inspired by a Facebook posting. When I finally get around to day 12 to post this, that post will be long forgotten and no […]
We’re making neat pink tartelets or, as Christine named them: Princess Tartelets. Also, we had Sparkletini spiked with Captain Morgan and red color: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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 […]
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]