Skip to content

Forem

# formalmethods

👋 Sign in for the ability to sort posts by relevant, latest, or top.

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

Mayckon Giovani

Apr 1

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

#formalmethods #zeroknowledge #blockchainsecurity #protocolengineering

4 min read

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

5 min read

Apr 1

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

#claudecode #ai #formalmethods #agents

4 min read

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

Mayckon Giovani

Mar 28

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

#cryptography #blockchain #formalmethods #security

4 min read

Arkaprabha Banerjee

Mar 19

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

#specdrivendevelopmen #codegeneration #formalmethods #contractfirstapidesi

4 min read

Cover image for How Reality Breaks Every Beautiful System You Think You Designed

Mayckon Giovani

Mar 23

How Reality Breaks Every Beautiful System You Think You Designed

#distributedsystems #systemdesign #formalmethods #postquantum

5 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.