Mathe
Entries from May 2012

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

Nice Haskell problem: http://winterkoninkje.dreamwidth.org/81209.html