🧮 Constraint SMT

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

Reasoning Models Reason Well, Until They Don't
arxiv.org·14h
🧠Computational Logic
Flag this post
Freshman’s dream
johndcook.com·2h
⚔️Lean Tactics
Flag this post
Nonmonotonic Logic
cambridge.org·1d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
From 70K to 2K Tokens: Optimizing SQL Generation with RAG Architecture
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Modern Perfect Hashing
blog.sesse.net·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·14h
🎯Dependent Parsing
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
Agentic AI and Security
martinfowler.com·4h·
Discuss: Hacker News
💻Local LLMs
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
LEGOs, Play-Doh, and Programming
weblog.jamisbuck.org·2h·
Discuss: Hacker News
💎Information Crystallography
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·1d
⚡SIMD Vectorization
Flag this post
go schema validation
reddit.com·4h·
Discuss: r/golang
✅Format Verification
Flag this post
On-Policy Distillation
thinkingmachines.ai·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Flag this post
Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·14h
🧠Intelligence Compression
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·2d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·3h·
Discuss: Hacker News
🚚Data Migration
Flag this post
Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments
arxiv.org·14h
🔲Cellular Automata
Flag this post