🎭 Staging

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

Deep reinforcement learning for HVAC control with nonlinear parametric thermal network modeling for passive building envelopes
sciencedirect.com·5h
⚡Control Synthesis
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·1d·
Discuss: Hacker News
🎭Polymorphic Variants
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nz·12h·
Discuss: Hacker News
🧠Memory Allocators
An enough week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
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
The Pain Driven Workflow
magistr.me·3d·
Discuss: Hacker News
📚Self-Documenting Code
Experimenting with B+Tree + WAL replication: 1K writes/sec, 2K readers, 1.2M aggregate ops/sec
reddit.com·6h·
Discuss: r/golang
📁File Systems
K8 Monitoring
dev.to·7h·
Discuss: DEV
🐚Shell Languages
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com·23h·
Discuss: r/homelab
🐚Shell Languages
How I Built My Own Next.js Template Store (And What I Learned)
dev.to·2d·
Discuss: DEV
🔄Bootstrapping
Handling 100+ Website Scrapers with Python's asyncio
dev.to·1d·
Discuss: DEV
🚀PyPy JIT
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·2d·
Discuss: r/LLM
🐹Go Internals
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
How My AI Projects Hit the Jackpot in Hacktoberfest - A Maintainer's Tale
dev.to·2d·
Discuss: DEV
📚Self-Documenting Code
Good luck vivecoding anything…
reddit.com·1d·
Discuss: r/vibecoding
🎲Test Generators
I Built a Tool-Calling AI From Scratch, and Here's What the Bugs Taught Me
dev.to·1d·
Discuss: DEV
✨Gleam