🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Coffee Break: AI in Healthcare and Science, the Nature of Charisma, and a Cure from a Mouse to a Patient
nakedcapitalism.com·17h
🔲Cellular Automata
Enable AI agents to find and access any data product while enforcing governance
github.com·2d·
Discuss: Hacker News
📦METS Packaging
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·4d·
Discuss: Hacker News
💻Programming languages
The Bitter Lesson (2025)
artfintel.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Build a RAG-based AI assistant with Quarkus and LangChain
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
CogniSQL-R1-Zero: Lightweight Reinforced Reasoning for Efficient SQL Generation
arxiv.org·3d
🌀Brotli Internals
How Linear Regression Works: Predictive ML Explained with Python Demo
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·3d
🧮SMT Solvers
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
(Attempting to) Engineer the chaos out of AI agents
dev.to·17h·
Discuss: DEV
⚔️Lean Tactics
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🎙️Whisper
Key Points for Logging with Python's logging Module
dev.to·1d·
Discuss: DEV
📝Log Parsing
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🗣️Domain-Specific Languages
Beyond the Linear Separability Ceiling
arxiv.org·1d
🧠Machine Learning
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·1d
🔤Type Theory
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·1d·
Discuss: Substack
⚙️TLA+
Machine Learning Fundamentals: data augmentation
dev.to·19h·
Discuss: DEV
⚡Incremental Computation
🚀 Grok 4 Has Arrived: A New Era in AI Reasoning, Coding, and Real-Time Insight
dev.to·1d·
Discuss: DEV
🌀Brotli Internals