🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·22h
🍎Apple
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🧠Automated Reasoning
Care about keeping your design files clean (2018)
monzo.com·2d·
Discuss: Lobsters, Hacker News
🧩Separation Logic
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com·9m·
Discuss: Hacker News
🐳Containerization
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·5d·
Discuss: Hacker News
📚Automata Learning
Write Better with Vale
pragprog.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
On discourse and decentralisation
connectedplaces.online·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Expression Problem and its solutions
eli.thegreenplace.net·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.com·5d·
Discuss: r/programming
🤖Program Synthesis
The second wave of MCP: Building for LLMs, not developers
vercel.com·4d·
Discuss: Hacker News
💎Refinement Types
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml
Adtech and Real-Time Bidding under European Data Protection Law
arxiv.org·1d
📡Network Protocol Design
Rewriting Dataframes for MicroHaskell
mchav.github.io·5d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Identifying rack-mountable drive chassis
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Continuous-Time Value Iteration for Multi-Agent Reinforcement Learning
arxiv.org·1d
🩹Self-Healing Systems
Unionists vs. Separatists
lesswrong.com·1d
🔬Unikernels
In the Works
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·1d
🩹Self-Healing Systems