I just put in a bid for an aircraft carrier. It’s been a dream for long shared among Jonas and I to be the owners of an aircraft carrier. We even applied for a loan to get one (with the great argument that once we got the ship, we didn’t have to pay back the […]
When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)
You may have noticed, I’m currently running experiments where I have a lot of small things. So many, that I computed I had an overhead of 16 bytes apiece (12 bytes per state and 4 bytes for a pointer to it), and was too lazy to improve my handling to reduce that to 8 bytes […]
Read More… from When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)
Spam!
I’m really not too happy about the progression of spam comments on my blog: Note that my site was down most of May. Most of the spam is flagged by Akismet, but I still go thru the marked comments and delete them manually (and have caught one or two legitimate comments). If this trend continues, […]
Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
While ProM does not contain editors, it does contain many graphical visualizations. A non-trivial subset of these are canvas-like in nature, a very prominent example being graph-like visualizations. One of the graph-like visualizations is the Petri net visualizer. Canvas-like visualizations share the property that they are scalable – a fact that is often needed to […]
Read More… from Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
Memory-Efficiency in Java
I like to generate state-spaces. I generate a lot of them. And I have made the code efficient enough that I can generate very large ones. Normally, when you code, using hundreds or even thousands of bytes for an object is no issue, but when you multiple 1000 with a million, you suddenly use 1 […]
Progress
In celebration of the horrid comics I put up, I’ve dug thru my folders, and found some even worse ones. They are not funny, but they contain puns, the most high-brow kind of humor only second to jokes about poop. I thought it would be funny to make jokes based on the catch-phrase: “progress is […]