🧮 Constraint SMT

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

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Issue 481
haskellweekly.news·2h
🔗Functional Compilers
This “smart coach” helps LLMs switch between text and code
news.mit.edu·10h
💻Local LLMs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·14h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·10h
🕸️Algebraic Topology
How to actually use Model Context Protocol
seangoedecke.com·14h
⚡Proof Automation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·17m
🔌Interface Evolution
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1h·
Discuss: Hacker News
🤝Distributed Consensus
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·3h·
Discuss: Hacker News
✨Effect Handlers
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·10h
📏Linear Logic
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·7h
📜Proof Carrying Code
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
A Wide Reduction Trick (2022)
words.filippo.io·11h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
AtCoder Finals Problem Statement
atcoder.jp·21h·
Discuss: Hacker News
🇯🇵Japanese Computing
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·16h
💻Local LLMs