kpreid comments on Call for new SIAI Visiting Fellows, on a rolling basis - Less Wrong

29 Post author: AnnaSalamon 01 December 2009 01:42AM

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

Comments (264)

Sort By: Best

Show:

You are viewing a single comment's thread. Show more comments above.

Comment author: kpreid 01 December 2009 11:15:35PM 6 points [-]

Today I would say that if you can write AI at all, you can write the code parts in C, because AI is not a coding problem.

I'd rather the AI have a very low probability of overwriting its supergoal by way of a buffer overflow.

Comment author: Nick_Tarleton 02 December 2009 04:14:26AM 6 points [-]

Proving no buffer overflows would be nothing next to the other formal verification you'd be doing (I hope).