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

Notes on using LaTeX to generate formulae
eli.thegreenplace.net·1d·
Discuss: Hacker News
Format Preserving
Devlog 2 - Terrain!
pecerax.itch.io·6h
🏗️Custom Allocators
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·2d·
Discuss: Hacker News
📡Erlang BEAM
I'd like to speak to the Bellcore ManaGeR
ninakalinina.com·16h·
💻Terminal UIs
Functional guarantees for semantic awareness on graphs
researchgate.net·13h·
Discuss: Hacker News
⚖️Weighted Automata
October 2025 Scale Engineering Digest: AI Shifts, Event Buzz, and SRE Evolutions
scale.forem.com·1d·
Discuss: DEV
🏰Capability Machines
The Alien Artifact: DSPy and the Cargo Cult of LLM Optimization
data-monger.com·1d·
Discuss: Hacker News
🌱Minimal ML
XProc 3 Steps as XSpec Test Helper Functions
medium.com·2d
🔧Error Recovery
Master Docker & Kubernetes — From Zero to Real-World Deployment (limited time)
reddit.com·20h·
Discuss: r/kubernetes
🔗Redis Protocols
2025-10-10 # LLMs Are Transpilers
alloc.dev·3d·
Discuss: Hacker News
🎮Language Ergonomics
New comment by ctoth in "My first week of vibecoding"
news.ycombinator.com·2h·
Discuss: Hacker News
💬Smalltalk VMs
How to handle long running tools in realtime conversations.
reddit.com·1d·
Discuss: r/LocalLLaMA
🔀Concurrency Models
🚀 I’ve been documenting everything I learned about Claude Code
github.com·15h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Memgoose – An In-Memory Mongoose Impersonator
github.com·1d·
Discuss: Hacker News
📡Protocol Buffers
How I Built My Own Next.js Template Store (And What I Learned)
dev.to·2d·
Discuss: DEV
🔄Bootstrapping
Check out my Mini Homelab Build!
reddit.com·7h·
Discuss: r/homelab
📊perf Tools
On the Alignment Between Supervised and Self-Supervised Contrastive Learning
arxiv.org·2h
🪜Recursive Descent
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