🧮 SMT Solvers

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

Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·6h
📏Linear Logic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Three challenges in machine-based reasoning
amazon.science·5h·
Discuss: Hacker News
🧮Theorem Proving
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·2h
🧮Z3 Solver
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·21h·
Discuss: www.blogger.com
🌳Persistent Data Structures
DSPy Simba Explained
blog.mariusvach.com·12h·
Discuss: Hacker News
🧮Z3 Solver
Why Computer Science Is No Good, Redux
cacm.acm.org·17h
🎯Performance Proofs
Double Maths First Thing: Issue 30
aperiodical.com·2h
📐Mathematical Art
Machine Learning Fundamentals: model evaluation project
dev.to·17h·
Discuss: DEV
📏Code Metrics
How the Lean language brings math to coding and coding to math
amazon.science·16h·
Discuss: Hacker News
🔬Lean
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·15h
🔬Refinement Types
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·22h·
Discuss: Hacker News
📼Tape Combinators
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·6h
✨Effect Handlers
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·6h
🎯Performance Proofs
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·16h·
Discuss: Hacker News
💧Liquid Types