🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

The Origin Story of Merge Queues
mergify.com·23h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Securing MCP Servers
corgea.com·3d·
Discuss: Hacker News
🛡️seL4
React Data List: Building Virtualized UIs Declaratively
attio.com·53m·
Discuss: Hacker News
📊Runtime Verification
On discourse and decentralisation
connectedplaces.online·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Write Your Own Retro Compiler
t3x.org·5d·
Discuss: Hacker News
⚙️PL Implementation
The Compounding Effect of Version Control Performance
diversion.dev·2h·
Discuss: Hacker News
🔧Unikernel Development
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Findings from six months of running `govulncheck` in CI
brandur.org·1h·
Discuss: Hacker News
📊Runtime Verification
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
The Case for Cowboy Coding
bevel.work·2d·
Discuss: Hacker News
💎Refinement Types
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·3d·
Discuss: Hacker News
👁️System Observability
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
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·21h·
Discuss: Hacker News
✓Automated Theorem Proving
When more threads make things worse
ordep.dev·14h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Observability for Databases in CI/CD
blog.sonichigo.com·3d·
Discuss: Hacker News
👁️System Observability