VOOZH
about
URL: https://dev.to/t/formalmethods
⇱ Formalmethods - DEV Community
🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier
👁 p_pumulo profile
Yoshihiro Hasegawa
👁 Image
Yoshihiro Hasegawa
May 30
🍢 hatsu-yakitori 0.4.8 & 0.4.9: Lean-Verified FMM, HDF5 Input, and a Smarter Frontier
#
scheme
#
numerics
#
formalmethods
#
algorithms
Add Comment
9 min read
What Should Humans Design When AI Can Write Most of the Code?
👁 kotaroyamame profile
Kotaro Andy
👁 Image
Kotaro Andy
May 4
What Should Humans Design When AI Can Write Most of the Code?
#
ai
#
softwaredevelopment
#
formalmethods
#
vdm
Add Comment
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
Kotaro Andy
👁 Image
Kotaro Andy
Apr 1
I Built a Claude Code Plugin for Formal Specifications and Ran a 30-Trial Evaluation. Here's What I Found.
#
claude
#
ai
#
formalmethods
#
testing
Add Comment
5 min read
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
👁 kotaroyamame profile
Kotaro Andy
👁 Image
Kotaro Andy
Apr 1
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
#
claudecode
#
ai
#
formalmethods
#
agents
👁 Image
1
reaction
Add Comment
4 min read
When a System Refuses to Break: Lessons from a Full-Scope Adversarial Audit
👁 doomhammerhell profile
Mayckon Giovani
👁 Image
Mayckon Giovani
Apr 1
When a System Refuses to Break: Lessons from a Full-Scope Adversarial Audit
#
formalmethods
#
zeroknowledge
#
blockchainsecurity
#
protocolengineering
Add Comment
4 min read
The Masked Truth: When Mathematical Rigor Becomes Marketing in Modern Protocols
👁 doomhammerhell profile
Mayckon Giovani
👁 Image
Mayckon Giovani
Mar 28
The Masked Truth: When Mathematical Rigor Becomes Marketing in Modern Protocols
#
cryptography
#
blockchain
#
formalmethods
#
security
👁 Image
1
reaction
Add Comment
4 min read
How Reality Breaks Every Beautiful System You Think You Designed
👁 doomhammerhell profile
Mayckon Giovani
👁 Image
Mayckon Giovani
Mar 23
How Reality Breaks Every Beautiful System You Think You Designed
#
distributedsystems
#
systemdesign
#
formalmethods
#
postquantum
👁 Image
1
reaction
2
comments
5 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
👁 DEV Community
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
👁 Image
👁 Image
👁 Image
👁 Image
👁 Image
