🎭 Staging

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

TFR redux
lnebres.bearblog.dev·16h
⚡Incremental Parsing
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·3h·
Discuss: Hacker News
🎭Polymorphic Variants
Dev Services for Spring Boot Using Arconia
thomasvitale.com·3h·
Discuss: Hacker News
📦Monorepos
New setup sanity check
i.redd.it·8h·
Discuss: r/selfhosted
🛡️Capability VMs
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
FounderOS: A visual IDE idea
founderos.xyz·22h·
Discuss: Hacker News
📦Monorepos
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Languages
Introducing modrpc, a modular RPC framework
reddit.com·1d·
Discuss: r/rust
📦Message Serialization
Anyone else feels like AI crowd is mostly JS ppl ?
reddit.com·23h·
Discuss: r/devops
🔮Metacircular Evaluators
My War with AI Agents: When 1000-Line Prompts Met Reality
xor01.substack.com·2d·
Discuss: DEV
🎭Program Synthesis
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
📚Self-Documenting Code
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
📚Stack Languages
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·8h·
Discuss: r/neovim
📝Rope Editors
Show HN: I've built C# source code generator Fluent API library
github.com·2d·
Discuss: Hacker News
📋Tablegen
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·1d·
Discuss: r/reactjs
📚Stack Languages
I created and open sourced an LLM and backend orchestration system
reddit.com·2d·
Discuss: r/golang
📋Tablegen
⚙️ C in Action: Real Projects You Can Build to Master It
dev.to·1d·
Discuss: DEV
🪄C Metaprogramming
LLM fun: image directory webpage and archive
dev.to·10h·
Discuss: DEV
🏠indieweb