🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Meet the gang
forums.anandtech.com·7h
🔱plan 9
Flag this post
Too much social media gives AI chatbots ‘brain rot’
nature.com·2d
🧠Intelligence Compression
Flag this post
Issue 496
haskellweekly.news·3d
🔗Functional Compilers
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.com·18h·
Discuss: Hacker News
📦Git LFS
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Flag this post
Do AI Browsers Exist For You - or To Give AI Companies Data?
tech.slashdot.org·16h
🤖AI Curation
Flag this post
Writing a DOS Clone in 2019
medium.com·3h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News
🔒Type Safety
Flag this post
Schema changes are a people problem, not a tooling problem
motherduck.com·3d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Teach your RAG to learn from its mistakes — the smart way
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Build Your Own Forum with FastAPI: Step 8 - Full Text Search
dev.to·2d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·3d·
Discuss: DEV
🤖Advanced OCR
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.to·8h·
Discuss: DEV
📐Mathematical Art
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
💻Local LLMs
Flag this post
I Built a Nigerian Bank USSD AI Agent
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Flag this post
Automated Verification of Terrestrial Ecosystem Resilience via Hyperdimensional Network Analysis
dev.to·23h·
Discuss: DEV
🕸️Algebraic Topology
Flag this post
M^3Detection: Multi-Frame Multi-Level Feature Fusion for Multi-Modal 3D Object Detection with Camera and 4D Imaging Radar
arxiv.org·3h
🏺Computational Archaeology
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·1d·
Discuss: DEV
📜Family History Data
Flag this post
Linking Heterogeneous Data with Coordinated Agent Flows for Social Media Analysis
arxiv.org·3d
📥Feed Aggregation
Flag this post