🧮 SMT Solvers

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

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
My AI Workflow for Understanding Any Codebase
steipete.me·1d
⚡Proof Automation
Proving that every program halts
ntietz.com·3d
👑Isabelle
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·1d
📝Concrete Syntax
Machine Learning Fundamentals: accuracy project
dev.to·3d·
Discuss: DEV
✅Archive Validation
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·2d·
Discuss: Hacker News
⚙️TLA+
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·14h
🔗Parser Combinators
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·10h
💧Liquid Types
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·1d
💻Local LLMs
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
🧠 The Illusion of Thinking: Apple’s Deep Dive into AI’s Reasoning Limits
dev.to·1d·
Discuss: DEV
💻Local LLMs
A Minimalist Optimizer Design for LLM Pretraining
arxiv.org·3d
💻Local LLMs
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·1d
💻Local LLMs
Unbelievable Future of Enterprise AI at Data + AI Summit 2025
dev.to·7h·
Discuss: DEV
⚡Z3 Optimization
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory