🎭 Staging

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

Notes on using LaTeX to generate formulae
eli.thegreenplace.net·12h
✨Format Preserving
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·1d·
Discuss: Hacker News
📡Erlang BEAM
XProc 3 Steps as XSpec Test Helper Functions
medium.com·1d
🔧Error Recovery
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🌲Deforestation
FounderOS: A visual IDE idea
founderos.xyz·1d·
Discuss: Hacker News
📦Monorepos
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
The Alien Artifact: DSPy and the Cargo Cult of LLM Optimization
data-monger.com·8h·
Discuss: Hacker News
🌱Minimal ML
2025-10-10 # LLMs Are Transpilers
alloc.dev·2d·
Discuss: Hacker News
🎮Language Ergonomics
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
📚Self-Documenting Code
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
📚Stack Languages
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
jlrs 0.22: Julia version autodetection, async closure support, and more!
reddit.com·11h·
Discuss: r/rust
🦀MIR Optimization
Revolutionizing Wine Industry Technology: Why Micro Frontends Require Specialized Expertise
dev.to·4h·
Discuss: DEV
🔗Language Toolchains
Streaming...(AI Thought Process?)
reddit.com·3h·
Discuss: r/u_Eastern-Pin4281
⚖️Inference Rules
The Library Method: Understanding @cache
dev.to·2d·
Discuss: DEV
🎯Symbolic Execution
I built a community crowdsourced LLM benchmark leaderboard (Claude Sonnet/Opus, Gemini, Grok, GPT-5, o3)
reddit.com·5h·
Discuss: r/webdev
🏁Language Benchmarks
I created and open sourced an LLM and backend orchestration system
reddit.com·2d·
Discuss: r/golang
📋Tablegen
From Docker Containers to Kubernetes Pods: Deploying My First Microservices Platform
dev.to·3h·
Discuss: DEV
📦Monorepos
LLM fun: image directory webpage and archive
dev.to·17h·
Discuss: DEV
🏠indieweb
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics