🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Cactus Language • Stylistics 4
inquiryintoinquiry.com·11h
🌳Context free grammars
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Smarter AI for Critical Operations: Why Data Matters
thenewstack.io·10h
🌊Stream Processing
Where Does All the Data Go? Unveiling the Magic of Databases! 💾
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Hierarchical Modeling (H-Nets)
cartesia.ai·7h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
Discussing Decision Trees: What Makes a Good Split?
machinelearningmastery.com·15h
🌳Huffman Trees
Students, here are 5 key things to know when learning how to train large language models
techradar.com·9h
💻Local LLMs
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·12h·
Discuss: Hacker News
📝Log Parsing
Billions of Edges per Second with Postgres
onesparse.com·8h·
Discuss: Hacker News
🗜️Graph Compression
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🎯Interactive Provers
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Historical highlights?
logicmatters.net·16h
🔀Category Theory
The Future of AI Agent Communication with ACP
towardsdatascience.com·11h
🔌Interface Evolution