🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Critical Analysis of the Meshtastic Protocol
disk91.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·21h
🔍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
Netflix Tudum Architecture: from CQRS with Kafka to CQRS with RAW Hollow
netflixtechblog.com·1d·
Discuss: Hacker News
🔬Unikernels
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·21h
⚙️PL Implementation
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·21h
🎮Verification Games
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·11h
🌐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
The Bitter Lesson (2025)
artfintel.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·1d·
Discuss: Hacker News
🛡️seL4
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
Domain adaptation of large language models for geotechnical applications
arxiv.org·2d
⚙️PL Implementation
Ground Truth Ambient Occlusion
github.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·2d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·3d·
Discuss: Hacker News
🧱Immutable Infrastructure