📐 Formal Methods - fat · Scour

Abduction Prover in Isabelle/HOL

📏Linear Types Academic

Proof System Timelines

🧩Constraint Solving Blog

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

💻Programming languages

lix.polytechnique.fr·

Subversion-Resistance for Free from Formal Verification

🔐Security Patterns

lesswrong.com·

Neon NTT - (Auto)formalised

📏Linear Types

eprint.iacr.org·

Design Reliable, Scalable Distributed Systems

🌐Distributed systems

AWS can now mathematically prove your VMs are isolated

🌐Distributed systems

thenewstack.io·

Programming Languages Software Award

💻Programming languages

Lean Programming Language

💻Programming languages

lean-lang.org·

DB Nerds – Try this out

kesseldb.com··Hacker News

Quanta Books Releases The Proof in the Code

💹Rust Finance

simonsfoundation.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

💻Programming languages Code

github.com··Hacker News

Property-based testing | Liam DeVoe

🧩Constraint Solving

tybug.dev··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

📏Linear Types Academic

Programming Languages Course Reboot, 2026

💻Programming languages Reference

docs.google.com··Lobsters

a topos-oriented language with a content-addressed lattice heap

📏Linear Types

yon-lang.org··Hacker News

"a game of court intrigue where AI simulates the various courtiers"

substack.com··Substack

The Proof in the Code

📏Linear Types

quantabooks.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

🧩Constraint Solving Code

Introducing Soteria: A New Generation of Static Analysis for Rust

💻Programming languages Blog

soteria-tools.com··Hacker News

Log in to enable infinite scrolling