About Me
I enjoy programming. I know C and Python, and can program in various assembly languages with the appropriate reference documentation at hand, but what I really like is strongly-typed functional programming. Thus, it should come as no surprise that my favorite programming language is Haskell, and that I also enjoy playing with Coq.
On the other hand, I also enjoy retrocomputing, so I also like to play with such things as:
GNU tools for DOS on a 386-or-better system.
Allows you to run an actual DOS on Linux, allowing access to files in the host filesystem namespace through the use of a special "network filesystem" driver that it loads. Supports DPMI and the long-filename (LFN) interface (FIXME: what is this interface called?).
My work on DOSEMU prompted me to begin a rewrite of the vm86(2) manpage. (I wonder where I left it ...)
EZZT is a DJGPP-based program that loads ZZT (one of Tim Sweeney's first games) into memory and then "hooks" its execution at various points to add features such as tracked music (courtesy of MikMod), font loading, and palette loading. By means of the dll package in DJGPP''s beta/ download tree, it also allows game-specific code to be dynamically loaded from a dj-COFF file provided with the game
I also tend to report bugs, both in Debian packages and directly to the original developers (whichever is appropriate). Sometimes I even fix them!