MIRI Updates
Exponential and non-exponential trends in information technology
Co-authored with Lila Rieber. In The Singularity is Near, Ray Kurzweil writes that “every aspect of information and information technology is growing at an exponential pace.” ((Page 85. In the same book, he also writes that “we see ongoing exponential...
Benjamin Pierce on clean-slate security architectures
Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization...
Michael Fisher on verifying autonomous systems
Michael Fisher is a professor of Computer Science, specialising in logical methods and automated formal verification, and Director of the multi-disciplinary Centre for Autonomous Systems Technology at the University of Liverpool and member of the Logic and Computation group in...
Harry Buhrman on quantum algorithms and cryptography
Harry Buhrman is head of the research group ‘Algorithms and Complexity’ at the Centrum Wiskunde & Informatica, Amsterdam, which he joined in 1994. Since 2000 he also has a joint appointment as full professor of computer science at the University...
New paper: “Problems of self-reference in self-improving space-time embedded intelligence”
We’ve released a new working paper by Benja Fallenstein and Nate Soares, “Problems of self-reference in self-improving space-time embedded intelligence.” Abstract: By considering agents to be a part of their environment, Orseau and Ring’s space-time embedded intelligence is a better...
Liveblogging the SV Gives Fundraiser
Today MIRI is participating in a massive 24-hour fundraiser called SV Gives. Strategy details here, donate here. This blog post will be updated many times throughout the day. Total donated to MIRI: $110,245. Total prizes & matching won for MIRI:...
