Blogged: Building an optimising BF compiler: http://t.co/NaR1Fp4OgE (LLVM, Rust and Quickcheck, oh my!)