Proceedings of ILIAD: Lessons and Progress — LessWrong