Eating vowels for dinner
Unlike me, my wife uses computers for serious calculations to answer important questions. One of these problems involves taking the cross-correlations of the continuous seismic data of hundreds of measuring stations. A computation that can take days or even weeks. Interestingly, it turns out that a large part of this time is spent loading data [ ]
Last year I visited family in Vienna. One rainy afternoon we decided to play a very German dice-game called mensch ärgere dich nicht, which means something like: don t work yourself up, man. Despite her wheelchair my grandmother beat us three times in a row and I was annoyed. I decided I should figure out this [ ]
This article gives a taste of the operational semantics for Python that I wrote for my master's thesis. The thesis was developed with literate programming: the sources can be compiled to an interpreter or to the document that is my Thesis.