🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

C and C++: The Hidden Power Behind Modern Programming
github.com·2d·
Discuss: r/programming
💻CS
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·2d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Rich Answered That
gist.github.com·19h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
A Short Introduction to Tor
spec.torproject.org·20h·
Discuss: Hacker News
🌐NetworkProtocols
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·2d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·12h·
Discuss: Hacker News
🌐NetworkProtocols
I still love PHP and JavaScript
the.scapegoat.dev·15h·
Discuss: Hacker News
🔬Static Analysis
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·21h·
Discuss: r/programming
💎Refinement Types
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
An Interactive Guide to TanStack DB
frontendatscale.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·2d·
Discuss: r/LocalLLaMA
🐫OCaml
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·2d·
Discuss: Hacker News
💎Refinement Types
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·13h·
Discuss: Hacker News
⚙️PL Implementation