🧮 SMT Solvers

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

My AI Workflow for Understanding Any Codebase
steipete.me·2d
⚡Proof Automation
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·4h·
Discuss: Hacker News
🔲Cellular Automata
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·2d
📝Concrete Syntax
Introducing ZMatrix: High-Performance Tensor Operations for PHP
dev.to·2d·
Discuss: DEV
⚡SIMD Vectorization
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·8h
🤖Advanced OCR
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·4d
🧮Constraint SMT
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·16h·
Discuss: DEV
🌊Streaming Compression
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·2d
💻Local LLMs
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
Gen AI & Langchain Master Class
dev.to·2d·
Discuss: DEV
🎙️Whisper
Improving Stochastic Cubic Newton with Momentum
arxiv.org·8h
🧠Machine Learning
U-R-VEDA: Integrating UNET, Residual Links, Edge and Dual Attention, and Vision Transformer for Accurate Semantic Segmentation of CMRs
arxiv.org·8h
🌀Riemannian Computing
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·3d
📏Linear Logic
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·1d
🌊Streaming Systems
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·3h·
Discuss: Hacker News
📦Container Security
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·3d
🔐Quantum Security