A Slotted Hash Cons for Alpha Invariance
philipzucker.com·5h·
Discuss: Hacker News
λLambda Calculus
Semantic Dictionary Encoding
falvotech.com·9h·
Discuss: Hacker News
🗂️Type Indexing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·9h·
Discuss: www.blogger.com
🔮Lisp Interpreters
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·1h·
Discuss: Lobsters
🌲Tree-sitter
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·15h
🪢Rope Data Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.com·8h
💫Effect Systems
From ASTs to RakuAST to ASTQuery
github.com·1d·
Discuss: DEV
📋Souffle Datalog
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🪞Homoiconicity
How to Debug Chez Scheme Programs (2002)
scheme.com·2h·
Discuss: Hacker News
💬Error Message Design
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
Conquering the LLM Memory Wall: How to Run 2–4x Longer Contexts with a Single Line of Code
reddit.com·12h·
Discuss: r/LocalLLaMA
🗺️Region Inference
Using AI Agents for Reranking in RavenDB
ayende.com·12h
🔍Query Engines
Algebraic Types are not Scary
blog.aiono.dev·13h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Swift 6.2 Released
swift.org·14h
🦉Swift Interpreters
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·12h
🔧Error Recovery
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·20h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·11h·
Discuss: Hacker News
🌱Minimal Lisps
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·20h
⚖️Inference Rules
Balance between refactoring and inheritance in your code
github.com·12h·
Discuss: Hacker News
🧪Compiler Testing