pdf23ds comments on Dreams of Friendliness - Less Wrong

15 Post author: Eliezer_Yudkowsky 31 August 2008 01:20AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (78)

Sort By: Old

You are viewing a single comment's thread.

Comment author: pdf23ds 03 September 2008 06:09:34AM 0 points [-]

And a believe the answer to Lara's 2 is, in part, "theorem provers".