Mikolaj Konarski
Here is my old home page, from the times I was a young scientist endlessly re-editing my Ph.D. and teaching at MIMUW (mainly functional programming, which I also do today sometimes.)
Now, I'm a programmer and a programming languages theoretician.
Over 10 years ago I've started believing in God's love towards me, thanks to the Charismatic Renewal in the Roman Catholic Church. Wild ride.
Assorted stuff:
- My post-PhD TODO.
- Currently I work at the Warsaw research laboratory of Comarch. Ooops, we seem to have no homepage, but here is a homepage of Genrap, our business intelligence product on which we test our research concepts and tools. If you have an extremely hard and interesting software project to develop, be sure to contact our team. :)
- My Advanced Functional Programming course at MIMUW.
- My CV focused on programming, July 2007.
- How to trick Gmail to become a mail archive, without looping forwards.
- A sketch of quadtrees in OCaml by Sebastian Kaczanowski and me (also with bits of Angband in OCaml).
- Categorical formalization of Darcs is a lot of fun, but still does not work.
- Favourite software: Debian GNU/Linux, Emacs, Wikipedia, LaTeX, IceWeasel, WordNet.
- Favourite games: UnAngband (WIP), Freeciv, FreeCol (WIP), The Ur-Quan Masters, UFO:Alien Invasion (WIP), The Battle for Wesnoth.
- Favourite publication.
- On my homepage in Polish there are a few more personal bits.
This page, its subpages and all linked papers
(unless stated otherwise) are covered by
Copyright (C) 1995--2008 Mikolaj Konarski
mikon@mimuw.edu.pl