🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·3h
⛏️SQL Archaeology
Roll Your Own Virtual Ontology with Claude Code
github.com·1d·
Discuss: Hacker News
📋Document Grammar
SAT Requires Exhaustive Search
link.springer.com·11h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Software Internals Book Club
eatonphil.com·1h
⚙️Operating System Design
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·18h
📝Concrete Syntax
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·6h·
Discuss: Hacker News
📊Citation Graphs
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·23h·
Discuss: Hacker News
🔒Linear Types
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·11h·
Discuss: DEV
🦀Rust Macros
N+1 query problem : what it is, why it hurts performance, and how to fix it
namitjain.com·1d·
Discuss: r/programming
💾SQLite
Those Titles the AI Bot Thought I Had Written
bsdly.blogspot.com·36m·
Discuss: bsdly.blogspot.com
🧪Archive Fuzzing
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·3h
📋Formal Verification
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·3h
🧮Kolmogorov Complexity
Learning Programming Languages Efficiently
flyingmachinestudios.com·9h·
Discuss: Hacker News
🌳Incremental Parsing
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·3h
🔄Finite State Machines
Using Dspy to Detect Document Boundaries
kmad.ai·2d·
Discuss: Hacker News
📄Document Digitization
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
5 Routine Tasks That ChatGPT Can Handle for Data Scientists
kdnuggets.com·19h
🌊Stream Processing
The Comprehensive Guide to Knowledge Graphs
agilelab.it·4d·
Discuss: Hacker News
📊Graph Databases
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·3h
🔍Information Retrieval
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory