🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Origin Story of Merge Queues
mergify.com·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Findings from six months of running `govulncheck` in CI
brandur.org·11h·
Discuss: Hacker News
📊Runtime Verification
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
When more threads make things worse
ordep.dev·23h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
The Eldritch in the 21st century
lesswrong.com·8h
🔬Unikernels
My (speculative) master plan for immortality
maxwellnye.com·21h·
Discuss: Hacker News
🔬Unikernels
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
'Make invalid states representable' considered harmful
seangoedecke.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Tokenizing Loops of Antibodies
arxiv.org·20h
🧮Lambda Calculus
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·2d·
Discuss: Substack
🎮Verification Games
A layered architecture for log analysis in complex IT systems
arxiv.org·20h
👁️System Observability
Agentic AI Runs on Tools
simplicityissota.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Depth-Bounded Epistemic Planning
arxiv.org·20h
🧩Separation Logic
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·2d
🌐NetworkProtocols
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·6h·
Discuss: Substack
🧠Automated Reasoning