🔄 CPS Transform

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

Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
🧮Theorem Provers
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
⚡functional programming
JIT-ing a stack machine (with SLJIT)
bullno1.com·3h·
Discuss: Hacker News, r/C_Programming
📜Bytecode Interpreters
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
🔗Lexical Scoping
SOLID Principles for Python Developers
dev.to·15h·
Discuss: DEV
🎭Racket Modules
K&R Exercise 1-23 for feedback and review
reddit.com·6h·
Discuss: r/C_Programming
📝Rope Editors
Understanding stdin/stdout: Building CLI Tools Like a Pro
dev.to·1d·
Discuss: DEV
🐚Shell Languages
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·9h·
Discuss: Hacker News
🏗️Cranelift
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
ISO C++ committee has a new chief sheep herder
shape-of-code.com·1d
🔬Nanopasses
Feedback on my first library
reddit.com·10h·
Discuss: r/rust
🚂Cranelift Backend
Semantic Dictionary Encoding
falvotech.com·15h·
Discuss: Hacker News
🗂️Type Indexing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·16h·
Discuss: Hacker News
🏛️Elm Architecture
Swift 6.2 Released
swift.org·20h
🦉Swift Interpreters
The future of microoptimization
goldenstack.net·3d·
Discuss: Hacker News
🔬Nanopasses
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·11h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
From ASTs to RakuAST to ASTQuery
github.com·2d·
Discuss: DEV
📋Souffle Datalog
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization