formality Formal Methods, Maths and papers This is a general space for me doing more rigorous stuff, especially in/near Hadoop. When things are ready for incorporation into the Hadoop codebase, I'll put them in as patches.