Prolific Haskell developer Edward Kmett has joined the MIRI team! Edward is perhaps best known for popularizing the use of lenses for functional programming. Lenses are a tool that provides a compositional vocabulary for accessing parts of larger structures and...
Update January 2019: MIRI’s 2018 fundraiser is now concluded. Target 1 $500,000 CompletedTarget 2 $1,200,000In Progress $946,981 | | $0 | $300,000 | $600,000 | $900,000 | $1,200,000 Fundraiser concluded 345 donors contributed × Target Descriptions Target 1 Target...
For many years, MIRI’s goal has been to resolve enough fundamental confusions around alignment and intelligence to enable humanity to think clearly about technical AI safety risks—and to do this before this technology advances to the point of potential catastrophe....
This is a guest post by Oliver Habryka, lead developer for LessWrong. Our gratitude to the LessWrong team for the hard work they’ve put into developing this resource, and our congratulations on today’s launch! I am happy to announce that...
In our last major updates—our 2017 strategic update and fundraiser posts—we said that our current focus is on technical research and executing our biggest-ever hiring push. Our supporters responded with an incredible show of support at the end of the...
Our 2017 fundraiser is complete! We’ve had an incredible month, with, by far, our largest fundraiser success to date. More than 300 distinct donors gave just over $2.5M ((The exact total might increase slightly over the coming weeks as we...
