MIRI Updates
Mike Frank on reversible computing
Michael P. Frank received his Bachelor of Science degree in Symbolic Systems from Stanford University in 1991, and his Master of Science and Doctor of Philosophy degrees in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology in...
Emil Vassev on Formal Verification
Dr. Emil Vassev received his M.Sc. in Computer Science (2005) and his Ph.D. in Computer Science (2008) from Concordia University, Montreal, Canada. Currently, he is a research fellow at Lero (the Irish Software Engineering Research Centre) at University of Limerick,...
How Big is the Field of Artificial Intelligence? (initial findings)
Co-authored with Jonah Sinick. How big is the field of AI, and how big was it in the past? This question is relevant to several issues in AGI safety strategy. To name just two examples: AI forecasting. Some people forecast...
Existential Risk Strategy Conversation with Holden Karnofsky
On January 16th, 2014, MIRI met with Holden Karnofsky to discuss existential risk strategy. The participants were: Eliezer Yudkowsky (research fellow at MIRI) Luke Muehlhauser (executive director at MIRI) Holden Karnofsky (co-CEO at GiveWell) We recorded and transcribed the conversation,...
2013 in Review: Outreach
This is the 2nd part of my personal and qualitative self-review of MIRI in 2013. By “outreach” I refer to general outreach efforts, rather than e.g. outreach to specific researchers, which will be discussed in the post about MIRI’s 2013...
Want to help MIRI by investing in XRP?
Recently, Mt.Gox and Ripple creator Jed McCaleb gave MIRI a large donation in XRP, which is the #2 cryptocurrency in market cap behind Bitcoin. This gift, along with our recent successful fundraiser, should enable us to hire the beginnings of...
