🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Feeds to Scour
SubscribedAll
Scoured 13170 posts in 1.13 s
Automated Theorem Proving for Prolog Verification
arxiv.org·15h
🧮Theorem Proving
Preview
Report Post
Against the Grain
theprogrammersparadox.blogspot.com·3h·
Discuss: theprogrammersparadox.blogspot.com
🗄️Database Internals
Preview
Report Post
Implementing a (Vibed) LLM Coding Agent in Prolog
deepclause.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Preview
Report Post
Semantic Search Without Embeddings
softwaredoug.com·20h
🔍Semantic Search
Preview
Report Post
Databricks
dev.to·11h·
Discuss: DEV
🧪Data science
Preview
Report Post
From Chains to Graphs: Self-Structured Reasoning for General-Domain LLMs
arxiv.org·15h
🔄Graph Rewriting
Preview
Report Post
Gunnar Wolf• Artificial Intelligence • Play or break the deck
gwolf.org·1d
🔲Cellular Automata
Preview
Report Post
Automating Log Collection to Datadog: A Simple App and Configuration Guide
blog.devops.dev
·9h
🤖Archive Automation
Preview
Report Post
Ontology and Information Systems - Encyclopedia of Philosophy
plato.stanford.edu·20h·
Discuss: Hacker News
🗂️Information Architecture
Preview
Report Post
Data Modeling for RAG That Works
thehyperplane.substack.com·1d·
Discuss: Substack
🤖Archive Automation
Preview
Report Post
What It Takes To Scale AI Agents in Production
thenewstack.io·2d
⚡Incremental Computation
Preview
Report Post
Chronology as a Consistency Invariant in Composable Information Systems
arxiv.org·15h
🔄Lens Laws
Preview
Report Post
Program Reduction: A Win for Recursion Schemes
newartisans.com·3d
🔗Functional Compilers
Preview
Report Post
Powerful Local AI Automations with n8n, MCP and Ollama
kdnuggets.com·5h
🤖Archive Automation
Preview
Report Post
Understanding SQL Parsers
nishchith.com·2d·
Discuss: Hacker News
🌲Parse Trees
Preview
Report Post
When I Discovered Recursive Intelligence
dev.to·20h·
Discuss: DEV
✨Effect Handlers
Preview
Report Post
FalkorDB/Neo4j-to-FalkorDB: Tools to migrate dataset from Neo4j. Use it to load to FalkorDB nodes, edges, indexes and constrains.
github.com·16h
🕸️Neo4j
Preview
Report Post
Semantic search: making it easier to find the information readers want
diff.wikimedia.org·5h
🔍Semantic Search
Preview
Report Post
The Hazy Haskell Compiler
discourse.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Sandwich Reasoning: An Answer-Reasoning-Answer Approach for Low-Latency Query Correction
arxiv.org·15h
🧮Datalog Systems
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help