Procedural knowledge in pretraining drives reasoning in large language models | Hacker News Reader