📋 Datalog

Logic Programming, Recursive Queries, Static Analysis, Souffle

In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·8h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
Status Week 37
blogs.gnome.org·12h
⚙️TOML Parsers
Linkage
11011110.github.io·15h
🧮Combinator Calculus
Algebraic Types are not Scary
blog.aiono.dev·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Announcing datalit: A macro to generate fluent, readable static binary data
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Typescript : Generic Data Fetch
dev.to·3h·
Discuss: DEV
🔧API Design
original ↗
blog.djnavarro.net·2d
📝Rope Editors
The Horton-Strahler number of butterfly trees
arxiv.org·3h
🧮Combinator Calculus
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·3h
🪜Recursive Descent
Launch day!
ptitpoly.itch.io·1d
📚Stack Languages
Home Page
pembinavalleyonline.com·3h
🏠indieweb
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Implementing the Coffee Machine Project in Python Using Object Oriented Programming
towardsdatascience.com·12h
🔗Concatenative Languages
Guys, Table driven tests rocks
reddit.com·2h·
Discuss: r/golang
🧪Parser Testing
AMLNet: A Knowledge-Based Multi-Agent Framework to Generate and Detect Realistic Money Laundering Transactions
arxiv.org·3h
🎯Finite Automata
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·1d·
Discuss: DEV
🌊Dataflow Languages
Productive AI Programming Using Forced Context Distillation
jx0.ca·18h·
Discuss: Hacker News
💬Interactive REPLs
Following my passion #2: position vector and learning more Zig
dev.to·5h·
Discuss: DEV
⚡Zig
Feedback on my first library
reddit.com·12h·
Discuss: r/rust
🚂Cranelift Backend
The Rise of Semantic Entity Resolution
towardsdatascience.com·1d
🌳Tree Diffing