Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

  • Hacker News
  • I can't say this enough, a well tune deterministic solver always beats an LLM. In most of my experiments, the best the LLM can do is match the solvers results.