Buchkritik
Entries from July 2012

3 year old patches suddenly being applied: https://git.gnome.org/browse/gnome-applets/commit/?id=d810bb5b9f529b91729519856011d0f6901a3243

Interesting: I get phone calls from other university’s students with questions to Isabelle (the theorem prover).

Nice unicode hack: Prevent unwanted alphabetic sorting of text by prepending a number of U+200B ZERO WIDTH SPACE characters to each entry.

My first ddg-code is live: https://duckduckgo.com/?q=hello+hackage. Hopefully the doi-lookup (http://is.gd/H7IiL9) follows soon too.

Selling my good old Nokia 770 tablet: http://www.ebay.de/itm/111014036610