V_V comments on Botworld: a cellular automaton for studying self-modifying agents embedded in their environment - LessWrong

50 Post author: So8res 12 April 2014 12:56AM

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

Comments (54)

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

Comment author: V_V 13 April 2014 05:09:07PM 1 point [-]

So next version will accept robot programs written in Coq, I suppose ;)