๐Ÿ“‹ Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.toยท9hยท
Discuss: DEV
โœ“Automated Theorem Proving
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท8h
๐Ÿ“Concrete Syntax
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท9hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท1d
๐ŸงฎProlog Parsing
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.orgยท1d
๐Ÿ”FPGA Verification
A Standard for Human-Centered Investigation Playbooks
chrissanders.orgยท5h
๐ŸŽฏThreat Hunting
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท17h
๐Ÿ“Concrete Syntax
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Generative AI Exacerbates Software Supply Chain Risks
darkreading.comยท10h
๐Ÿ”’WASM Capabilities
[$] Libxml2's "no security embargoes" policy
lwn.netยท8h
๐Ÿ”“Free and open source
BNFGen: A random text generator based on context-free grammars
baturin.orgยท6hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
My AI Workflow for Understanding Any Codebase
steipete.meยท13h
โšกProof Automation
PEGTL -- Parsing Expression Grammar Template Library
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท12hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.orgยท1d
๐Ÿ”Quantum Security
Explaining software and computational methods
blog.khinsen.netยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
How AI/LLMs Can Help, Hinder Developers
cacm.acm.orgยท3h
๐Ÿ”„Language Evolution