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.
CV
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.
Hurd
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.