📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

If all the world were a monorepo
jtibs.substack.com·17m·
Discuss: Substack
📦Monorepos
LLM Rerankers for RAG: A Practical Guide
fin.ai·1d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📈Earley Parsing
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·19h·
Discuss: DEV
🏗️Cranelift
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·20h·
Discuss: Hacker News
🌱Minimal Lisps
Stop Guessing, Start Testing: Level-Up Your API with Test Data in EchoAPI
echoapi.com·49m·
Discuss: DEV
💬Interactive REPLs
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·17h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Building a Universal CSV to Supabase Importer: From Messy Data to Structured Database
dev.to·4h·
Discuss: DEV
📋JSON Parsing
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·20h
🧠Semantic Parsing
How to Deal with MCP “Tool Poisoning”
dev.to·2h·
Discuss: DEV
📝Rope Editors
Greyscale-box test-driven development
blog.ploeh.dk·13h
🧪Compiler Testing
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·1d
💬Smalltalk VMs
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·1d·
Discuss: Hacker News
🛡️Error Ergonomics
Een weekend in foto’s
atog.blog·1d
📋Souffle Datalog
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·4h
⚖️Inference Rules
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·3d·
Discuss: DEV
🔗Unification
SciML Agents: Write the Solver, Not the Solution
arxiv.org·1d
🔍ML Language
Mastering JavaScript Booleans: A Complete Guide with Examples & Best Practices
dev.to·36m·
Discuss: DEV
📝Rope Editors
Local LLaMA Users: The 0~1000 Stars Semantic Firewall, Now In Human Words
reddit.com·2d·
Discuss: r/LocalLLaMA
📡Erlang BEAM