🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Ten Simple Rules for Mathematical Writing
web.mit.edu·1h·
Discuss: Hacker News
✓Automated Theorem Proving
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Critical Analysis of the Meshtastic Protocol
disk91.com·1d·
Discuss: Hacker News
📡Network Protocol Design
https:// daniel.haxx.se/blog/2025/07/11 /cybersecurity-risk-assessment-request/
daniel.haxx.se·21h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·1d·
Discuss: Substack
🐫Embedded OCaml
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·1d·
Discuss: Hacker News
💾Retro Computing
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
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·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
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
A language model built for the public good
ethz.ch·2d·
Discuss: Hacker News, Hacker News, Hacker News, r/LocalLLaMA
🛡️seL4
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·23h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
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
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·17h
🔍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
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·17h
⚙️PL Implementation