Logical Induction for Software Engineers

lesswrong.com

2 pointschriswarbo1 comment

The Logical Induction algorithm is wildly inefficient, but it's nice to see a real, runnable implementation.