🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

How to Build Python Code with Bazel (and Why)
ohadravid.github.io·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Origin Story of Merge Queues
mergify.com·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
React Data List: Building Virtualized UIs Declaratively
attio.com·3h·
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
FreeCAD Foray: Good Practices
hackaday.com·3h
🔬Unikernels
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·51m
🖥️Self-hosted Infrastructure
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2h·
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·1d·
Discuss: Hacker News
✓Automated Theorem Proving
When more threads make things worse
ordep.dev·17h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Observability for Databases in CI/CD
blog.sonichigo.com·3d·
Discuss: Hacker News
👁️System Observability
The Eldritch in the 21st century
lesswrong.com·1h
🔬Unikernels
My (speculative) master plan for immortality
maxwellnye.com·14h·
Discuss: Hacker News
🔬Unikernels