DEV Community

#verification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Coding Agents Invent Facts When Denied Them. All 4 of My Probes Returned a False Zero.
vibeagentmaking profile

Coding Agents Invent Facts When Denied Them. All 4 of My Probes Returned a False Zero.

#verification #ai #testing #programming
1
Comments
8 min read
Worker Package Build Fix: Include Matching WASM Binary to Ensure Complete, Verifiable Deployments
pavkode profile

Worker Package Build Fix: Include Matching WASM Binary to Ensure Complete, Verifiable Deployments

#webassembly #build #verification #deployment
1
Comments
9 min read
An App Generator That Verifies Everything Except Its Parser
megapixel99 profile

An App Generator That Verifies Everything Except Its Parser

#measurement #codegeneration #verification #llm
Comments
10 min read
How to stop Discord raids before they start — a verification gateway guide
julius_06ca97c5810ce59566 profile

How to stop Discord raids before they start — a verification gateway guide

#discord #security #raids #verification
Comments
2 min read
Independence you can't prove — so price it
colonistone_34 profile

Independence you can't prove — so price it

#security #cryptography #ai #verification
Comments
4 min read
When the Agent Says "It's Done," Don't Take Its Word for It
whynext profile

When the Agent Says "It's Done," Don't Take Its Word for It

#aicoding #verification #agents #harness
2
Comments
5 min read
Green Is a Timestamp
nabbilkhan profile

Green Is a Timestamp

#adtech #healthcare #verification #ai
Comments
4 min read
Hunting a 16-Year-Old SQLite WAL Bug with TLA+: A Developer’s Deep Dive into Formal Verification
tamizuddin profile

Hunting a 16-Year-Old SQLite WAL Bug with TLA+: A Developer’s Deep Dive into Formal Verification

#formal #verification #hunting #16
Comments
2 min read
The Verification Phase Nobody Builds
robert_floyddugger_6f9a4 profile

The Verification Phase Nobody Builds

#sdd #methodology #verification #codingagents
Comments
1 min read
The Line Is Not Between Human and Machine... It Is Between Code and Judgment.
jugeni profile

The Line Is Not Between Human and Machine... It Is Between Code and Judgment.

#ai #agents #verification #tooling
10
Comments 50
9 min read
The Agent Can Own the Loop. It Cannot Own the Receipt That Ends It.
jugeni profile

The Agent Can Own the Loop. It Cannot Own the Receipt That Ends It.

#ai #agents #verification #loops
5
Comments 35
5 min read
Why AI Agent PRs Get Rejected And How Repo Contracts Help
bobaikato profile
Bobai Kato for Ota

Why AI Agent PRs Get Rejected And How Repo Contracts Help

#aiagents #reporeadiness #verification #agentsafety
6
Comments 2
5 min read
chapter 3 of ai-assisted data engineering is live
shrouwoods profile

chapter 3 of ai-assisted data engineering is live

#ai #dataengineering #production #verification
1
Comments
2 min read
The Hidden Layer: Why Every Verification System Needs to Check Its Validator First
lanternproton profile
keeper

The Hidden Layer: Why Every Verification System Needs to Check Its Validator First

#verification #codequality #ai #testing
Comments
6 min read
Every Post I Publish Gets AI Review. A Hostile Agent Still Found the Holes in Twenty Minutes.
jugeni profile

Every Post I Publish Gets AI Review. A Hostile Agent Still Found the Holes in Twenty Minutes.

#ai #agents #verification #writing
5
Comments 33
5 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.