惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

P
Palo Alto Networks Blog
大猫的无限游戏
大猫的无限游戏
Martin Fowler
Martin Fowler
GbyAI
GbyAI
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
量子位
T
The Blog of Author Tim Ferriss
Y
Y Combinator Blog
Microsoft Azure Blog
Microsoft Azure Blog
C
CERT Recently Published Vulnerability Notes
Recent Announcements
Recent Announcements
A
About on SuperTechFans
aimingoo的专栏
aimingoo的专栏
P
Privacy International News Feed
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
博客园 - 叶小钗
L
Lohrmann on Cybersecurity
G
GRAHAM CLULEY
T
The Exploit Database - CXSecurity.com
Hugging Face - Blog
Hugging Face - Blog
P
Proofpoint News Feed
NISL@THU
NISL@THU
博客园 - Franky
C
Cybersecurity and Infrastructure Security Agency CISA
The Register - Security
The Register - Security
M
MIT News - Artificial intelligence
Know Your Adversary
Know Your Adversary
A
Arctic Wolf
F
Full Disclosure
T
Threat Research - Cisco Blogs
P
Privacy & Cybersecurity Law Blog
The Hacker News
The Hacker News
博客园 - 【当耐特】
D
Docker
T
Tailwind CSS Blog
S
SegmentFault 最新的问题
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Jina AI
Jina AI
Help Net Security
Help Net Security
V
Visual Studio Blog
小众软件
小众软件
B
Blog
Vercel News
Vercel News
云风的 BLOG
云风的 BLOG
N
News and Events Feed by Topic
Forbes - Security
Forbes - Security
N
Netflix TechBlog - Medium
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
C
Cisco Blogs
Security Archives - TechRepublic
Security Archives - TechRepublic

The New Stack | DevOps, Open Source, and Cloud Native News

Agentic development hinges on verification. For cloud-native software, that is a runtime problem. AI agents need infrastructure: Why Europe’s regional cloud strategy matters Transform your AI coding agent into a deterministic Java Spring expert WeAreDevelopers is coming to the US to give unsung developers a bigger voice Cleaner AI training data, fewer bugs: Sonar’s SonarSweep explained Observability overload is drowning engineers Google’s DiffusionGemma is 4x faster than its other Gemma models Fable 5: Guardrails and burn rate are annoying users, who say it’s still better than Opus 4.8 The Anthropic leader who built Claude Code says he ditched prompting — now he just writes loops. AWS can now mathematically prove your VMs are isolated Microsoft pulled 73 GitHub repos after malware attack — but still won’t say who’s compromised Databricks wants to kill the “email me a file” problem for AI agent skills Ramp bets forward deployed engineers can do what off-the-shelf finance AI can’t Git real: AI agents aren’t just for solo developers anymore Anthropic launches Claude Mythos/Fable 5, but you better try it soon Spring is 23 years old. AI just made it a security emergency. This AI agent startup ditched Anthropic for DeepSeek — and says it’s saving millions When your data model is the bottleneck: lessons from Medium’s feature store How long before we stop reading the code? The tokenmaxxing party is over, and Revenium is mopping up How AI is solving the memory crunch it created Microsoft’s pitch to enterprises: Ditch Azure Repos for GitHub, despite its rocky reliability record Claude Code’s biggest upgrade yet ran 5 agents at once — here’s what happened Why Anthropic just doubled Claude Cowork limits at no charge For years, Apache Cassandra handed this work to your team — 6.0 takes it back “A dangerous combination”: The 2 factors that can “corrupt” AI agent workflows With Foundry, Microsoft bets the enterprise AI battle is about reliability, not capability Microsoft unlocks Visual Studio for developers left behind by its own AI AI teams now deploy 1,000 times a month. Your pipeline wasn’t built for that. Microsoft just made the agent runtime free — and kept everything around it “Whoever builds the most joyous product wins”: The agent war begins Netlify CTO Dana Lawson: Writing code is no longer the job From Jupyter Notebook to production: How to ship AI systems that actually work OpenClaw used Gavriel Cohen’s code and exposed the AI Agent accountability problem Replit shows how vibe coding is getting its own financial stack — and a path to profit Cloudflare aqui-hires VoidZero: Did a piece of the open web just stabilize, or become more brittle? Cursor cuts prices and adds enterprise spend controls amid “tokenomics” reckoning Google Gemma 4 12B nearly matches 26B benchmarks — and runs on your laptop Snowflake thinks it knows what’s really slowing developers down Autonomous agents have met their biggest challenge yet: The database. Why agentic AI makes the ops platform the most important layer in the enterprise How to dramatically improve enterprise security alert tuning to battle cyberattacks Why the need for humans won’t disappear in the age of autonomous databases How to secure Kubernetes in the age of AI workloads Asana says its new AI “chief of staff” turns your Slack chaos into trackable work Nvidia’s best model is now live Mate Security’s Asaf Wiener made every backend engineer a model router. He’s right to. The AI cost crisis finally has a watchdog — just not the companies causing it How to get operational data off the factory floor without creating an IT breach Why CPUs still matter in the age of AI agents Rayfin: Microsoft’s answer to the gap between vibe coding and enterprise production Microsoft bets the enterprise AI race will be won on data context, not model power “A successful attack could be catastrophic”: Anthropic gives more groups access to Claude Mythos How GitHub plans to win developers back Microsoft really, really, really wants developers to love Windows again With Intelligent Terminal, Microsoft is reinventing the Windows terminal Microsoft debuts “Scout” at Build, a new personal agent for work OpenAI’s Codex adds new tools — Sites, Annotations, more plugins — for knowledge workers GitHub Copilot’s usage-based billing is live: Here’s what you need to know OpenAI, Anthropic, Google, Amazon, and xAI all fail on type of attack, study finds JetBrains open-sources Mellum2 to go where Claude Code can’t Claude Code vs. Cursor vs. Codex vs. Antigravity — six months in “Blowing things up”: The one move vendors got wrong on AI agents At Sapphire, SAP makes the case that enterprise AI is a context problem Gavriel Cohen found his own code inside OpenClaw, so he walked away AI retrieval at scale is becoming a systems problem, not a tooling problem The DIY platform trap that’s burning out engineering teams I tested Cursor’s new Jira integration and it’s 5 stars, no notes. Here’s why. Why GPT-5.4, Claude, and Gemini can’t agree on basic, real-world facts Replit’s vibe coding platform just got a Visa-backed identity layer for AI agents — and it changes how agents spend money Opus 4.8 Made Claude Smarter. Token Discipline Got Urgent. Why Linux creator Linus Torvalds gets angry hearing “99% of code is AI” Vendor neutrality isn’t magic: A hard look at the OpenTelemetry ecosystem “The AI did it” won’t save you when EU regulators come knocking The fix for soaring AI cloud bills exists — so why won’t we trust it? AI is shipping code faster than security was built to handle Why AWS scrapped OpenSearch’s architecture to chase agent workloads Claude Opus 4.8 is here: effort controls, dynamic workflows, cheaper fast mode, better honesty, less deception Percona celebrates 20th birthday with new foundation — and a goat cake Why OpenAI and Anthropic are hiring forward deployed engineer teams Claw-style AI agents are coming to the enterprise. The governance infrastructure is still catching up. The agentic identity crisis: Why your security isn’t ready for the AI revolution Debugging the undebuggable: building observability into probabilistic AI systems Snowflake commits $6B to AWS as it pushes deeper into AI Why MotherDuck refuses to fork DuckDB Researcher “gave Claude Code ‘ADHD’… and it thinks 2x better now.” Outside experts want more proof. “There is no accountability”: AI coding agents are installing packages no one owns “Tokenmaxxing is real, expensive & it’s spreading”: AI budgets are exploding With Google’s debut, the most important AI agent feature is now the most boring one Why AI agents need a Context Lake Google ranks the best AI for building Android apps, and the winner isn’t Gemini Google pushes Pro, Ultra, and free users from open-source Gemini CLI to closed-source Antigravity CLI The reason enterprise outages almost never start where ops teams think Taming the agentic influx: a blueprint for AI business observability How the AC/DC framework helps teams govern AI coding agents GitLab 19.0 trades its string section for a full DevSecOps orchestra Who’s monitoring the agents? How Jaeger hit 8.6× compression on 10 million spans with ClickHouse What ClickHouse learned from a year of coding with AI agents OpenClaw passed 300,000 GitHub stars. Then Google launched Spark.
This coding agent doesn’t want your feedback — it ships without it
Darryl K. Taft · 2026-06-02 · via The New Stack | DevOps, Open Source, and Cloud Native News

The pitch for most AI coding tools is speed. Write a prompt, get a draft, iterate. The faster the model, the theory goes, the faster the software.

Julien Verlaguet tells The New Stack he doesn’t buy that.

The founder and CEO of Paris-based SkipLabs — and the engineer who created Hack, the gradually typed programming language that powers Facebook’s core business logic across more than 100 million lines of production code — thinks the industry has been solving the wrong problem.

“Building correct software has always been an architecture problem disguised as a coding problem.”

“Building correct software has always been an architecture problem disguised as a coding problem,” Verlaguet says in a statement. “AI did not change that; it just made the problem more urgent.”

On Monday, SkipLabs launched Skipper, a closed-loop coding agent designed to take a plain-language description — or an OpenAPI spec — and return a complete, running, validated backend service. No review cycle. No iteration. No developer back-and-forth. The company describes it as the substrate sitting between foundation models and shipped software.

The closed loop

Julien Verlaguet, founder and CEO of Paris-based SkipLabs.

The key phrase in SkipLabs’ positioning is “closed loop,” and Verlaguet is precise about what it means. Tools like Claude Code, Cursor, or Codex keep the developer in the iteration cycle — prompt, review, refine, repeat. Skipper takes that cycle and runs it internally. The review-and-refine pass happens inside the agent, not between the agent and a human, he notes.

“Closed loop is not a feature,” Verlaguet adds in a statement. “It is a different theory of what an AI coding tool is supposed to do. The current generation makes the developer faster. The next generation makes the developer’s involvement optional. Describe what you want, and Skipper builds it.”

In practice, that means Skipper receives a prompt, generates an OpenAPI specification from it, builds out the full service — routes, data mappers, validators, TypeScript types, unit tests — and runs the whole thing in a Docker container. If the generated code fails type checks, Skipper fixes it, up to eight attempts, before returning a result. The process runs without a developer watching it.

The FAQ Skipper ships with draws the analogy: “You define an input, run Skipper, and get a working service — without worrying about what the generated code looks like.”

State is where AI breaks

The architectural bet underneath Skipper is that state management and concurrency are where AI-generated code most consistently fails, and that the right fix is structural, not prompting-based.

Verlaguet has been making this argument for a while. In an earlier conversation with The New Stack, before the launch, he put it this way: “Every time I look closer at people who claim that they are bringing guardrails to AI, I see more the same. I see more prompting — and I don’t see anybody who is trying to build real guardrails and real tooling from scratch.”

His answer is the reactive runtime underpinning Skipper — drawn from Skip, the programming language Verlaguet developed at Facebook in 2017. In the reactive model, the program is defined as a declarative graph of computation from inputs to outputs. The runtime handles state management, cache invalidation, and concurrency automatically. The AI model generating the service never has to reason about what happens when one part of the state graph changes and another part depends on it.

“I think it’s because it’s a lot of work,” Verlaguet says of why competitors haven’t taken the same approach, “and so it’s much easier to make those big claims that you’re going to do these things when, in the end, you don’t.”

The comparison he draws is to React — the same idea applied to a backend service instead of a UI. JavaScript handles the computation links between graph nodes; the Skip runtime manages everything below that.

What ships Monday

Monday’s launch delivers the core closed-loop experience: a single prompt becomes a running service. Skipper is multi-model: it routes tasks to different foundation models based on fit, using Claude Opus as its default, with Sonnet and Haiku also in the mix. It is not locked to Anthropic; model selection is an architectural choice, not a product dependency.

“We don’t do any AI here,” Verlaguet told The New Stack in earlier discussions. “We treat the models as a commodity. To us, the model is just an API that we call with a context; it comes back with the result.”

Also shipping Monday: external service integration. Skipper-generated services can call outside APIs, fetch live data, and post to other systems, meaning the software it produces isn’t sandboxed to a local environment but wired into a real stack from the start.

Moreover, two capabilities are coming shortly after launch but weren’t ready to ship: a sound, incremental TypeScript implementation Verlaguet calls SKJS, and an incremental update mode that would let builders change a specification and have Skipper modify the running service without a full rebuild. Both were close enough to appear in the product roadmap, but not close enough for SkipLabs to ship them by default.

“We’re not going to make it the default quite yet because we need to iron out a couple of things,” Verlaguet says in a pre-launch briefing, “but we should be able to release the type system [quickly after launch].”

The infrastructure thesis

Meanwhile, the longer argument that Verlaguet is making with Skipper concerns where the bottleneck in AI-assisted development truly lies. His contention is that the pace of model improvement is already outrunning the tooling that validates the output.

“In the next few years, it’s not going to be okay to wait for CI to take half an hour to an hour to validate a diff,” Verlaguet tells The New Stack. “AI is getting faster and faster, and so you will need the tooling to guardrail the AI, and that tooling will need to be incremental.”

That’s the rationale for the sound TypeScript reimplementation, which is incremental by design — it can re-check code when something changes without restarting from scratch, giving the AI fast, reliable feedback mid-generation rather than at the end, he says.

On the financial side, SkipLabs raised an $8 million seed round led by Amplify Partners, which described Verlaguet in its investment memo as “one of the top two to three programming language designers in the world.” Angel investors include Yann LeCun — Turing Award winner and former Meta Chief AI Scientist — and Spencer Kimball, co-founder and CEO of Cockroach Labs.

Skipper is available today at skipperai.dev.

YOUTUBE.COM/THENEWSTACK

Tech moves fast, don't miss an episode. Subscribe to our YouTube channel to stream all our podcasts, interviews, demos, and more.

Created with Sketch.