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)
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. […]
Twitter just informed me, today is national ass day. Superb! So, what is it with donkeys? […]
Check my route, see more data and leave a comment by clicking the link above. Would be more fun if my calf muscle wasn’t strained before I started… http://www-fb.sports-tracker.com/u/klafbang/workout/338n7bc52svb64j9 […]
Read More… from Tracked 53.4 km of Cycling with Sports Tracker
Picking up laptop – strategically between 16 and 18. […]