🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

An Introduction to XForms
xml.com·13h·
Discuss: Hacker News
⚙️PL Implementation
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·5h·
Discuss: Hacker News
⚙️PL Implementation
Compiling a Functional Language to LLVM
danieljharvey.github.io·21h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·11h
🤖Program Synthesis
Using Haskell in Production
agentultra.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
🐫OCaml
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·8h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2h·
Discuss: Hacker News
🧠Automated Reasoning
The bloat of edge-case first libraries
43081j.com·7h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
Using Linters to Direct Agents
factory.ai·9h·
Discuss: Hacker News
🔄Reproducible Builds
How to (actually) become an expert in .NET
mijailovic.net·2d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Scaffolding for production vibe coding
interjectedfuture.com·8h·
Discuss: Hacker News
🔬Static Analysis
Fundamentals of Wireless Communication
web.stanford.edu·2d·
Discuss: Hacker News
📡Network Protocol Design
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·18h·
Discuss: Hacker News
💎Refinement Types
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml