Need some more energetic music… […]
Author: status
Posts by status
To think that people watch TV shows for drama. I’m not even sure if I’m a victim or a cause. Fukkit, I’m going to Belgium. […]
http://www.smbc-comics.com/index.php?db=comics&id=2767
This is why I never watch news programs and instead skim around 10 newspapers: http://www.smbc-comics.com/index.php?db=comics&id=2767 http://www.smbc-comics.com/index.php?db=comics&id=2767 […]
Read More… from http://www.smbc-comics.com/index.php?db=comics&id=2767
New Layout and Social Integration (also EMO integration)
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)
Why We do Formal Verification
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 https://westergaard.eu/2012/10/why-we-do-formal-verification/ […]
Fascinating: If you use Britney Spears’s Till the World Ends as a source for a genius playlist in iTunes, you get a more depressing one than if you use Everytime. I did not expect that. […]