miri

I came across this paper (actually a literate haskell document, pretty cool!) from MIRI. (What's MIRI ? I suppose someone finally convinced the "Singularity Institute" they had a terribl…