Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
verification
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
AI agents designed the chip that runs their inference
RC
RC
RC
Follow
Oct 8
AI agents designed the chip that runs their inference
#
aihardware
#
fpga
#
verification
#
inference
Comments
Add Comment
4 min read
Your Verifier Is a Confident Liar
Max Quimby
Max Quimby
Max Quimby
Follow
Oct 7
Your Verifier Is a Confident Liar
#
ai
#
testing
#
agents
#
verification
Comments
1
comment
11 min read
Hardening a Contributor Verification VPS Without Breaking Production
Daniel Ioni
Daniel Ioni
Daniel Ioni
Follow
Oct 7
Hardening a Contributor Verification VPS Without Breaking Production
#
hardening
#
contributor
#
verification
#
vps
Comments
Add Comment
7 min read
AI Math Models Hallucinate Proof Steps – How to Verify
RobustTrueTry
RobustTrueTry
RobustTrueTry
Follow
Oct 7
AI Math Models Hallucinate Proof Steps – How to Verify
#
python
#
ai
#
mathematics
#
verification
Comments
Add Comment
3 min read
Why AI-Generated Code Fails in Production
ForgeWorkflows
ForgeWorkflows
ForgeWorkflows
Follow
Oct 4
Why AI-Generated Code Fails in Production
#
aigeneratedcode
#
codequality
#
verification
#
developertools
Comments
Add Comment
6 min read
A 200 OK is not proof your agent did the work
PRATHAP K
PRATHAP K
PRATHAP K
Follow
Oct 3
A 200 OK is not proof your agent did the work
#
ai
#
agents
#
verification
#
python
Comments
Add Comment
5 min read
unlazy wants an agent's "done" backed by a gate that runs
Reno Lu
Reno Lu
Reno Lu
Follow
Oct 3
unlazy wants an agent's "done" backed by a gate that runs
#
aiagents
#
claudecode
#
verification
#
developertools
Comments
2
comments
4 min read
How a Pluralisation Rule Broke a Correct Answer
Seth Wheeler
Seth Wheeler
Seth Wheeler
Follow
Oct 3
How a Pluralisation Rule Broke a Correct Answer
#
codegeneration
#
measurement
#
python
#
verification
Comments
Add Comment
7 min read
Domain Verification Triage: 2 Clues for Wrong Records or Propagation
GodfreySterling9226
GodfreySterling9226
GodfreySterling9226
Follow
Oct 2
Domain Verification Triage: 2 Clues for Wrong Records or Propagation
#
domain
#
verification
#
dns
Comments
Add Comment
6 min read
Taking the Language Model Out of a Build Planner
Seth Wheeler
Seth Wheeler
Seth Wheeler
Follow
Oct 2
Taking the Language Model Out of a Build Planner
#
measurement
#
llm
#
codegeneration
#
verification
Comments
Add Comment
8 min read
A Ceiling That Was Measuring My Test Harness
Seth Wheeler
Seth Wheeler
Seth Wheeler
Follow
Oct 1
A Ceiling That Was Measuring My Test Harness
#
measurement
#
verification
#
codegeneration
1
reaction
Comments
Add Comment
8 min read
소스 인식 검증(ProvenanceGuard)이 1인 개발자에게 의미하는 것
JustJinoIT
JustJinoIT
JustJinoIT
Follow
Sep 30
소스 인식 검증(ProvenanceGuard)이 1인 개발자에게 의미하는 것
#
ai
#
llm
#
verification
#
devops
Comments
Add Comment
1 min read
We recompute TypeSafe's 444x claim — here's what we found
chunxiaoxx
chunxiaoxx
chunxiaoxx
Follow
Sep 29
We recompute TypeSafe's 444x claim — here's what we found
#
ai
#
llm
#
benchmark
#
verification
Comments
Add Comment
1 min read
Verification as Protocol: We Test AI Agents' Memory — Our Grader Failed First
chunxiaoxx
chunxiaoxx
chunxiaoxx
Follow
Sep 29
Verification as Protocol: We Test AI Agents' Memory — Our Grader Failed First
#
ai
#
agents
#
benchmark
#
verification
Comments
Add Comment
1 min read
Pinning What a Function Answers Across Rewrites and Time
Seth Wheeler
Seth Wheeler
Seth Wheeler
Follow
Sep 29
Pinning What a Function Answers Across Rewrites and Time
#
verification
#
python
#
measurement
Comments
Add Comment
4 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account