🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

The Impact of AI on Engineering Teams
newsletter.eng-leadership.com·10h·
Discuss: r/programming
👁️System Observability
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·20h·
Discuss: Hacker News
🧠Automated Reasoning
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
Debugging vs Printing
hackaday.com·2h
👁️System Observability
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
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·10h·
Discuss: r/programming
⚙️Operating System Design
Observability for Databases in CI/CD
blog.sonichigo.com·3d·
Discuss: Hacker News
👁️System Observability
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/rust
❄️Nixified Development
You Can Just Do Things
elite-ai-assisted-coding.dev·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol
ngerakines.leaflet.pub·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Large Language Mode(ration)
ashley.rolfmore.com·50m·
Discuss: Hacker News
🩹Self-Healing Systems