📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·16h·
Discuss: Hacker News
🌱Minimal Lisps
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·13h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
🧠Semantic Parsing
Greyscale-box test-driven development
blog.ploeh.dk·9h
🧪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·23h·
Discuss: Hacker News
🛡️Error Ergonomics
Een weekend in foto’s
atog.blog·20h
📋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·50m
⚖️Inference Rules
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·3d·
Discuss: DEV
🔗Unification
From SQL to Python: Uniting Stored Power with Functional Flexibility
dev.to·3d·
Discuss: DEV
🗃️Query Compilation
SciML Agents: Write the Solver, Not the Solution
arxiv.org·1d
🔍ML Language
Local LLaMA Users: The 0~1000 Stars Semantic Firewall, Now In Human Words
reddit.com·2d·
Discuss: r/LocalLLaMA
📡Erlang BEAM
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Manticore Search 13.11.0: Introducing Auto Embeddings and Enhanced AI Search
dev.to·14h·
Discuss: DEV
🌿Trie Structures
Which LLM Should I Use as a Developer?
idiallo.com·1d
🎮Language Ergonomics
Linkage
11011110.github.io·12h
🧮Combinator Calculus
Balance between refactoring and inheritance in your code
github.com·16h·
Discuss: Hacker News
🧪Compiler Testing
Typescript : Generic Data Fetch
dev.to·52m·
Discuss: DEV
🔧API Design
Algebraic Types are not Scary
blog.aiono.dev·18h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking