DEV Community

# formalmethods

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
When a System Refuses to Break: Lessons from a Full-Scope Adversarial Audit
doomhammerhell profile

When a System Refuses to Break: Lessons from a Full-Scope Adversarial Audit

#formalmethods #zeroknowledge #blockchainsecurity #protocolengineering
Comments
4 min read
I Built a Claude Code Plugin for Formal Specifications and Ran a 30-Trial Evaluation. Here's What I Found.
kotaroyamame profile

I Built a Claude Code Plugin for Formal Specifications and Ran a 30-Trial Evaluation. Here's What I Found.

#claude #ai #formalmethods #testing
Comments
5 min read
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
kotaroyamame profile

Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin

#claudecode #ai #formalmethods #agents
1
Comments
4 min read
The Masked Truth: When Mathematical Rigor Becomes Marketing in Modern Protocols
doomhammerhell profile

The Masked Truth: When Mathematical Rigor Becomes Marketing in Modern Protocols

#cryptography #blockchain #formalmethods #security
1
Comments
4 min read
A Sufficiently Detailed Spec Is Code: How Specification-Driven Development is Reshaping Software Engineering
arkacoc13 profile

A Sufficiently Detailed Spec Is Code: How Specification-Driven Development is Reshaping Software Engineering

#specdrivendevelopmen #codegeneration #formalmethods #contractfirstapidesi
Comments
4 min read
How Reality Breaks Every Beautiful System You Think You Designed
doomhammerhell profile

How Reality Breaks Every Beautiful System You Think You Designed

#distributedsystems #systemdesign #formalmethods #postquantum
1
Comments 2
5 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.