🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Lexy: A parser combinator library for C++17
github.com·4h·
Discuss: Hacker News
🧩Parser Combinators
Performance Improvements in .NET 10
devblogs.microsoft.com·4h·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·1d
🐫OCaml
An Introduction to XForms
xml.com·1d·
Discuss: Hacker News
⚙️PL Implementation
What's new in Kotlin 2.2.20
kotlinlang.org·2h·
Discuss: Lobsters
💎Refinement Types
Improving state machine code generation
trifectatech.org·1d·
Discuss: r/rust
🐫Embedded OCaml
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·2h·
Discuss: r/programming
⚙️PL Implementation
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Context Pruning in Conversational Agent
poonai.xyz·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·1d
🤖Program Synthesis
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·5h·
Discuss: Hacker News
👁️System Observability
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·23h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·8h·
Discuss: r/programming
🧱Immutable Infrastructure
The bloat of edge-case first libraries
43081j.com·22h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·14h
🔍Formal Verification
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds