🎭 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·28m
⚡Control Synthesis
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
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nz·7h·
Discuss: Hacker News
🧠Memory Allocators
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·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
K8 Monitoring
dev.to·2h·
Discuss: DEV
🐚Shell Languages
How to handle long running tools in realtime conversations.
reddit.com·13h·
Discuss: r/LocalLLaMA
🔀Concurrency Models
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.com·19h·
Discuss: r/homelab
🐚Shell Languages
Day 29 of python code series..
github.com·7h·
Discuss: DEV
💬Interactive REPLs
🧱 The SOLID Principles Explained (Like You’re a Developer Who Actually Writes Code)
dev.to·5h·
Discuss: DEV
🔀Control Structures
Build a Custom No-Code App in 90 Minutes
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
AI for Refactoring: Making Legacy Code Clean and Future-Ready
dev.to·2d·
Discuss: DEV
🚚Code Migration
🚀 I’ve been documenting everything I learned about Claude Code
github.com·3h·
Discuss: r/ClaudeAI
💬Interactive REPLs
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·19h·
Discuss: DEV
🚀PyPy JIT
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·1d·
Discuss: r/LLM
🐹Go Internals