News for hackers. Stuff that matters.
Re:Logical Induction by bonoboTP on Tuesday September 13, 2016 @12:35PM (#12489884)
My concept of practical is stuff like: implementing things, doing experiments with prototypes, producing stuff that is imperfect but does something and can be improved upon.

Theoretical stuff is like: proving theorems, conceptualizing the task at hand, philosophical inquiry into the nature of agents/intelligence/reasoning/goals/human values

I'm not trying to argue which is more important, but surely MIRI focuses more on the theoretical.

There are no comments on this comment yet.