🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·6h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·23h·
Discuss: DEV
🦀Rust Macros
How the Lean language brings math to coding and coding to math
amazon.science·1h·
Discuss: Hacker News
🔬Lean
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Why Computer Science Is No Good, Redux
cacm.acm.org·2h
🎯Performance Proofs
SAT Requires Exhaustive Search
link.springer.com·23h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1h
💧Liquid Types
Cursor IDE: Persistent Code Execution via MCP Trust Bypass
blog.checkpoint.com·6h
🔓Hacking
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Relative Completeness of Incorrectness Separation Logic
arxiv.org·15h
🧠Separation Logic
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·12h
✅Archive Validation
Version control: how I combat the rise of generative AI in the classroom
nature.com·5h
⚡Proof Automation
AI in Action Hackathon: Celebrating the GitLab innovations
about.gitlab.com·19h
⚙️TLA+
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·4h·
Discuss: Hacker News
🔒WASM Capabilities
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.org·15h
🔍Concolic Testing