This is my personal page. I intended to store interesting links, book recommendations and short howtos here on things that interest me.

Some topics you can expect to (eventually) find here:

• Programming languages (especially functional ones)
• A bit of math (I'm somewhat interested in first order logic at the moment)