🎭 Staging

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

TFR redux
lnebres.bearblog.dev·12h
⚡Incremental Parsing
What is Dependency Injection in Laravel?
laravel.com·1d·
Discuss: DEV
🔧API Design
New setup sanity check
i.redd.it·4h·
Discuss: r/selfhosted
🛡️Capability VMs
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
FounderOS: A visual IDE idea
founderos.xyz·18h·
Discuss: Hacker News
📦Monorepos
Generating Your Website from Scratch for Remixing and Exploration
tympanus.net·2d
⚡Live Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Three ways formally verified code can go wrong in practice
buttondown.com·21h
📜Proof Languages
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
🎭Program Synthesis
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·3h·
Discuss: r/neovim
📝Rope Editors
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·3d·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
SE371 - Assignment 1
dev.to·12h·
Discuss: DEV
📚Self-Documenting Code
The Pain Driven Workflow
magistr.me·1d·
Discuss: Hacker News
📚Self-Documenting Code
Refactoring Release 0.1 for Better Structure and Maintainability
dev.to·16h·
Discuss: DEV
🚚Code Migration
Java Isn't Verbose – You Are
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Introducing modrpc, a modular RPC framework
reddit.com·1d·
Discuss: r/rust
📦Message Serialization
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
📚Stack Languages
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
I Built a Tool-Calling AI From Scratch, and Here's What the Bugs Taught Me
dev.to·11h·
Discuss: DEV
✨Gleam
I created and open sourced an LLM and backend orchestration system
reddit.com·2d·
Discuss: r/golang
📋Tablegen