🔄 CPS Transforms

Continuation Passing Style, Control Flow, Compiler Optimizations, Functional Compilers

How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·8h·
Discuss: DEV
🪄C Metaprogramming
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🌱Minimal Lisps
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🔧Scheme Macros
Functions are Asymmetric
elbeno.com·1h
😴Lazy Evaluation
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🔀SIMD Programming
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·19h
📋JSON Parsing
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Julia 1.12 released with experimental code trimming, improved multi-threading, and more
alternativeto.net·1d
🌊Async Compilers
My War with AI Agents: When 1000-Line Prompts Met Reality
xor01.substack.com·1d·
Discuss: DEV
🎭Program Synthesis
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·15h·
Discuss: r/golang
🐹Goroutine Scheduling
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
📝Text Editors
Effects in Rust (and Koka)
aloso.foo·23h·
Discuss: r/rust
⚡Algebraic Effects
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
🎭Program Synthesis
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💬Interactive REPLs
⚙️ C in Action: Real Projects You Can Build to Master It
dev.to·7h·
Discuss: DEV
🪄C Metaprogramming
Full Browser-Based CP/M emulator – finally
retrogamecoders.com·1h·
Discuss: Hacker News
💻Terminal Control
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Languages