🎭 Staging

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

TFR redux
lnebres.bearblog.dev·19h
⚡Incremental Parsing
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·6h·
Discuss: Hacker News
🎭Polymorphic Variants
Dev Services for Spring Boot Using Arconia
thomasvitale.com·6h·
Discuss: Hacker News
📦Monorepos
New setup sanity check
i.redd.it·11h·
Discuss: r/selfhosted
🛡️Capability VMs
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🌲Deforestation
FounderOS: A visual IDE idea
founderos.xyz·1d·
Discuss: Hacker News
📦Monorepos
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·1d
📜Proof Languages
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
📚Self-Documenting Code
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
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·11h·
Discuss: r/neovim
📝Rope Editors
⚙️ 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·13h·
Discuss: DEV
🏠indieweb
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Memgoose – An In-Memory Mongoose Impersonator
github.com·13h·
Discuss: Hacker News
📡Protocol Buffers
11 months AI coding journey - tools, tech stack, best practices (long post with screenshots)
reddit.com·8h·
Discuss: r/ClaudeAI
🔄Bootstrapping
Show HN: Using Haskell to write an NES emulator
github.com·2h·
Discuss: Hacker News
⚡functional programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Unification Algorithms