formality
formality copied to clipboard
Published
20 hours ago •
steveloughran
steveloughran
Formal Methods, Maths and papers
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.
steveloughran