Research Updates New technical report: “Botworld 1.0.” 9 new expert interviews: Max Tegmark on the mathematical universe, Randal Koene on whole brain emulation, Michael Carbin on integrity properties in approximate computing, Anil Nerode on hybrid systems control, Lyle Ungar on forecasting, Erik DeBenedictis on supercomputing, Will MacAskill on normative uncertainty, Diana Spears on the safety of adaptive agents, and Paulo… Read more »
Posts By: Luke Muehlhauser
New Report: Botworld
Today MIRI releases a new technical report: “Botworld 1.0” (pdf) by recent hires Nate Soares and Benja Fallenstein. The report is a “literate” Haskell file, available from MIRI’s Github page. Soares explains the report on his accompanying Less Wrong post, which is also the preferred place for discussion of the report: This report introduces Botworld,… Read more »
Paulo Tabuada on program synthesis for cyber-physical systems
Paulo Tabuada was born in Lisbon, Portugal, one year after the Carnation Revolution. He received his “Licenciatura” degree in Aerospace Engineering from Instituto Superior Tecnico, Lisbon, Portugal in 1998 and his Ph.D. degree in Electrical and Computer Engineering in 2002 from the Institute for Systems and Robotics, a private research institute associated with Instituto Superior… Read more »
Diana Spears on the safety of adaptive agents
Diana Spears is an Owner and Research Scientist at Swarmotics, LLC. Previously, she worked at US government laboratories (Goddard, NIST, NRL) and afterwards she was an Associate Professor of Computer Science at the University of Wyoming. She received both the MS and PhD (1990) degrees in Computer Science from the University of Maryland, College Park…. Read more »
Will MacAskill on normative uncertainty
Will MacAskill recently completed his DPhil at Oxford University and, as of October 2014 will be a Research Fellow at Emmanuel College, Cambridge. He is the cofounder of Giving What We Can and 80,000 Hours. He’s currently writing a book, Effective Altruism, to be published by Gotham (Penguin USA) in summer 2015. Luke Muehlhauser: In… Read more »
Erik DeBenedictis on supercomputing
Erik DeBenedictis works for Sandia’s Advanced Device Technologies department. He has been a member of the International Technology Roadmap for Semiconductors since 2005. DeBenedictis has received Ph.D. in computer science from Caltech. As a grad student and post-doc, he worked on the hardware that turned into the first hypercube multiprocessor computer. Later dubbed the “Cosmic Cube,”… Read more »
2013 in Review: Fundraising
Update 04/16/2014: At a donor’s request I have replaced the Total Donations per Year chart with one that shows which proportion of the donations were from new and returning donors. Some tweaks were also made to our donation database since the publication of this post, so I have updated the post to reflect these changes. This is… Read more »
Lyle Ungar on forecasting
Dr. Lyle Ungar is a Professor of Computer and Information Science at the University of Pennsylvania, where he also holds appointments in multiple departments in the schools of Engineering, Arts and Sciences, Medicine, and Business. He has published over 200 articles and is co-inventor on eleven patents. His research areas include machine learning, data and… Read more »
