Oddbean new post about | logout
 Let me correct this.  Having looked through the details, the two are compatible.  Fortunately we managed to converge on the same idea due to good luck.