🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 19466 posts in 237.0 ms
Build a Compiler in Five Projects
kmicinski.com·13m
🔨Compilers
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·7h·
Discuss: Hacker News
⚡SMT Integration
First Proof | Research-Level Math for AI Evaluation
1stproof.org·23h·
Discuss: Hacker News
🎯Performance Proofs
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
LangGraph vs CrewAI vs AutoGen: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to·20h·
Discuss: DEV
⚡Proof Automation
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·18h
🤝Consensus Protocols
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·14h
📋Document Grammar
On The Crank Spectrum
exple.tive.org·10h
🖥️Terminal Renaissance
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·6h·
Discuss: Hacker News
🔲Proof Irrelevance
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Let Lambda Come Over
yamlscript.org·4h
⬆️Lambda Lifting
Private Data Space Model
privatedata.space·2d
✅Format Verification
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·1d·
Discuss: Hacker News
🧮SMT Solvers
stdlib v7.2
erlang.org·21h·
Discuss: Hacker News
🦀Rusty Databases
Metasploit Wrap-Up 02/06/2026
rapid7.com·15h
🛡️eBPF Security
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help