🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Three challenges in machine-based reasoning
amazon.science·15h·
Discuss: Hacker News
🧮Theorem Proving
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·16h
📏Linear Logic
How To Solve Every Programming Problem
blog.codeminer42.com·1h
📐Interval Arithmetic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·20h·
Discuss: Lobsters
🔗Functional Compilers
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·8h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
DSPy Simba Explained
blog.mariusvach.com·22h·
Discuss: Hacker News
🧮SMT Solvers
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·5h·
Discuss: Hacker News
⚡Proof Automation
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·4h·
Discuss: Hacker News
💻Programming languages
Software books I wish I could read
buttondown.com·7h·
Discuss: Hacker News
🔄Language Evolution
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·22h·
Discuss: Hacker News
🌳Incremental Parsing
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·16h
📊Learned Metrics
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic