- MIRI wants to fund your independently-organized Friendly AI workshop.
- New DoD report on their plans for autonomous robots, 2013-2038.
- Watch a computer try to learn how to walk (video).
- What a Symposium on Theory of Computing (STOC) might have been like in Medieval times.
- Eliezer Yudkowsky takes another shot (Nov. 2013) at explaining what he was trying to get across in his metaethics sequence.
- The ontological argument for God’s existence, formalized and proved with PVS. 🙂
- Ants acting as both a solid and a liquid (video).
- Wikiquote: incorrect predictions.
- Average length of PhD dissertations by major.
