A systems programmer looking to write higher quality software with some better guarantees about bit-fiddling. I'm working on type-safe middleware, right now an implementation of the ZeroMQ wire protocol.