📋 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

“A small group of mathematicians . . .”
statmodeling.stat.columbia.edu·1d
📚Archive Mathematics
Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·8h
λLambda Encodings
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5d·
Discuss: Hacker News
🎯Interactive Provers
Containers: Everything You Need To Know
equipintelligence.medium.com·14h·
Discuss: r/programming
📦Container Security
The smooth resize test (2019)
raphlinus.github.io·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Show HN: An API for human-powered browser tasks
browser-work.com·31m·
Discuss: Hacker News
🌐Web Standards
A curated directory for developers to discover and showcase tech products
devhub.best·14h·
Discuss: Hacker News
🔓Open Source Software
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·3d
⚡Proof Automation
How to reason from first principles
caseyhandmer.wordpress.com·4d·
Discuss: Hacker News
🎯Proof Tactics
A Wide Reduction Trick (2022)
words.filippo.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·1d
🎯NTLM Attacks
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·12h
🔧Hardware Verification
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
When Seeing Overrides Knowing: Disentangling Knowledge Conflicts in Vision-Language Models
arxiv.org·12h
🔲Proof Irrelevance
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·3d
📊APL Heritage
How to Use Kiro for Python Development
dev.to·8h·
Discuss: DEV
❄️Nix Adoption
Stack frame layout on x86-64
eli.thegreenplace.net·20h·
Discuss: Hacker News
🔧RISC-V Assembler
Math Fractions Teacher Helper
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
built TailorMyResume.online Magic with Bolt.new
dev.to·12h·
Discuss: DEV
🦋Format Metamorphosis
Code Smells in Clojure
github.com·3d·
Discuss: Hacker News
🦀Rust Borrowing