🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Clojure's Solutions to the Expression Problem
infoq.com·4d·
Discuss: Hacker News, r/programming
🐫OCaml
Beyond Markdown (2018)
johnmacfarlane.net·3d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Securing MCP Servers
corgea.com·3d·
Discuss: Hacker News
🛡️seL4
The Compounding Effect of Version Control Performance
diversion.dev·8h·
Discuss: Hacker News
🔧Unikernel Development
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·3d·
Discuss: Hacker News
👁️System Observability
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·4h
🖥️Self-hosted Infrastructure
When more threads make things worse
ordep.dev·20h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·6h·
Discuss: Hacker News
👁️System Observability
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
You Can Just Do Things
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·2d·
Discuss: r/programming
💎Refinement Types
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
The Eldritch in the 21st century
lesswrong.com·5h
🔬Unikernels
My (speculative) master plan for immortality
maxwellnye.com·18h·
Discuss: Hacker News
🔬Unikernels
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus