🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·11h·
Discuss: Hacker News
🐫OCaml
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·1d
🔬Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3h·
Discuss: r/programming
🐫OCaml
Binding Application in Idris
andrevidela.com·2h·
Discuss: Hacker News
🔠Type-Level Programming
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·8h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·8h·
Discuss: Hacker News
🛡️seL4
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·13h·
Discuss: Hacker News
🤖Program Synthesis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·3h·
Discuss: Hacker News
⚙️PL Implementation
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·5h·
Discuss: r/golang, r/programming
🍎XNU Internals
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Migrate Enterprise Classic ASP Applications to ASP.NET Core
faciletechnolab.com·1d·
Discuss: r/programming
⚙️PL Implementation
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·8h·
Discuss: Hacker News
🔬Static Analysis
The Next Wave
dumindu.github.io·6h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·11h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·14h·
Discuss: Hacker News
📡Network Protocol Design
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols