Enterprise AI demands stricter engineering controls and oversight

by Rohan Vaidya About Rohan VaidyaOctober 30, 20266 links · ~27 min read · ~1 min for the TL;DR

Patch Notes by Rohan Vaidya: six links on Tech & AI every day.

TL;DR

A startup is working to secure AI agents for DevOps infrastructure automation, aiming to replace prompt-and-pray practices.
Mintive raised funding from Cowboy Ventures, Coatue, Jeff Dean, and Andrej Karpathy to build a platform that helps IT control enterprise agents.
Startup &Truth is attempting to automate formal verification, using mathematical proofs to verify that software operates as intended.
Engineers must continue making critical decisions even as automated machines handle workplace drudgery.
Michael Stonebraker and Bruce Momjian argue that enterprise AI requires an uncontrolled database, pointing toward PostgreSQL 19.
Anthropic introduced tools ahead of a planned IPO to show companies how their money is spent across its AI models.

From the curator

Enterprise adoption of artificial intelligence relies on software controls, formal verification, and human oversight. TechCrunch's Julie Bort in a 3-minute article reports that agent identity startup Mintive raised capital from Cowboy Ventures and Coatue to help IT departments control enterprise agents. In a 6-minute Wired article, Paresh Dave explains that startup &Truth is working to automate formal verification, using math to prove software functions as intended. Meanwhile, theregister's 3-minute article points out that infrastructure automation needs something safer than prompt and pray. As automated systems take on routine tasks, organizations require structured verification, cost transparency, and deliberate engineering decisions to govern them.

Rohan Vaidya

Curated for this issue

theregister3 min readStartup wants to make AI agents safe for DevOps duty
Infrastructure automation needs something better than prompt and pray

TechCrunch3 min readAgent identity startup Mintive lands Cowboy Ventures, Coatue, angels Jeff Dean, Andrej Karpathy
Mintive was founded by two engineers who have been working on AI for decades through Google Brain and Coursera. It's platform promises to help IT easily control enterprise agents.

Julie Bort · curated 1 time

Wired6 min readThe ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.

Paresh Dave · curated 1 time

IEEE Spectrum5 min readSystems Thinking Is Vital in the Age of AI
Machines can automate drudgery but engineers make key decisions

theregister5 min readPARTNER CONTENT: Built to Bend: Postgres’s Inventor and a Steward on What AI Really Needs
Michael Stonebraker and Bruce Momjian on why enterprise AI needs a database that no one controls, and what PostgreSQL 19 says about the road ahead

TechCrunch4 min readAnthropic just launched tools to show companies what their AI spending is buying
The frontier lab is lifting the curtain on how users spend money on its models ahead of a planned IPO.

Tim Fernholz · curated 1 time

Comments

Loading comments

From the curator

theregister3 min readStartup wants to make AI agents safe for DevOps dutyInfrastructure automation needs something better than prompt and pray

TechCrunch3 min readAgent identity startup Mintive lands Cowboy Ventures, Coatue, angels Jeff Dean, Andrej KarpathyMintive was founded by two engineers who have been working on AI for decades through Google Brain and Coursera. It's platform promises to help IT easily control enterprise agents.

Wired6 min readThe ‘Pain in the Ass’ Math That Could Save Vibe Coding From ItselfA new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.

IEEE Spectrum5 min readSystems Thinking Is Vital in the Age of AIMachines can automate drudgery but engineers make key decisions

theregister5 min readPARTNER CONTENT: Built to Bend: Postgres’s Inventor and a Steward on What AI Really NeedsMichael Stonebraker and Bruce Momjian on why enterprise AI needs a database that no one controls, and what PostgreSQL 19 says about the road ahead

TechCrunch4 min readAnthropic just launched tools to show companies what their AI spending is buyingThe frontier lab is lifting the curtain on how users spend money on its models ahead of a planned IPO.