🌳 Tree Walking

Interpreter Implementation, AST Traversal, Minimal Compilers, Educational

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🔄Incremental Lexing
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
Wild and Dangling Pointers in C
dev.to·18m·
Discuss: DEV
🏷️Memory Tagging
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·15h·
Discuss: DEV
💬Interactive REPLs
Building Vajra: My Journey Creating an AI Coding Assistant
chatgpt.com·2d·
Discuss: DEV
🎮Language Ergonomics
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📝Text Algorithms
Java Isn't Verbose – You Are
dev.to·18h·
Discuss: DEV
🎮Language Ergonomics
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
📋JSON Parsing
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🎭Program Synthesis
Logical Operators & Control Flow
github.com·19h·
Discuss: DEV
🎭Delimited Continuations
Unforgettable factory revisited
holyblackcat.github.io·1d·
Discuss: r/cpp
🪆Embedded DSLs
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🎭Program Synthesis
11 Best Rust Courses Worth Taking in 2026
educative.io·2d·
Discuss: DEV
🚂Cranelift IR
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔀SIMD Programming
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·16h·
Discuss: r/programming
🐍lisp
The Conveyor Belt Protocol: Understanding Iterators
dev.to·1h·
Discuss: DEV
🪢Rope Data Structures