✅ Formal Methods - Abhi · Scour

The Final Form of Software Development 📐TLA+

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 📐TLA+

Forging ZK proofs to mint arbitrary DUSK tokens 🤝Paxos Consensus

osec.io·9h·Hacker News

Show HN-style: Blue Arrow – modular orchestration system with state-driven execution, local LLaMA integration and post-execution verification 🤝Paxos Consensus

github.com·4h·r/node

Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns 📐TLA+

christophermeiklejohn.com·1d

Content Verification Platform 📐TLA+

proofididit.com·17h

Replacing probabilistic AI with deterministic math and Dafny formal verification 🤝Paxos Consensus

gist.github.com·6d·Hacker News

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 📐TLA+

specdd.ai·19h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs 🤝Paxos Consensus

kcsrk.info·2d·Hacker News, Hacker News

Animated Logical Graphs • 1 📐CS Theory

stream.syscoi.com·13h

AI in Design Verification: Where It Works and Where It Doesn’t 📐TLA+

eetimes.com·1d

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 📐TLA+

eprint.iacr.org·4d

Neuro-psychologist seeking advice on studying logic 📐TLA+

leiterreports.com·16h

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 📐TLA+

semiengineering.com·2d

Break This: A Minimal, System-Independent Verification Primitive 📐TLA+

ethresear.ch·3d

How we turned Storybook into a behavioral verification engine 📐TLA+

developers.redhat.com·2d

std::find_if_not (3) Linux Manual Page 🔧Compilers

systutorials.com·1d

Functional Programming in Lean - Functional Programming in Lean 🔧Compilers

leanprover.github.io·3d·Hacker News

The Policy Picks the Policy 🔄Eventual Consistency

noise2signal.bearblog.dev·2d

I Spent 45 Minutes Setting Up a Backend… Before Writing a Single Line of Logic 📐TLA+

workspai.com·2d·DEV

Log in to enable infinite scrolling