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:16:46AM 0 points [-]

(Not the fully automated ones, the interactive ones like Isabelle and Coq.)