🎭 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·2h
⚡Control Synthesis
TFR redux
lnebres.bearblog.dev·1d
⚡Incremental Parsing
New setup sanity check
i.redd.it·1d·
Discuss: r/selfhosted
🛡️Capability VMs
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
K8 Monitoring
dev.to·4h·
Discuss: DEV
🐚Shell Languages
Build a Custom No-Code App in 90 Minutes
dev.to·4h·
Discuss: DEV
🎮Language Ergonomics
AI for Refactoring: Making Legacy Code Clean and Future-Ready
dev.to·2d·
Discuss: DEV
🚚Code Migration
How to Automate Your Work and Free Your Time
dev.to·5h·
Discuss: DEV
💬Interactive REPLs
Anatomy of a package: @vanilla-extract/css
dev.to·2d·
Discuss: DEV
✨Code Formatters
🚀 I’ve been documenting everything I learned about Claude Code
github.com·5h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Day 29 of python code series..
github.com·10h·
Discuss: DEV
💬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·21h·
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
How My AI Projects Hit the Jackpot in Hacktoberfest - A Maintainer's Tale
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code