🧮 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·1d
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·2d
🧮Algebraic Datatypes
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
How we built the most efficient inference engine for Cloudflare’s network
blog.cloudflare.com·13h·
Discuss: Hacker News
🌊Stream Processing
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·16h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·7h
🔍Concolic Testing
One-shot design of functional protein binders with BindCraft
nature.com·11h
⬆️Lambda Lifting
Model Merging – A Biased Overview
crisostomi.github.io·10h·
Discuss: Hacker News
🔲Cellular Automata
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Reasoning Steps as Curriculum: Using Depth of Thought as a Difficulty Signal for Tuning LLMs
arxiv.org·23h
🔗Parser Combinators
What the interns have wrought, 2025 edition
blog.janestreet.com·1d
🦀Rusty Databases
Automated Assessment of Data Integrity via Multi-Modal Semantic Graph Analysis
dev.to·3h·
Discuss: DEV
🛡️Archive Verification
Dependent types I › Universes, or types of types
jonmsterling.com·20h·
Discuss: Hacker News
🔤Type Theory
The Logical Argument
blog.computationalcomplexity.org·6h·
Discuss: blog.computationalcomplexity.org
🔬Logic in Computer Science
We're doing context engineering wrong
news.ycombinator.com·4h·
Discuss: Hacker News
🌳Incremental Parsing
Deep dive into Mojo object initialization
connorgray.com·10h·
Discuss: Hacker News
🦀Rust Borrowing
Inside Zig's New Writer
joegm.github.io·12h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Understanding Tool-Integrated Reasoning
arxiv.org·23h
🔗Constraint Handling