Karrmann.de
Stefan Karrmann

Stefan Karrmann

Contact: S.Karrmann at web.de
Use GPG-encrypted mails (with key as published) for your first contact, I accept only mails from known addresses and encrypted ones to avoid spam. Unsolicited commercial e-mails (also known as spam) are not welcome!, see also Spamcop.
Please do not send documents in a volatile, proprietary format, e.g. Microsoft's Word, etc. as I am unable to process them. Use Postscript or PDF instead. DVI and TeX sources are welcome as well as plain text (ASCII, Latin1 or UTF-8 encoded).

Interest

• Cryptography. I have written a small program sharesecret, which splits a secret into n parts given n and a threshold k, such that at least k of the parts are needed to reconstruct the secret.
• Computer system architecture and operating systems. See the slash package system of Dan J. Bernstein (look at my comments on it), Debian GNU/Linux and Debian GNU/Hurd. Look at my comments on Hurd.
• Advanced programing languages. E.g. Haskell, Coq and Agda 2, cf. Agda 2 Wiki.
  I have published a patch to the library 'probabilistic functional programing' (pfp), confer patch.
• Dancing at DTV (Deutscher Tanzsportverband e.V.) competitions.
• Space colonisation in orbit (and not on moons or planets), cf.
  The Case for Space, Space Studies Institute.

Check it! Check it!