someguy101010
How to Solve Hallucination (With RLCD)
I just added evals for existing datasets and some classic controls problems.
Will likely look for more commercial datasets and synthetic data too.
I’m funding personally in short term but if I can find some compute can see how well this scales!
Jev does not play dice
Show HN: VisionLaya: Jev with Vision capabilities
https://huggingface.co/thaitea/laya-vision-smolvlm-256m
This model makes calibrated, typed decisions about an image plus optional text. It answers choice, score and noul (yes/no probability) questions in one forward pass, with no text generation.It adds image input to Laya by replacing Laya's ModernBERT encoder with SmolVLM-256M-Instruct. Laya's predict(state, questions) API, proper-scoring-rule training and temperature calibration are...
Scientists, Not Lawyers
Use MCP-JS to control Modal Sandboxes
I believe the way we advance the capabilities for general computer use is to to attempt harder and harder tasks with it, and build up the necessary infrastructure to accomplish it along the way.
Even when we don’t achieve the goal, the infrastructure we build is often useful for easier and more obtainable goals as well.
If your computer use environment can pilot Minecraft, it can also probably do your taxes
Run Minecraft in a Windows Sandbox for Computer Use Agents
There are plenty of other features to explore, but this one alone has resulted in significant improvements in the speed of execution in many tasks including minecraft playing agents, computer use agents, and for querying and aggregating information from my telemetry systems in a lightweight low risk way.
Programmatic Tool Calling for Any MCP
Slowing Down My Coding Agents to Get More Done
Coloring Code: How Compilers Use Graph Theory [video]
edit: after reading a bit more of description looks like yall are taking a similar approach, kudos!
I want to be able to give agents access to computation in a secure way without giving them full access to a computer
Solve Hi-Q with AlphaZero and Curriculum Learning
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?
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.