🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·1h
📊Graph Databases
I'm writing a book!
laplab.me·3d
🗄️Database Internals
I Built a Database from Scratch in Go - Here's What I Learned About B+ Trees, ACID Transactions, and 1,800 ops/sec Performance 🚀
dev.to·1d·
Discuss: DEV
🗄️SQLite Internals
Is SPL more difficult or easier than SQL?
github.com·6h·
Discuss: Hacker News
⛏️SQL Archaeology
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·19h
💾Persistence Strategies
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·59m·
Discuss: Hacker News
📋DFDL
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Database Relationships Explained: From Theory to Rails Implementation From Core Concepts to Building Robust Rails Applications
blog.codeminer42.com·1d
🗄️Database Internals
Proving that every program halts
ntietz.com·2d
👑Isabelle
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·15h
🧮Prolog Parsing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·7h·
Discuss: DEV
📐Error Bounds
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·6h
🗃️Database Storage
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
StrataScratch's Advanced 25 Hard SQL Questions
dev.to·1d·
Discuss: DEV
🧠Query Planners