🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·6h
🔬Static Analysis
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Tired of JavaScript Framework Complexity? Meet Still.js
thenewstack.io·15h
🧱Immutable Infrastructure
Designing SQL Tools for AI Agents
blog.arcade.dev·1d·
Discuss: Hacker News
🛡️seL4
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Understanding ASTs
hypermod.io·2d·
Discuss: Hacker News
🔬Static Analysis
From XML to JSON to CBOR
cborbook.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Reproducible Builds
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·1d
🔄Finite State Machines
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
🔬Static Analysis
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·14h·
Discuss: Hacker News
🛡️seL4
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·18h·
Discuss: Hacker News, r/LocalLLaMA
🔄Reproducible Builds
Web Embeddable Common Lisp
ecl.common-lisp.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Hask Is Not a Category
math.andrej.com·16h·
Discuss: Hacker News
➡️Category Theory
Built a compiler that supports 50+ languages with cross-language function calls
reddit.com·3d·
Discuss: r/programming
🐫Embedded OCaml
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·15h·
Discuss: Hacker News
🤖Program Synthesis