🎭 Staging

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

TFR redux
lnebres.bearblog.dev·1d
⚡Incremental Parsing
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·22h·
Discuss: Hacker News
🎭Polymorphic Variants
New setup sanity check
i.redd.it·1d·
Discuss: r/selfhosted
🛡️Capability VMs
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Languages
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔍ML Language
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
International Programme on AI Evaluations
lesswrong.com·6h
💬Interactive REPLs
Building a Scalable Laravel Application with Domain-Driven Design (DDD)
dev.to·22h·
Discuss: DEV
🎨Domain-Specific Languages
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·1d·
Discuss: r/neovim
📝Rope Editors
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·2d
🔍ML Language
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com·14h·
Discuss: r/homelab
🐚Shell Languages
Day 29 of python code series..
github.com·2h·
Discuss: DEV
💬Interactive REPLs
AI for Refactoring: Making Legacy Code Clean and Future-Ready
dev.to·2d·
Discuss: DEV
🚚Code Migration
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·1d·
Discuss: r/LLM
🐹Go Internals
Anatomy of a package: @vanilla-extract/css
dev.to·2d·
Discuss: DEV
✨Code Formatters
How I Built My Own Next.js Template Store (And What I Learned)
dev.to·1d·
Discuss: DEV
🔄Bootstrapping
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