🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧮SMT Solvers
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·9h·
Discuss: DEV
🧮Constraint SMT
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·5h·
Discuss: Hacker News
🔗Functional Compilers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Issue 490
haskellweekly.news·5h
🔗Functional Compilers
The huge AI security hole
aardvark.co.nz·12m
🔓Hacking
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·58m
💻Local LLMs
Unraveling the Infeasibility Knot: Graph-Guided Troubleshooting for Complex Constraints
dev.to·10h·
Discuss: DEV
🧮Constraint Solvers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·7h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·6h
🧪Property-Based Testing
Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
arxiv.org·13h
🏗️Compiler Archaeology
I have solved p=NP with proof
github.com·5h·
Discuss: Hacker News
🎯Performance Proofs
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Interactive Provers
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·2h·
Discuss: r/golang
🦀Rust Macros
A Kevin week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
📐Linear Algebra
What I learned building a programming language with LLM agents
eddmann.com·55m·
Discuss: Hacker News
🗣️Domain-Specific Languages
haskell/mtl
github.com·16h
🔗Functional Compilers
How AI coding tools can learn to develop secure software
reversinglabs.com·1d
⚡Proof Automation