Constraint Catalog
sofdem.github.io·21h
🧩Theorem Proving
Machine learning by satisfiability solving
johndcook.com·1d
📈Complexity Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·19h
🔢Mathematical Logic
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·1d
📈Complexity Theory
399. Evaluate Division
dev.to·2d·
Discuss: DEV
🔢Mathematical Logic
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·12h
🎲Probabilistic Programming
Twentyseven 1.0.0
blog.poisson.chat·23h·
Discuss: Hacker News
⚙Functional Programming
The Comprehensive Guide to Knowledge Graphs
agilelab.it·16h·
Discuss: Hacker News
🕸️Graph Theory
Understanding Budget Planning: A Step-by-Step Definition
smallbiztrends.com·1d
💭Prolog
LLM Inference: Core Bottlenecks Imposed By Memory, Compute Capacity, Synchronization Overheads (NVIDIA)
semiengineering.com·5h
⚖️Logic Programming
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·3d
⚖Algorithmic Game Theory
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
📈Complexity Theory
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·1d
🎲Probabilistic Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·19h
🔗Parser Combinators