DEV Community

# formalmethods

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier
p_pumulo profile

🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier

#scheme #numerics #formalmethods #algorithms
Comments
9 min read
What Should Humans Design When AI Can Write Most of the Code?
kotaroyamame profile

What Should Humans Design When AI Can Write Most of the Code?

#ai #softwaredevelopment #formalmethods #vdm
Comments
8 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
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
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
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.