[deanalyzer]

This could be interesting, but it badly needs systematic benchmarking results. It is not difficult to get Claude Code or Codex to install and run a solver locally, so the tool’s current value proposition is fairly muddled.

If there were evidence that it offered better performance, I might consider running larger workloads on it.

[akoboldfrying]

As I understand it, the value proposition is that it can deal with a spiky stream of problems to solve better than buying a bunch of on-prem hardware and running local solvers on them would -- similar to why it often makes sense to spin up cloud VMs on demand to handle spiky web traffic.

Performance on an individual problem is still interesting of course, but maybe not the main focus.