🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

SAT problems are kind of cool
blog.karanjanthe.me·5h·
Discuss: Hacker News
🧮SMT Solvers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
⚡SMT Integration
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Three Solutions to Nondeterminism in AI
blog.hellas.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
Googles CodeMender is designed to automatically find and fix security flaws in software
the-decoder.com·1d
🚀Indie Hacking
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·1d
✅Format Validation
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
⚡Proof Automation
The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
A grand week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Less Is More: Recursive Reasoning with Tiny Networks
github.com·6h·
Discuss: Hacker News
📊Quantization
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·1d
🦀Rust Macros
I played 1k hands of online poker and built a web app with Cursor AI
blog.rchase.com·47m·
Discuss: Hacker News
🚀Indie Hacking
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·7h
⚡Homebrew CPUs
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·17h
🧮Compute Optimization
Embedding Lua in Nim
lambdacreate.com·2d
🦀Rust Macros
Fast Matrix Multiply on an Apple GPU
percisely.xyz·1d·
Discuss: Hacker News
⚡SIMD Vectorization
The Programmer Identity Crisis
hojberg.xyz·8h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·1d
🔢Reed-Solomon Math
What's new in Python 3.14
docs.python.org·23h·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing