🧮 SMT Solvers

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

ICT2, the paperback!
logicmatters.net·14h
🎯Proof Tactics
Associated traits will bring Rust 1 step closer to having higher-kinded types
reddit.com·8h·
Discuss: r/rust
⚡Dependent Rust
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·21h·
Discuss: Hacker News
⚙️TLA+
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·2d·
Discuss: Hacker News
⚙️TLA+
Inside Java’s Language Renaissance
thenewstack.io·10h
🔄Language Evolution
Introducing ZMatrix: High-Performance Tensor Operations for PHP
dev.to·2d·
Discuss: DEV
⚡SIMD Vectorization
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·3d
🧮Constraint SMT
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·1d
💻Local LLMs
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·23h
📏Linear Logic
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·8h·
Discuss: DEV
🌊Streaming Compression
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
Unbelievable Future of Enterprise AI at Data + AI Summit 2025
dev.to·17h·
Discuss: DEV
⚡Z3 Optimization
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·2d
💻Local LLMs
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity