🧮 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·15h·
Discuss: Hacker News, r/programming
🔗Lisp
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·12h
📊Graph Databases
I'm writing a book!
laplab.me·4d
🗄️Database Internals
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·5h·
Discuss: Hacker News
📊Graph Databases
Cactus Language • Syntax 12
inquiryintoinquiry.com·10h
📝Concrete Syntax
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
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·7h
🎯Threat Hunting
Is SPL more difficult or easier than SQL?
github.com·18h·
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·1d
💾Persistence Strategies
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·12h·
Discuss: Hacker News
📋DFDL
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·20h
📝Concrete Syntax
Proving that every program halts
ntietz.com·3d
👑Isabelle
ML in the Home
blog.raymond.burkholder.net·2d
📈Time Series
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·3h·
Discuss: Hacker News
📟Terminal Typography
Join me if you can: ClickHouse vs. Databricks & Snowflake - Part 2
clickhouse.com·1d·
Discuss: Hacker News
🧠Query Planners
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·18h·
Discuss: DEV
📐Error Bounds
Godel's Incompleteness Theorem
news.ycombinator.com·9h·
Discuss: Hacker News
🔤Type Theory