📊 Datalog

Logic Programming, Query Languages, Graph Algorithms, Analysis

Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·5h·
Discuss: Hacker News
🎴TAO
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·22h
🎭Program Synthesis
Flag this post
Lowering in Reverse
buttondown.com·1d
🔥DataFusion
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·18h·
Discuss: DEV
🌳Data Structures
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🧮SMT Solvers
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·12h·
Discuss: r/programming
λFunctional Programming
Flag this post
Snowflake builds new intelligence that goes beyond RAG to query and aggregate thousands of documents at once
venturebeat.com·18h
🔥DataFusion
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·2d
🔍Query Optimization
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·54m·
Discuss: DEV
🕸️Graph Databases
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·17h·
Discuss: Hacker News
📋Columnar Storage
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
💬Prompt Engineering
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·19h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·12h·
Discuss: r/MachineLearning
🕸️Knowledge Graphs
Flag this post
How Datadog Built a Custom Database to Ingest Billions of Metrics Per Second
blog.bytebytego.com·18h
🗄️Database Engines
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·3h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·1d
🔍RAG
Flag this post