🎭 Staging

Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
📡Erlang BEAM
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·11h·
Discuss: r/programming
🎮Language Ergonomics
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
Effects in Rust (and Koka)
aloso.foo·1d·
Discuss: r/rust
⚡Algebraic Effects
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·21h·
Discuss: Hacker News
📚Self-Documenting Code
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🎮Language Ergonomics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
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·21h·
Discuss: r/golang
🐹Goroutine Scheduling
English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🎮Language Ergonomics
Anyone else feels like AI crowd is mostly JS ppl ?
reddit.com·8h·
Discuss: r/devops
🔮Metacircular Evaluators
Refactoring Without Restarting: What 6 Months of Rebuilding My CodeIgniter App Taught Me About Growth
npmjs.com·3d·
Discuss: DEV
📦Monorepos
CReact - JSX for the Cloud
github.com·9h·
Discuss: Hacker News, r/node, r/programming, r/reactjs
⚙️Configuration Languages
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·2d·
Discuss: DEV
📦Monorepos
XProc 3 Steps as XSpec Test Helper Functions
medium.com·12h
🔧Error Recovery
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
🎭Program Synthesis
FounderOS: A visual IDE idea
founderos.xyz·8h·
Discuss: Hacker News
📦Monorepos
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers