DEV Community

#formalverification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
For Macro Lovers: Could Tauto Have the World's Most Powerful Macro System?
ryo33 profile

For Macro Lovers: Could Tauto Have the World's Most Powerful Macro System?

#tauto #macros #dsl #formalverification
Comments
16 min read
Prediction: Theorem Provers Will Completely Dominate Programming (And Soon)
scidonia profile

Prediction: Theorem Provers Will Completely Dominate Programming (And Soon)

#discuss #ai #formalverification #programming
Comments
4 min read
Claude rediscovered CVE-2026-56132 proving 123 libraries crash-free
randomchaos profile
RC

Claude rediscovered CVE-2026-56132 proving 123 libraries crash-free

#formalverification #llms #softwaresecurity
Comments 1
4 min read
The Agent Wrote the Theorem: A Model-Level Disproof, a Pipeline Gap, and a Refusal to Cheat
wintrover profile

The Agent Wrote the Theorem: A Model-Level Disproof, a Pipeline Gap, and a Refusal to Cheat

#axiom #formalverification #agents #smt
Comments
2 min read
Lean Is Becoming AI's Trust Layer
max_quimby profile

Lean Is Becoming AI's Trust Layer

#aiagents #formalverification #lean4 #codequality
Comments
9 min read
Green proofs, empty promises: when AI agents write their own specifications
malek_aitouaret_f026758c profile

Green proofs, empty promises: when AI agents write their own specifications

#dafny #formalverification #ai #llm
1
Comments 6
7 min read
Why Verification Asks You to Leave the Language You Ship
thechrisin profile

Why Verification Asks You to Leave the Language You Ship

#architecture #languagedesign #formalverification #rust
Comments
12 min read
Verus proves Rust correct for all inputs. Code review still can't define "correct."
cole_halton_42f71d71b809b profile

Verus proves Rust correct for all inputs. Code review still can't define "correct."

#aicodereview #rust #formalverification #llm
Comments
2 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.