🎭 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·7h
⚡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
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
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·9h·
Discuss: DEV
🐚Shell Languages
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·2d·
Discuss: r/LLM
🐹Go Internals
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Languages
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
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
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·1d·
Discuss: DEV
📡Erlang
Handling 100+ Website Scrapers with Python's asyncio
dev.to·1d·
Discuss: DEV
🚀PyPy JIT
I Built a Tool-Calling AI From Scratch, and Here's What the Bugs Taught Me
dev.to·1d·
Discuss: DEV
✨Gleam
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·2d·
Discuss: Hacker News
💬Interactive REPLs
lsv - a configurable 3-pane terminal file viewer
github.com·1d·
Discuss: r/commandline, r/rust
💻Terminal Control