I was wondering if Eliezer could post some details on his current progress towards the problem of FAI? Specifically details as to where he is in the process of designing and building FAI. Also maybe some detailed technical work on TDT would be cool.
This email by Eliezer from 2006 addresses your question about FAI. I'm extremely skeptical that he has accomplished or will accomplish anything at all in that direction, but if he does, we shouldn't expect the intermediate results to be openly published, because half of a friendly AI is a complete unfriendly AI.
This thread is for the discussion of Less Wrong topics that have not appeared in recent posts. Feel free to rid yourself of cached thoughts by doing so in Old Church Slavonic. If a discussion gets unwieldy, celebrate by turning it into a top-level post.
If you're new to Less Wrong, check out this welcome post.