🎭 Staging

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

Learning Typst
sumnerevans.com·7h
🎮Language Ergonomics
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
In this small thread, I'll break down how you can create full-length movies or anime with Grok 4 Imagine.
threadreaderapp.com·7h
🌱Forth Kernels
Operable Software
ferd.ca·1d·
Discuss: Hacker News
✅Configuration Validation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🎮Language Ergonomics
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·2h·
Discuss: r/golang
🎮Language Ergonomics
Effects in Rust (and Koka)
aloso.foo·1d·
Discuss: r/rust
⚡Algebraic Effects
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🌊Gradual Typing
Selectorless Components in Angular 20+: The Secret Agents of the Modern Framework
medium.com·2h·
Discuss: DEV
⚙️TOML Parsers
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·23h·
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
MachIDE: Building a Native macOS IDE for Mach-O Decompilation from Scratch
dev.to·56m·
Discuss: DEV
🚂Cranelift Backend
Effective C++ – Hour 10
jtag.bearblog.dev·2d
🧸Toy Compilers
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
My Hacktoberfest 2025 Journey: Empowering Open Source Through Documentation
dev.to·12h·
Discuss: DEV
📚Self-Documenting Code
Java Isn't Verbose – You Are
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Should I ask my PM to restart the project setup or just go with the flow?
reddit.com·5h·
Discuss: r/webdev
🎮Language Ergonomics