Month: January 2011

One of the things I really enjoy about my job is that as the only developer on my project (formerly known as λ, now officially named Kinerja), I get to tackle a bunch of different types of programming jobs.  Working on the model checking core is pretty different from working on the web interface, and…