So, the thingamajig connecting the televisiony part of my compy to the typewritery part is approacking its EOL faster than a socialist spending somebody else’s money. Also, I named my laptop Britney – hence the post title – I would never dream of retiring my support for Ms. B. […]
Creativity
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. […]
12 Days of Britmas
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 […]
Tartelets
We’re making neat pink tartelets or, as Christine named them: Princess Tartelets. Also, we had Sparkletini spiked with Captain Morgan and red color: […]
Sustenance
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 […]
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 […]