🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·6h·
Discuss: Hacker News
🧠Automated Reasoning
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·1d·
Discuss: r/programming
🔬Unikernels
Standards for Age Verification
avpassociation.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Write Better with Vale
pragprog.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·6h·
Discuss: Hacker News
👁️System Observability
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
📊Runtime Verification
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·22h·
Discuss: Hacker News
❄️Nixified Development
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Clojure's Solutions to the Expression Problem
infoq.com·3d·
Discuss: Hacker News
🐫OCaml
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Origin Story of Merge Queues
mergify.com·6h·
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·23h·
Discuss: r/programming
📊Runtime Verification
Beyond Markdown (2018)
johnmacfarlane.net·3d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
⚙️PL Implementation
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types