Procedural Knowledge in Pretraining Drives LLM Reasoning | Hacker News Reader