Does list fusion work?
I’m writing this in the lunch break of TFP in Soesterberg. The invited talk this morning was by Geoffrey Mainland, and he talked about the difficulties of (informal) reasoning about performance in...
View ArticleClik here to view.
Predicting the livetime of a Hackage package
The Debian Haskell Group has no proper policy about when to update a certain package to a new version from Hackage. So far, we upgrade when one of us personally needs something, when someone nudges us,...
View ArticleZuriHac 2014
I’m writing this on the train back from the ZuriHac Haskell Hackathon in Zürich, generously sponsored by Better and Google. My goal for this event was to attract new people to work on GHC, the Haskell...
View ArticleAnother instance of Haskell Bytes
When I gave my “Haskell Bytes” talk on the runtime representation of Haskell values the first time, I wrote here “It is in German, so [..] if you want me to translate it, then (convince your professor...
View ArticleGood bye GNOME
When I was young... I have been a user of GNOME for a long time. I must have started using it in either 2000 or 2001, when LinuxTag was in Stuttgart. For some reason I wanted to start using one of the...
View ArticleThis blog goes static
After a bit more than 9 years, I am replacing Serendipity, which as been hosting my blog, by a self-made static solution. This means that when you are reading this, my server no longer has to execute...
View ArticleDebConf 14
I’m writing this blog post on the plane from Portland towards Europe (which I now can!), using the remaining battery live after having watched one of the DebConf talks that I missed. (It was the...
View ArticleICFP 2014
Another on-my-the-journey-back blog post; this time from the Frankfurt Airport Train Station – my flight was delayed (if I knew that I could have watched the remaining Lightning Talks), and so was my...
View ArticleDie ersten hausgemachten Tip-Toi-Bücher
Das letzte halbe Jahr war es sehr ruhig um unser Tip-Toi-Projekt. Das erste Ziel war damals erreicht: Ich konnte existierende Bücher mit neuen Texten versehen, und meinem Neffen eine Freude machen....
View ArticleUsing my Kobo eBook reader as an external eInk monitor
I have an office with a nice large window, but more often than not I have to close the shades to be able to see something on my screen. Even worse: There were so many nice and sunny days where I would...
View Article11 ways to write your last Haskell program
At my university, we recently held an exam that covered a bit of Haskell, and a simple warm-up question at the beginning asked the students to implement last :: [a] -> a. We did not demand a...
View ArticleClik here to view.
ghc-heap-view for GHC 7.8
Since the last release of ghc-heap-view, which was compatible with GHC-7.6, I got 8 requests for a GHC-7.8 compatible version. I started working on it in January, but got stuck and then kept putting it...
View ArticleNew website layout
After 10 years I finally got around to re-decorating my website. One reason was ICFP, where just too many people told me that I don’t look like on my old website any more (which is very true). Another...
View ArticleSwitching to systemd-networkd
Ever since I read about systemd-networkd being in the making I was looking forward to try it out. I kept watching for the package to appear in Debian, or at least ITP bugs. A few days ago, by accident,...
View ArticleCan one recommend Debian stable to Desktop users?
My significant other is running Debian stable on her laptop, and it has worked fine for quite a while. But since a week or two, she could not access her University IMAP account via Evolution. Obviously...
View ArticleClik here to view.
Geschenke mit dem Tiptoi-Stift verteilen
Nachdem inzwischen klar ist, dass man mit haushaltsüblichen Mitteln die Punkt-Codes für den Tiptoi-Stift selber herstellen kann, wurde es für mich Zeit, damit etwas jenseits der üblichen Anwendungen zu...
View ArticleClik here to view.
Wo sind die -ingens
Wenn ich einen Ortsnamen höre, der auf -ingen endet, dann verorte ich ihn erstmal im Süden Deutschlands, zumindest ohne weitere Informationen. Kürzlich wurde angezweifelt, ob das sinnvoll sei,...
View Article...und wo sind die Ings?
Vor ein paar Tagen schrieb ich an dieser Stelle, dass die meisten Ortsnamen auf -ingen im Süden liegen, und belegte das mit einer Google-Maps-Karte mit eigezeichnetem mittlerem Breitengrad. Darauf hin...
View ArticleClik here to view.
Ein Tiptoi-Taschenrechner
Die Tiptoi-Bastelei hat wieder neuen Schwung bekommen. Auf der neuen Tiptoi-Mailingliste sind bereits 27 Leute unterwegs, und wir haben neue Features des Tiptoi-Dateiformats GME entschlüsselt. Auch...
View ArticleTiptoi-Basteleien live im Radio
Heute um Punkt 12:10 hatte ich meinen ersten Live-Auftritt im Radio: Der Berliner Sender FluxFM, der diese Woche ein Special zum Thema Spielwaren macht, hat mich per Telefon zu den Basteleien rund um...
View Article