have built in this space which led me to develop a minizinc mcp server [0] for scheduling bocce tournaments [1]. scheduling with constraints is a np hard problem and it makes sense people struggle. tools exist to solve this problem but they are complex and hard to use for non technical folks, and even technical folks. am hoping a tool like this can bridge the gap and would like to bring it to your awareness if you aren't already thinking about the problem this way :)
edit: after reading a bit more of description looks like yall are taking a similar approach, kudos!
This is awesome! Completely agree: modeling each real life scenario as a constraint satisfaction problem is tricky in and of itself (especially with the diversity of non-intersecting constraints we encounter) and something we are actively working on. Using LLMs as a layer above has made it much more tractable. Curious how the bocce scheduling has fared in real world scenarios. How was the performance?
In a way yes, you can reduce context usage by a non-negligible amount approaching it this way. I'm investigate this on my skill validation/analysis/bidirectional MCP server project and hope to have it as a released feature soon: https://github.com/athola/skrills
as an infrastructure engineer the idea of being able to train computer use agents without provisioning infrastructure sounds amazing!
a common use case i run into is i want to be able to configure corporate vpn software on windows machines. is there a link for a getting started guide i could try this out with?
Yes, in a simulated environment you can do this today using plain JS and connecting to a real VPN, while driving the desktop UI. No infra provisioning needed.
ran into this when writing agents to fix unit tests. often times they would just give up early so i started writing the verifiers directly into the agent's control flow and this produced much more reliable results. i believe claude code has hooks that do something similar as well.
This is awesome! I'm Syrus, from Wasmer. Would love to help you with this!
We are releasing soon a new version of wasmer-js, so it should be very easy to use it with webassembly.sh (note webassembly.sh and wasmer.sh share the same code)
Everything went smooth (just added a new comment on top of this thread for visibility!), only nit is that `convertEol` didn't work, so I had to manually convert `\n` to `\r\n`.
From 1:14:55-1:15:20, within the span of 25 seconds, the way Demis spoke about releasing all known sequences without a shred of doubt was so amazing to see. There wasn't a single second where he worried about the business side of it (profits, earnings, shareholders, investors) —he just knew it had to be open source for the betterment of the world.
Gave me goosebumps. I watched that on repeat for more than 10 times.
Another way to interpret this (and I don't mean it pejoratively at all): Demis has been optimizing his chances for winning a nobel prize for quite some time now. Releasing the data increased that chance. He also would have been fairly certain that the commercial value of the predictions was fairly low (simply predicting structures accurately was never the rate-limiting step for downstream things like drug discovery). And that he and his team would have a commercial advantage by developing better proprietary models using them to make discoveries.
My interpretation of that moment was that they had already decided to give away protein sequences as charity, it was just a decision of all as a bundle vs fielding individual requests (a 'service').
Still great of them to do, and as can be seen it's worth it as a marketing move.
(as an aside, this is a common thing that comes up when you have a good model: do you make a server that allows people to do one-off or small-scale predictions, or do you take a whole query set and run it in batch and save the results in a database; this comes up a lot)
DB of known proteins is not where the money can be made, designing new proteins is. This is why AlphaFold3 (that can aid in this) is now wrapped in layers of legalese preventing you to actually use it in the way you want. At least that's what my lifescience users tell me. Big Pharma is now paying Big Money to DeepMind to make use of AF3 ...
I also noticed this as well. Actually went back and watched it several times. It's an incredible moment. I keep thinking, "if this moment is real, this is truly a special person."
edit: after reading a bit more of description looks like yall are taking a similar approach, kudos!
[0] https://github.com/r33drichards/minizinc-mcp
[1] https://github.com/r33drichards/bocce-scheduler