Holo4: powering generalist computer-use agents
More from the blog
Getting the Source Right, Not Just the Fact: Source-Aware Verification for MCP Agents
The effects of an “algorithmic monoculture” depend on the details
In a study focusing on hiring decisions, MIT researchers found the use of a single algorithm by many firms could benefit job seekers in certain situations.
New formulation helps RNA vaccines withstand high temperatures
MIT engineers have found a way to stabilize the lipid nanoparticles used to deliver RNA vaccines, which could allow the vaccines to be more widely distributed.
How to Use NVIDIA Warp and MjWarp to Accelerate Robotics Simulation and Learning Workflows
Related papers
A Preliminary Roadmap for Empirical Research on Agile Software Development
Some claim that especially in the field of agile software development the research lags years behind of the practice. In this paper, we characterize the status and main challenges for research on agile software development, and propose a preliminary roadmap, focusing on providing more empirical research, primarily on experienced agile teams and organizations, connecting better to existing streams of research in more established fields, giving more attention to management-oriented approaches, and finally give more emphasis to the core ideas in agile software development in order to increase our understanding. We hope that this preliminary roadmap serves as a starting point for creating a common research agenda and enables the generation of fruitful discussions and research results from the field.
On the Unhappiness of Software Developers
The results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains, and 219 factors representing causes of unhappiness while developing software are identified.
Lean Internal Startups for Software Product Innovation in Large Companies: Enablers and Inhibitors
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
AI-powered Code Review with LLMs: Early Results
The goal is to not only refine the accuracy of the LLM-based tool but also to underscore its potential in streamlining the software development lifecycle through proactive code improvement and education.