🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Critical Analysis of the Meshtastic Protocol
disk91.com·1d·
Discuss: Hacker News
📡Network Protocol Design
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
A language model built for the public good
ethz.ch·2d·
Discuss: Hacker News, Hacker News, Hacker News, r/LocalLLaMA
🛡️seL4
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
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
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·22h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·16h
🔍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
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·16h
⚙️PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·16h
🎮Verification Games
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·6h
🌐NetworkProtocols
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·3d·
Discuss: Hacker News
🧱Immutable Infrastructure