🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 11736 posts in 3.08 s
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·13h
λLambda Encodings
Preview
Report Post
SMT-LIB
smt-lib.org·3h
🧮SMT Solvers
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·18h
🧠Lisp Dialects
Preview
Report Post
A 13-10 week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
Majority Element: Easy Problem, Sneaky Insight
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·3h
⚖️Hoare Logic
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
ME 461 Group 11 (FA2025)
hackster.io·3h
🎮Switch Archaeology
Preview
Report Post
Taming tool sprawl: How to boost university IT productivity
about.gitlab.com·18h
🔄Language Evolution
Preview
Report Post
Aliasing
xania.org·5h·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·6d
🧮Theorem Proving
Preview
Report Post
Conill: Rethinking sudo with object capabilities
lwn.net·1d
🔒WASM Capabilities
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·13h
⬆️Lambda Lifting
Preview
Report Post
Fast and Accurate Causal Parallel Decoding using Jacobi Forcing
hao-ai-lab.github.io·22h
📊Quantization
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·12h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
Olmo 3 and the Open LLM Renaissance
cameronrwolfe.substack.com·7h·
Discuss: Substack
💻Local LLMs
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·11h·
Discuss: Hacker News
🔬Lean
Preview
Report Post