Re: [math-fun] Halting probability for Conway's Life