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