FormulaOne – new LLM benchmark using Dynamic Programming problems | Hacker News Reader