🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

This Homebrew CPU Got Its Start in the 1990s
hackaday.com·4h
💾Retro Computing
Critical Analysis of the Meshtastic Protocol
disk91.com·21h·
Discuss: Hacker News
📡Network Protocol Design
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·19h·
Discuss: Hacker News
💾Retro Computing
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Orca Build System
orca-app.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Semaphore Enterprise Edition is free for small teams
semaphore.io·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A language model built for the public good
ethz.ch·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🛡️seL4
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔬Static Analysis
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·17h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·11h
🔍Formal Verification
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
🐫OCaml
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·11h
⚙️PL Implementation
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Bitter Lesson (2025)
artfintel.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving