🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Feeds to Scour
SubscribedAll
Scoured 11519 posts in 726.3 ms
SMT-LIB
smt-lib.org·9h
🧮Theorem Proving
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·19h
λLambda Encodings
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
A 13-10 week
blog.mitrichev.ch·14h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Preview
Report Post
Olmo 3 and the Open LLM Renaissance
cameronrwolfe.substack.com·13h·
Discuss: Substack
💻Local LLMs
Preview
Report Post
Majority Element: Easy Problem, Sneaky Insight
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·17h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·6d
🧮Theorem Proving
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·2d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·4h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·9h
⚖️Hoare Logic
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Neo, 6 years and 600 citations later
rmarcus.info·1d
🚀Query Optimization
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·19h
🎯Performance Proofs
Preview
Report Post
Customize agent workflows with advanced orchestration techniques using Strands Agents
aws.amazon.com·7h
🏠Homelab Orchestration
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Fast and Accurate Causal Parallel Decoding using Jacobi Forcing
hao-ai-lab.github.io·1d
📊Quantization
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
“New Ways to Corrupt LLMs”
garymarcus.substack.com·1d·
Discuss: Substack
💻Local LLMs
Preview
Report Post