📊 Datalog

Logic Programming, Query Languages, Graph Algorithms, Analysis

Feeds to Scour
SubscribedAll
Scoured 147411 posts in 2.01 s
Graph Pattern-based Association Rules Evaluated Under No-repeated-anything Semantics in the Graph Transactional Setting
arxiv.org·17h
🌐Distributed Systems
Preview
Report Post
Datomic introduction articles, using SQL
github.com·1d·
Discuss: Lobsters
💾Database Systems
Preview
Report Post
Technical Perspective: Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language
cacm.acm.org·4h
⚙Programming Language Design
Preview
Report Post
Architecture question: AI system that maintains multiple hypotheses in parallel and converges via constraints (not recommendations)
reddit.com·7h·
Discuss: r/LLM
🌐Distributed Systems
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·1h·
Discuss: Hacker News
🦀Rust
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Meta-Logic Sentry (AMLS), for dynamically verifying the logical correctness of complex forma...
freederia.com·16h
⚙Programming Language Design
Preview
Report Post
Database Research needs an Abstract Relational Query Language
arxiv.org·2d
💾Database Systems
Preview
Report Post
Advent of Code 2025 week 1
blog.firedrake.org·13h
🦀Rust
Preview
Report Post
Announcing support for GROUP BY, SUM, and other aggregation queries in R2 SQL
blog.cloudflare.com·8h
💎Materialized Views
Preview
Report Post
From Scripter to Architect in the Age of AI
dev.to·1d·
Discuss: DEV
⚙Programming Language Design
Preview
Report Post
Optimal Chunking for Ontology RAG: Empirical Analysis & Orphan Axiom Problem
semanticweb.org·32m·
Discuss: DEV
🔨Compilers
Preview
Report Post
Relational database integration with RDF/OWL
snee.com·2d
💾Database Systems
Preview
Report Post
LAI #106: Choosing the Right Shape for AI Systems
pub.towardsai.net
·7h
⚙Programming Language Design
Preview
Report Post
Learning to Rank with Clojure – how we run our ML pipelines reliably
otto.de·1d
⚙Programming Language Design
Preview
Report Post
The Subset Sum Problem Solved in Linear Time for Dense Enough Inputs | Towards Data Science
towardsdatascience.com·8h
🌐Distributed Systems
Preview
Report Post
Show HN: SourceMinder, a Context Aware Code Search for Solo Devs and Claude Code
ebcode.com·18h·
Discuss: Hacker News
⚙Programming Language Design
Preview
Report Post
“Boolean Algebra Using Finite Sets and Complements.” Tell me anything you can think of related to this area.
reddit.com·20h·
Discuss: r/compsci
🧩Logic
Preview
Report Post
GraphQL stitching vs db replication
dba.stackexchange.com·7h·
Discuss: r/programming
💎Materialized Views
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
⚙Programming Language Design
Preview
Report Post
Denotational vs operational
ericnormand.substack.com·2d·
Discuss: Substack
⚙Programming Language Design
Preview
Report Post