🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Elasticsearch Explained with Real-Life Example: Why It Beats SQL for Search
blog.devops.dev·9h
🚀Query Optimization
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·19h
📇Dublin Core
Use it or lose it – musings on LLMs
onoffswitch.net·8h·
Discuss: Hacker News
🔄Language Evolution
Evaluating Long-Term Conversational Memory of LLM Agents
arxiv.org·1d·
Discuss: Hacker News
📝ABNF Parsing
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·14h·
Discuss: Hacker News
📐Linear Algebra
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·1d·
Discuss: Hacker News
🗄️Database Internals
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·19h
🎙️Whisper
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Anonymous structavaganza in zig
lirk.top·6h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
How To Argue With An AI Booster
wheresyoured.at·7h·
Discuss: Hacker News
⚡Proof Automation
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·3d·
Discuss: r/MachineLearning
📋Document Grammar
Study on how French people use AI
huggingface.co·11h·
Discuss: Hacker News
🤖AI Curation
Make a smart router the center of your chatbot
hoverbot.ai·18h·
Discuss: Hacker News
🌊Stream Processing
Zero to Mastery: [August 2025] Python Monthly Newsletter 🐍
zerotomastery.io·1d
🖥️Terminal Renaissance
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·2d·
Discuss: Substack
📄Text Chunking
Supervised Learning — The Heart of Modern AI
dev.to·18h·
Discuss: DEV
🧠Machine Learning
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Typeclassopedia
wiki.haskell.org·20h·
Discuss: Hacker News
🧬Functional Programming