📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·4h
🔧Scheme Macros
ShannonBase — The Next-Gen HTAP Database for the AI Era
dev.to·6h·
Discuss: DEV
🗄️Database Engines
Show HN: Semlib – Semantic Data Processing
github.com·19h·
Discuss: Hacker News
🔍ML Language
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·21h·
Discuss: DEV
🛡️Error Handling
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·14h·
Discuss: Hacker News
🔗Lexical Scoping
Using AI Agents for Reranking in RavenDB
ayende.com·20h
🔍Query Engines
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
How to Debug Chez Scheme Programs (2002)
scheme.com·11h·
Discuss: Hacker News
💬Error Message Design
From ASTs to RakuAST to ASTQuery
github.com·2d·
Discuss: DEV
📋Souffle Datalog
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
🧮Theorem Provers
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
🧠Semantic Parsing
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·18h
🎭Erlang OTP
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·6h·
Discuss: DEV
📋Tablegen
Caffeinated Commits- Day 3
dev.to·16h·
Discuss: DEV
🎓Teaching Compilers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Semantic Dictionary Encoding
falvotech.com·18h·
Discuss: Hacker News
🗂️Type Indexing
Fully local data analysis assistant (plus new Model)
reddit.com·6h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Automating Data Documentation with AI: How 7-Eleven Bridged the Metadata Gap
databricks.com·8h
🔄Incremental Lexing
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·8h
🪜Recursive Descent