🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Shape Checking for Annotated Tensor Names
github.com·7h·
Discuss: Hacker News
🐫OCaml
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
The Origin Story of Merge Queues
mergify.com·13h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Does the world need another distributed queue?
techblog.cloudkitchens.com·1d·
Discuss: r/programming
⚙️Operating System Design
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·1d·
Discuss: r/programming
📊Runtime Verification
Beyond Markdown (2018)
johnmacfarlane.net·3d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·14h·
Discuss: Hacker News
🧠Automated Reasoning
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
Choosing a model for a research platform with real data and metrics
maxirwin.com·9h·
Discuss: Hacker News
👁️System Observability
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
When more threads make things worse
ordep.dev·4h·
Discuss: r/programming
⚙️Operating System Design
Observability for Databases in CI/CD
blog.sonichigo.com·2d·
Discuss: Hacker News
👁️System Observability