Welcome to Andrei's page

I'll do something about this one day.

PhD research

A not-so-updated list of papers in bibtex form, and in nice HTML using bib2x.

Software

I've decided to keep some of my work online.

Scheme->C

I'm one of the maintainers/developers of the the Scheme->C compiler. It's a fast, although arcane at times, R4RS compiler/interpreter.

Now with matlab bindings and a much-improved C FFI.

Live Gentoo ebuilds are now in the Sunrise overlay! Just install dev-lang/scheme2c; for discussion see bug #233197.

I was a 2008 SoC student for Hurd, so I got to hack on Mach. Here's my page about it. My goal was port dtrace, although due to license issues that didn't work out. I ended up writing a new instrumentation system for Mach, db_probes.

Gateway Tablet Buttons

I recently bought a Gateway tablet and realized that no one knew how the buttons around the screen work. I wrote up this daemon to read port 0x68 and execute events based on which buttons are pressed. See the README file for more information. I've only tested it on my tablet, feel free to send in bug reports. Right now it polls at 20Hz, the Windows driver does something fancy with the polling frequency but I didn't investigate further.
If you own a Gateway tablet, open it and put some Arctic Silver on the GPU and the CPU. Neither have any thermal compound, mine actually had a tiny bit of grime. It makes a big difference in the temperatures.

Haskell - LLVM

Haskell bindings for llvm. Build system is a horrible mess so things don't actually install, they just build inplace. Mandatory brainfuck compiler included, it assumes a 64bit architecture but I'll clean that up eventually. Just drop into bindings/haskell and run make. Someone who did a lot more work submitted a better set of bindings to hackage so I won't bother with these anymore.

NetworkManger, Intel & hidden networks

NetworkManager is the fancy way of connecting to networks in Linux. A lot of people with Intel wireless cards have issues connecting to hidden networks. The problem is that NetworkManager just gives the card the BSSID, it needs the SSID as well, even though it shouldn't. This patch applies to head as of the end of 2008 and fixes the issue. Some distributions patch their NetworkManager in order to include something like this. Here's the patch.