Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems
Mistral AI has released Leanstral 1.5, an open-source model built to write and check formal proofs in Lean 4. It’s […]
When AI Agents Get Production Access: The Next Big DevOps Risk
It wasn’t that long ago that AI assistants just watched from the sidelines. They could answer your questions, explain how
Lightrun Adds Ability to Assess Impact Pull Request Will Have in Production
Lightrun is providing early access to an ability to verify whether a pull request (PR) will actually run in a
Z.ai Debuts ZCode to Compete With GitHub Copilot, Cursor and Anthropic
Chinese AI developer Z.ai has introduced ZCode, a desktop application that automates software development tasks, positioning the platform to compete
Platform Engineering vs. DevOps: Why This Is the Wrong Question
For the last fifteen years, DevOps did what it was supposed to do. It broke down the wall between development
Upcoming Change: NTLM Removal in Git (libcurl) – Impact to Azure DevOps Server Customers
Overview In September 2026, NTLM support will be removed from libcurl, which is used by Git for HTTP(S) operations. As
Reliability Comes From the System, Not the Agent
One of the most common questions executives ask right now sounds straightforward: is the agent reliable enough yet? It feels
Ornith Models Automate Agentic Coding With Self-Scaffolding
Ornith, a new family of open source LLM models from the DeepReinforce research collective, takes a novel approach to executing
Why AI Agents Need Isolation
AI coding agents are quickly becoming part of everyday development workflows. Today, AI tools can write and execute code, install
Anthropic Adds Enterprise Gateway to Simplify Claude Code Access on AWS and Google Cloud
Anthropic introduced a self-hosted gateway this week that lets enterprises run Claude Code on Amazon Bedrock and Google Cloud without