somervta comments on Transparency in safety-critical systems

[somervta]

MIRI has mentioned (for example, in the ‘Recommended Courses’ post) the use of functional programming like Haskell in AI for proof-checking reasons