It might also be worth talking to David Zureick-Brown (co-founder of MO) about this (and maybe other things). He’s already interested in MIRI’s work.
It might also be worth talking to David Zureick-Brown (co-founder of MO) about this (and maybe other things). He’s already interested in MIRI’s work.