🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·1h·
Discuss: Substack
⚡Hardware Transactional Memory
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·20h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Schema changes are a people problem, not a tooling problem
motherduck.com·1h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
My Wishlist for PHP in 2026
stitcher.io·8h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
RAVR: Reference-Answer-guided Variational Reasoning for Large Language Models
arxiv.org·13h
💻Local LLMs
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·2d·
Discuss: Hacker News
🚚Data Migration
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Fine-Tuned Language Models for Domain-Specific Summarization and Tagging
arxiv.org·13h
📋Document Grammar
Flag this post
Infrastructure behind Dust deep-dive agent
blog.dust.tt·18h·
Discuss: Hacker News
🏠Homelab Archaeology
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·16h·
Discuss: Hacker News
📊Static Analysis
Flag this post
3 Minutes to Start Your Research in Nearest Neighbor Search
romanbikbulatov.bearblog.dev·23h·
Discuss: Hacker News
📏Range Queries
Flag this post
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
arxiv.org·1d
🔍Information Retrieval
Flag this post
#7 Learning Python Functions
dev.to·2h·
Discuss: DEV
🔗Lisp
Flag this post
Computing High-Frequency Factors in Real Time for Quantitative Models
medium.com·2h·
Discuss: Hacker News
🌊Streaming Databases
Flag this post
A URL to respond with when your boss says "But ChatGPT Said "
stopcitingai.com·19h·
Discuss: Hacker News, r/InternetIsBeautiful, r/webdev
🎙️Whisper
Flag this post
“Systems thinking helps me put the big picture front and center”
towardsdatascience.com·2h
🌊Stream Processing
Flag this post
Why AI agents fail without a Data Layer
dev.to·23h·
Discuss: DEV
🛡️Proof-Carrying Data
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·1d
⚡Effectful Programming
Flag this post
How to Eliminate GraphQL N+1 Query Problem in Golang with DataLoader Batching
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Flag this post
Machine Learning and CPU (Central Processing Unit) Scheduling Co-Optimization over a Network of Computing Centers
arxiv.org·13h
⚡Parallel Computing
Flag this post