⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
My AI Workflow for Understanding Any Codebase
steipete.me·14h
⚡Proof Automation
Program Execution, follow-up
windowsir.blogspot.com·12h·
Discuss: www.blogger.com
⚡Performance Tools
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·1h
🔬Binary Analysis
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Software Architecture Styles : Monolith, Modulith, Micro-services, which option is better for you
dev.to·3h·
Discuss: DEV
💧Liquid Types
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·18h
📝Concrete Syntax
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
Boosting Developer Productivity with AI: Faster Dashboards, Automated Testing, and 70% Less Setup Time
engineering.salesforce.com·11h
🔄Reproducible Builds
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·3h·
Discuss: DEV
🦀Rust Borrowing
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·10h·
Discuss: Hacker News
📋DFDL
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Scaling Pinterest ML Infrastructure with Ray: From Training to End-to-End ML Pipelines
medium.com·1d·
Discuss: Hacker News
🧮Z3 Applications
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs