🧮 SMT Solvers

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

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·2d
🎯Performance Proofs
Compilation vs. vectorization, search engine edition
jpountz.github.io·16m·
Discuss: Hacker News
🚀Query Optimization
FLINT: Fast Library for Number Theory
flintlib.org·2d
🧮Algebraic Datatypes
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·1d·
Discuss: Hacker News
🌊Stream Processing
A low-cost protocol enables preparation of magic states and fault-tolerant universal quantum computation
phys.org·3h
⚛️Quantum Error Correction
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
My service was played in Enowars 9: Here is how it went
stoffregen.io·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Working with Contexts
oreilly.com·3h
🔗Constraint Handling
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·10h
✓Automated Theorem Proving
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·2h
💻Programming languages
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·7h·
Discuss: Hacker News
🧠Machine Learning
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·10h
🎯Performance Proofs
Data-Efficient Symbolic Regression via Foundation Model Distillation
arxiv.org·10h
✨Effect Handlers
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·1d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·18h
🔍Concolic Testing
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·10h
💻Local LLMs
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
What the interns have wrought, 2025 edition
blog.janestreet.com·1d·
Discuss: Lobsters, Hacker News
🦀Rusty Databases
Model Merging – A Biased Overview
crisostomi.github.io·21h·
Discuss: Hacker News
🔲Cellular Automata