close

DEV Community

#verification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
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
BERJAYA 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
Why AI Agent PRs Get Rejected And How Repo Contracts Help
b0bai profile
Bobai Kato for Ota

Why AI Agent PRs Get Rejected And How Repo Contracts Help

#aiagents #reporeadiness #verification #agentsafety
BERJAYA BERJAYA BERJAYA 6
Comments 2
5 min read
Introducing correctover-patronus: 6-Dimensional Verification for Patronus AI
correctover profile

Introducing correctover-patronus: 6-Dimensional Verification for Patronus AI

#ai #llm #verification #opensource
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
BERJAYA BERJAYA 9
Comments 42
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
BERJAYA 5
Comments 28
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
BERJAYA 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
BERJAYA 5
Comments 33
5 min read
Why no AI company can verify its own outputs(what i built instead)
lalah profile
shakir

Why no AI company can verify its own outputs(what i built instead)

#ai #opensource #verification #safety
Comments
1 min read
Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2
fc0web profile

Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2

#quantum #fpga #research #verification
Comments
48 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.