🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Feeds to Scour
SubscribedAll
Majority Element: Easy Problem, Sneaky Insight
dev.to·6h·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·22h·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
UP Xtreme ARL AI Dev Kit review – Benchmarks and AI workloads on an Intel Core Ultra 5 225H Arrow Lake SBC
cnx-software.com·17h
🔌Operating system internals
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
✅Format Verification
Preview
Report Post
Conill: Rethinking sudo with object capabilities
lwn.net·19h
🔒WASM Capabilities
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·2h
🔄Language Evolution
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
Solving Boggle (2021)
benknoble.github.io·4d·
Discuss: Hacker News
🌳Trie Structures
Preview
Report Post
Riddler Solution: Can You Skillfully Ski The Slopes?
possiblywrong.wordpress.com·1d
🔲Cellular Automata
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·2d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Claude in a Game Theory Tournament
matthodges.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
L5: a New Creative Coding Library in Lua, in the family of Processing/p5 Languages
leetusman.com·22h
🔗Concatenative Programming
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·21h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Free Go Course: 10 Modules, 30 Lessons, + Online Compiler
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
Preview
Report Post
Closing the Loop: How Reinforcement Learning is Changing AI Coding
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Preview
Report Post