📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

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·13h·
Discuss: DEV
🧮Theorem Provers
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·7h·
Discuss: Hacker News
🔗Lexical Scoping
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·14h·
Discuss: DEV
🛡️Error Handling
Using AI Agents for Reranking in RavenDB
ayende.com·14h
🔍Query Engines
How to Debug Chez Scheme Programs (2002)
scheme.com·4h·
Discuss: Hacker News
💬Error Message Design
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·22h
🧠Semantic Parsing
Show HN: Semlib – Semantic Data Processing
github.com·12h·
Discuss: Hacker News
🔍ML Language
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·11h
🎭Erlang OTP
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·17h
🪢Rope Data Structures
Caffeinated Commits- Day 3
dev.to·9h·
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·11h·
Discuss: Hacker News
🗂️Type Indexing
Automating Data Documentation with AI: How 7-Eleven Bridged the Metadata Gap
databricks.com·1h
🔄Incremental Lexing
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·6h·
Discuss: DEV
🏷️Attribute Grammars
I made a library to stop writing giant switch statements for Go errors
reddit.com·1h·
Discuss: r/golang
🛡️Error Handling
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·2h
🪜Recursive Descent
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
25 Tricky SQL Query Interview Questions with Answers [2025]
mygreatlearning.com·1d
📊Query Optimizers