🧮 Datalog

Logic Programming, Database Queries, Recursive Rules, Knowledge Graphs

Computational understanding of Li-ion batteries (2016)
nature.com·23h·
Discuss: Hacker News
🗄️SQLite Internals
ACP Agent Communication Protocol Course with Deeplearning.ai
learn.deeplearning.ai·17h·
Discuss: Hacker News
🔄Session Type Inference
What are we missing out on when we think Transformer is unreasonable in biology?
dmf-archive.github.io·5h·
Discuss: Hacker News
⚙️Logic Synthesis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Show HN: Rain-A theory of intelligence beyond Transformers, based on rhythm
medium.com·2d·
Discuss: Hacker News
🔲Cellular Automata
👨‍💻 Help Build jflatfb – A Brand New Python Tool! Contributions, Stars & Feedback Welcome!
dev.to·1d·
Discuss: DEV
🔗Lisp
Agentic AI SQL Assistant
dev.to·6d·
Discuss: DEV
🗄️Database Internals
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🔗Concatenative Programming
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·3d
📋Document Grammar
Are You Being Unfair to LLMs?
towardsdatascience.com·2d
💻Local LLMs
How I Trained an AI Model to Decide Which Uber Eats Orders Are Worth Accepting — and Regained 50% Lost Income
dev.to·10h·
Discuss: DEV
🧠Machine Learning
CogniSQL-R1-Zero: Lightweight Reinforced Reasoning for Efficient SQL Generation
arxiv.org·4d
🌀Brotli Internals
Machine Learning Fundamentals: data augmentation project
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·4d
🧮SMT Solvers
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🎙️Whisper
🪙 Coin Change: Understanding the Problem with Two Dynamic Programming Approaches
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·3d
🗣️Domain-Specific Languages
Beyond the Linear Separability Ceiling
arxiv.org·2d
🧠Machine Learning
Think Your AI Understands You? It Already Started Responding
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Build a Super-Smart Chatbot: Your Guide to RAG with Pinecone, OpenAI, and Claude 3.5 Sonnet
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms