corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08231-389b-7134-a85a-b5c75a0865b9

How well do agents use test/verification techniques?

Dan Luu · published 7 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at danluu.com Wayback capture
5blogs citing
First cited
8 Sept 2026
Most recent
18 Sept 2026
Rank this month
not ranked
Links from this post
32
Words captured
11,651

Cited by

Blog
In the post
Date
Yossi Kreinin
Unit tests mark territory more than squash bugs Read at the source ↗
18 Sept 2026
ai.rundatarun.io
Four Upgrades to the Agent Loop. None of Them Moved the Number. Read at the source ↗
14 Sept 2026
pliutau.com
Reading List Read at the source ↗
9 Sept 2026
tldr.tech
ChatGPT writing styles ✍️ , ByteDance AI 📱, how agents test 👨‍💻 Read at the source ↗
8 Sept 2026
EDM115 - French dev/gamer/music producer
EDM115 - Project EDM115/skills Read at the source ↗
—

Links from this post

Link
Host
Agentic test processes, LLM benchmarks, and other notes on agentic coding from Galapagos Island Read at the source ↗
danluu.com
How does programming language affect token efficiency and correctness? Read at the source ↗
danluu.com
https://github.com/hegeldev/hegel-skill/blob/ef36dc6b26a6dc0fdfdab5476b1affff37552ef0/skills/hegel/SKILL.md
github.com
https://github.com/affaan-m/ECC/blob/e04ea0b9cc8248686edf5ac751cadff550e162b8/skills/rust-testing/
github.com
https://github.com/trailofbits/skills/blob/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing/skills/property-based-testing/SKILL.md
github.com
How out of date are Android devices? Read at the source ↗
danluu.com
Why I prefer 50% rather than 95% intervals Read at the source ↗
statmodeling.stat.columbia.edu
https://x.com/garybernhardt/status/2067002665427775613
x.com
There's no reason for software to be slow anymore Read at the source ↗
danluu.com
Given that we spend little effort on testing, how should we test software? Read at the source ↗
danluu.com
https://github.com/verus-lang/verus
github.com
https://github.com/facebook/zstd/blob/dev/doc/zstd_compression_format.md
github.com
https://en.wikipedia.org/wiki/Proof_assistant
en.wikipedia.org
https://en.wikipedia.org/wiki/Property_testing
en.wikipedia.org
The benchmarkpocalypse Read at the source ↗
danluu.com
https://github.com/hypothesisWorks/hypothesis/
github.com
https://en.wikipedia.org/wiki/Test_fixture
en.wikipedia.org
https://en.wikipedia.org/wiki/Mutation_testing
en.wikipedia.org
https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
en.wikipedia.org
https://github.com/affaan-m/ECC/blob/e04ea0b9cc8248686edf5ac751cadff550e162b8/skills/rust-testing/SKILL.md
github.com
Bad benchmarks and evals: Senior SWE-Bench, napkin math, and winter tires Read at the source ↗
danluu.com
https://github.com/cyan4973/finitestateentropy
github.com
https://en.wikipedia.org/wiki/Huffman_coding
en.wikipedia.org
https://en.wikipedia.org/wiki/Model_checking
en.wikipedia.org
95%-ile isn't that good Read at the source ↗
danluu.com
Why hardware development is hard Read at the source ↗
danluu.com
https://thorstenball.com/talks/how-i-prompt/
thorstenball.com
https://github.com/SawyerHood/dev-browser
github.com
https://x.com/danluu/
x.com
https://bsky.app/profile/danluu.com
bsky.app
https://mastodon.social/@danluu/
mastodon.social
https://arxiv.org/html/2509.20384v1
arxiv.org