Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·43m
🔧Scheme Macros
ShannonBase — The Next-Gen HTAP Database for the AI Era
dev.to·2h·
Discuss: DEV
🗄️Database Engines
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·49m
🪜Recursive Descent
From ASTs to RakuAST to ASTQuery
github.com·2d·
Discuss: DEV
🔧Error Recovery
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·14h
🎭Erlang OTP
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🗂️Type Indexing
How We Reimagined SQL Query Building to Be Smarter, Safer, and Simpler (Introducing `mysql2-dx` v1.1.0)
npmjs.com·17h·
Discuss: DEV
🛡️Error Handling
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🧮Theorem Provers
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
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
🔗Lexical Scoping
Fully local data analysis assistant (plus new Model)
reddit.com·2h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
How to Debug Chez Scheme Programs (2002)
scheme.com·7h·
Discuss: Hacker News
💬Error Message Design
Using AI Agents for Reranking in RavenDB
ayende.com·16h
🔍Query Engines
Caffeinated Commits- Day 3
dev.to·12h·
Discuss: DEV
🎓Teaching Compilers
Revel: My Experiment in Infinite, Portable Note-Taking with C and GTK4
velostudio.github.io·7h·
Discuss: r/C_Programming
💬Smalltalk VMs
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·4h
🪜Recursive Descent
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·2h·
Discuss: DEV
📋Tablegen
SciML Agents: Write the Solver, Not the Solution
arxiv.org·1d
🔍ML Language
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
New C++ Conference Videos Released This Month - September 2025
reddit.com·11h·
Discuss: r/cpp
🎓Teaching Compilers