HuggingFace/open-r1: open reproduction of DeepSeek-R1 | Hacker News Reader