🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

A.I. Is Coming for Culture
newyorker.com·16h
🎯Content Recommendation
Variations on Knuth’s Twindragon
johndcook.com·8h·
Discuss: Hacker News
📐Mathematical Art
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·36m·
Discuss: Substack
🔩Systems Programming
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Typeclassopedia
wiki.haskell.org·23h·
Discuss: Hacker News
🧬Functional Programming
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·12h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·9h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
A Review of Developmental Interpretability in Large Language Models
arxiv.org·22h
🤖Grammar Induction
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·14h
🌀Brotli Dictionary
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·9h
⚡Proof Automation
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·8h·
Discuss: DEV
👁️System Observability
Trading Grids: A Technical Deep Dive
koolcodez.com·16h·
Discuss: Hacker News
🌊Stream Processing
RoMedQA: The First Benchmark for Romanian Medical Question Answering
arxiv.org·22h
🌀Brotli Internals
Go and SQLite Best Practices
jacob.gold·21h·
Discuss: Hacker News
💾SQLite
My Journey with Sentence Transformers, OpenAI Embeddings, and Vector Databases
dev.to·17h·
Discuss: DEV
🗂️Vector Databases
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·15h·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
LLMs and the Russellian Inversion
philosophicalhacker.com·1d·
Discuss: Hacker News
💻Programming languages
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·22h
🧠Machine Learning
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·22h
💾Binary Linguistics