FlexiLingo
Software Verification in the Age of Coding Agents
- 科技
Software testing is widely understood as essential to building reliable systems, and it’s one of the hardest things to get right. A fundamental issue is that tests are good at confirming the behavior a team expects, but the most damaging failures tend to hide in the edge cases no one thought to check during development. Those blind spots are only growing as AI produces more code that no human has closely reviewed. Antithesis is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer’s software in a fully cont...
打开播放器：完整文字稿，每个单词都可点击，附翻译和单词卡。
这一集适合你吗？
B2 · 中高级
能看懂电视新闻就会觉得轻松
- 73% 的单词在 B1 或更简单的水平。
- 每分钟 196 词：自然语速，偏快。
- 整集共有 206 个较难的单词（B2 及以上）。
试一试：点任意单词
来自本集开头的真实句子，每个单词都标出了难度级别。
Antithysys is a software verification company built around an approach called deterministic
.
The platform runs a customer software in a fully controlled environment, exploring thousands
点一个单词，用你的语言查看释义。
这些单词你认识吗？
本集中 8 个较难的单词。点一个查看释义，然后标记一下。
标记几个单词，我们会告诉你这一集是否适合你的水平。
这一集适合你吗？
B2 · 中高级
能看懂电视新闻就会觉得轻松
- 73% 的单词在 B1 或更简单的水平。
- 每分钟 196 词：自然语速，偏快。
- 整集共有 206 个较难的单词（B2 及以上）。
文字稿
本集开头部分。完整文字稿在播放器中。
较难的单词（B2+）
Software testing is widely understood as essential to building reliable systems, and it's one of the hardest things to get right. A fundamental issue is that tests are good at confirming the behavior a team expects, but the most damaging failures tend to hide in the edge cases no one thought to check during development. Those blind spots are only growing as AI produces more code that no human has closely reviewed.
Antithysys is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer software in a fully controlled environment, exploring thousands of different paths through it at runtime.
Crucially, the paths aren't pre-specified and they're not merely the expected cases. In this way, it can surface rare, damaging bugs that normal testing would never catch. Karl Svera is on the red team at Antithesis, and he also leads much of the company's AI strategy.
以上是开头部分。 本集其余部分（46 分钟）在播放器中：每个单词都可点击，附翻译、生词收藏和单词卡。
在播放器中继续由音频自动生成，可能存在错误。 音频版权归其发布者所有，并从其订阅源播放。版权所有者可申请删除 — 版权与删除政策