📊 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
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·4h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
⏭️Skip Lists
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·10h
🔭Tracing
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·10h·
Discuss: Hacker News
🎴TAO
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·4h·
Discuss: Hacker News
🔥DataFusion
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·3h·
Discuss: r/C_Programming
🦀Rust
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·10h
🧮SMT Solvers
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·5h·
Discuss: DEV
🕸️Graph Databases
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
Inside Pinecone: Slab Architecture
pinecone.io·22h·
Discuss: Hacker News
📋Columnar Storage
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·2h
💬Prompt Engineering
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Level 3: Building the Database Foundation with Rust + PostgreSQL
manjushaps.github.io·1d·
Discuss: DEV
🌱BonsaiDb
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
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
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·17h·
Discuss: r/MachineLearning
🕸️Knowledge Graphs
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·10h
🎨Design Systems
Flag this post