Continuation Passing Style, Control Flow, Tail Calls, Functional Compilers

Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·8h
🔧Scheme Macros
Safepoints and Fil-C
fil-c.org·8h·
Discuss: Hacker News
🎯Ring Buffers
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·6h
Gleam
Combating headcrabs in the Source SDK codebase
dev.to·39m·
Discuss: DEV
🦀MIR Optimization
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·13h·
🌲Tree-sitter
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
How to Debug Chez Scheme Programs (2002)
scheme.com·15h·
Discuss: Hacker News
💬Error Message Design
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·21h·
🔮Lisp Interpreters
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·9h
📦Closure Conversion
What is Algebraic about Algebraic Effects?
interjectedfuture.com·20h
💫Effect Systems
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
Zig
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
⏭️Skip Lists
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·12h
🪜Recursive Descent
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
🔍Debugging Compilers
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·1d
🔧Error Recovery
How to build a Laravel Blade–like template engine in TypeScript?
reddit.com·16h·
Discuss: r/typescript
📋Template Compilers
Greyscale-box test-driven development
blog.ploeh.dk·17h
🧪Compiler Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
🧩Constraint Solvers