Code review that isn't boring

Reading Lamport, again

Extension Points, or how OCaml is becoming more like Lisp

OCaml 4.02: everything else

Better micro-benchmarks through linear regression

Pattern matching and exception handling, Unite!