📋 Formal Methods - ndjenks · Scour

The Final Form of Software Development ⚙️Low-Level Programming

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

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔧Compilers

lispy-gopher-show.itch.io·6d

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 💣Binary Exploitation

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🦀Rust

github.com·3h·Hacker News

Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns 🌐Distributed Systems

christophermeiklejohn.com·1d

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

specdd.ai·6h·Hacker News

Content Verification Platform 🪝eBPF

proofididit.com·4h

Sequent Calculi for Public Announcement Logic and Action Model Logic 🌐Distributed Systems

philsci-archive.pitt.edu·6d

From Convergence to Confidence: Push-Button Verification for RDTs 🌐Distributed Systems

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

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

systutorials.com·13h

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🌐Distributed Systems

semiengineering.com·1d

Replacing probabilistic AI with deterministic math and Dafny formal verification 💣Binary Exploitation

gist.github.com·5d·Hacker News

AI in Design Verification: Where It Works and Where It Doesn’t 🏗️AI Infrastructure

eetimes.com·1d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🎲Property Testing

Break This: A Minimal, System-Independent Verification Primitive ⚙️Low-Level Programming

ethresear.ch·2d

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 🌐Distributed Systems

eprint.iacr.org·3d

Functional Programming in Lean - Functional Programming in Lean 🔧Compilers

leanprover.github.io·2d·Hacker News

Antithesis BugBash Conference 2026 🌐Distributed Systems

emptysqua.re·5d

How we turned Storybook into a behavioral verification engine 🪝eBPF

developers.redhat.com·1d

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification 💣Binary Exploitation

opensource.googleblog.com·2d·Blogger

Log in to enable infinite scrolling