🎭 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·1d·
Discuss: Hacker News
🎭Polymorphic Variants
RSS feed in an Astro blog
amanhimself.dev·15h
📝Rope Editors
Dev Services for Spring Boot Using Arconia
thomasvitale.com·23h·
Discuss: Hacker News
📦Monorepos
New setup sanity check
i.redd.it·1d·
Discuss: r/selfhosted
🛡️Capability VMs
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Languages
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com·16h·
Discuss: r/homelab
🐚Shell Languages
Day 29 of python code series..
github.com·5h·
Discuss: DEV
💬Interactive REPLs
🧱 The SOLID Principles Explained (Like You’re a Developer Who Actually Writes Code)
dev.to·3h·
Discuss: DEV
🔀Control Structures
How I Built My Own Next.js Template Store (And What I Learned)
dev.to·1d·
Discuss: DEV
🔄Bootstrapping
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
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
Day 29 of python code series..
dev.to·5h·
Discuss: DEV
📚Self-Documenting Code
How My AI Projects Hit the Jackpot in Hacktoberfest - A Maintainer's Tale
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
5 Essential MCP Servers Every Developer Should Know
dev.to·2d·
Discuss: DEV
⚡Live Programming
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·2d·
Discuss: r/programming
🐍lisp
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·1d·
Discuss: DEV
📡Erlang
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·2d·
Discuss: r/golang
🐹Goroutine Scheduling