This morning we were discussing (a draft of) a paper. With an introduction and a conclusion like this, I, as a reviewer, would strongly accept it. Regardless of what were in Sections 2-6. It’s not entirely unlike the abstract in my LaTeX paper template: This paper deals with topics in computer science and/or engineering. \fixme{Maybe […]
Modular Declare
Another presentation on Modular Declare. This one with more pretty pictures. […]
I’m a Dork
I’m now one of the adults who own comic booksgraphical novels, because comic books are for kids and I’m mature and don’t do kid stuff, so I am reading novels. With drawings. Of big-bossomed women. When’s the next dork-festrenaissance fair? […]
Tacky
Sometimes the lowliness of my humor amazes even me. Still, I found adding this line of code amazingly amusing: […]
Unraveling the Conspiracy of the Croquettes
Everybody non-native living in the Netherlands has been pondering this question: what actually is the green stuff inside those croquettes the Dutch seem to savor so much? You quickly rule out meat, soy, boogers, and many other plausible but not quite fitting explanations. Now, finally, the mystery has been solved. The dirty little secret is […]
Pretty Declare
I’m making slides. As that is more boring than this site, I decided that Declare needed prettier tasks. I therefore give you this: I find this much prettier than the old screen shot: The arcs still look like shit, though. Edit: Continued working a bit; switched on anti-aliasing, added a gradient to the background, found […]