Argmin, challenges for optimizing hard problems

Show HN: Argmin, challenges for optimizing hard problems

Operating in show hn launch, Argmin, challenges for optimizing hard problems operates.

Profile

I want to share a project I've been working on called argmin.dev. It's a platform for hard optimization problems where a solution can be checked deterministically.For a bit of background, I've always found these types of problems interesting. The really difficult optimization problems where techniques like gradient decent don't work, or where even finding a feasible solution is difficult (e.g. square packing). I've worked on these independently for fun and have created this project as a way to share the problems I find interesting with the community. I am curious to see how far others can push these.Each challenge is defined by its verifier, a program that will enforce the constraints, and e

As a business in show hn launch, Argmin, challenges for optimizing hard problems is listed here with the public details available about it.

Its current recorded stage is Show HN launch.

Website: argmin.dev