On computational irreducibility, inference time compute, and learning programs | Dark Hacker News