Viewing profile — ryan-nextmv

The conference is virtual. It runs Monday, September 18 through Wednesday, September 20. Registration is free.

Hi HN! I’m a founder at Nextmv (YC 20) [1] We’ve been building out optimization algorithm testing capabilities (acceptance tests, etc.) and just shipped our first pass at shadow te…

Even if this paper is correct, the approach is not practical. From table 1 in section 6.2, the LP representation of a 25-city TSP requires 24,580,032 variables and 3,643,825 constr…

We (Nextmv [0]) recently started shipping our developer SDK using Go's plugin package [1]. There are some great things about plugins and there are some challenges. Who else out the…

Hi HN! I’m a founder at Nextmv (YC 20) [1]. We just shipped a big release that makes it easier to build customizable decision optimization models. It's free to try and only takes a…

I haven't looked at JuMP in a while - the last time I tried it was when I was still doing personal blogging ( https://ryanjoneil.github.io/posts/2014-07-18-are-we-getting... ). I r…

Yes! MiniZinc is great. It's the only sticker I have on my Linux box. I like how it targets both MIP and CP solvers. It's actually the tool that first led me to CP and Gecode.

Is it safe to say those optimizations are performed ad hoc? That is, you're manually in control of the optimization process instead of wiring it up to some kind of automation?

Hadn't heard of JoD - that looks really interesting. What are your experiences so far?

"My problem is mind-numbingly complex, like everyone else doing supply-chain optimization" brings me joy. I'll definitely reach out - would love to get your reaction to some of our…

Thanks for looking at our docs in light of your problem domain. That's way beyond what I anticipated, and much appreciated! We haven't put a lot more examples into our SDK docs lat…

We’re trying to bring new ideas to the optimization space. We’ve used a bunch of technologies over time (CP, MIP, LP, heuristics, etc.). We’ve built our own solver (for https://www…

Definitely try out the API ( https://cloud.nextmv.io/ ) to get a sense for it. Note that these are canned models, and the systems under the hood are very customizable. You can find…

Hey HN! We're nextmv (https://nextmv.io/). We launched our decision automation platform on HN 8 months ago (https://news.ycombinator.com/item?id=22630426). At the time, our tools w…

We haven't published any formal benchmarks yet. We will soon! I'm not a regular OR-Tools user, but it allows you to call its own CP solver or external MIP solvers. I can provide a …

Thanks for asking! Value is actually the value of a state itself, and it can increase or decrease from one state to its successors. If the value must increase or decrease monotonic…

Awesome! We're very much looking for feedback on how we can improve it.

Thanks for the question! In sound-byte form, this is for developers to develop algorithms. What we really mean by that is for developers to easily automate decision making at any s…

I haven't used Choco myself, but I have seen it used quite successfully in some nice hybrid optimization studies. Gecode is awesome, but can be complex to get started with. Parts o…

1-tree on GPUs? That's pretty interesting. Ping us at tech@nextmv.io if you're seriously interested in talking more.

Sounds familiar! One thing that's struck us is the lack of accessibility of optimization tools to software engineers. I worked as a developer long before I ever got into OR. When I…