I'm a functional programming fanboy, but currently work on static-program analysis for Java. I also have a toy operating system project that I have been working on for the past few years. It's available at http://losak.sf.net, but is basically just a proof of concept right now.