See also "Safe Systems Software and the Future of Computing" by Joe Duffy, the closing keynote at RustConf 2017:<p><a href="https://www.youtube.com/watch?v=CuD7SCqHB7k" rel="nofollow">https://www.youtube.com/watch?v=CuD7SCqHB7k</a><p>Midori and Rust have several striking similarities, and Microsoft's recent uptick in interest in Rust (and Rust-like languages) bodes well for improved software quality.
> My biggest regret is that we didn’t OSS it from the start, where the meritocracy of the Internet could judge its pieces appropriately.<p>This would have been interesting, but it's not too late. Correct me if I'm wrong, but there isn't anything stopping Microsoft from releasing this research to the public today. It seems like something the "new" Microsoft of 2020 would be likely to do.
Everyone I have worked with from the Midori team has been very impressive. Regardless of the direct success of the project, I believe it (to some extent) improved the quality of Microsoft's engineering culture.
My experience with Midori people was a little like the jokes people tell about BMW owners and vegans.<p>You knew who they were because they wouldn't stop talking about Midori. It's a neat project, I liked hearing the stories.