Logical Induction and Progress on Logical Uncertainty

We talk with Tsvi from MIRI

Game-playing algorithm that pauses Tetris

“On The Origin of Circuits“, discussing a chip hardware evolution experiment

MIRI’s technical research agenda overview

Alignment for advanced machine learning systems paper from MIRI

Musk’s OpenAI

Paul Christiano’s about page, which links to his paper Tsvi mentioned

Logical induction paper from MIRI

Reason as Memetic Immune Disorder, by Phil Goetz (not Scott Alexander (yet))

The original “EA Has a Lying Problem” post. Lost of discussion in the comments, and also over at E-A.com