What went into training DeepSeek-R1? | Hacker News Reader