🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Python heapq.nlargest vs list.sort
ddaa.net·2d·
Discuss: r/programming
🏹Effect Systems
I have a hard time to figure out a proper DNS setup
mydomain.com·2d·
Discuss: r/homelab
📡Network Protocol Design
A Technical Look at Iran's Internet Shutdowns
zola.ink·5h·
Discuss: Hacker News
📡Network Protocol Design
Secure Your Keys with Keyand.me
thasso.xyz·2d·
Discuss: Hacker News
🛡️seL4
Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·6d·
Discuss: Hacker News
➡️Category Theory
Netflix Tudum Architecture: from CQRS with Kafka to CQRS with RAW Hollow
netflixtechblog.com·3d·
Discuss: Hacker News
🔬Unikernels
What Makes Code Beautiful
thecoder.cafe·3d·
Discuss: r/programming
🔬Static Analysis
A model for IV&V that's useful
waldo.jaquith.org·3d·
Discuss: Hacker News
🔄Reproducible Builds
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·4d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
Wallets as Universal Access Devices
arxiv.org·3d
🔬Unikernels
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2d
✓Automated Theorem Proving
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Smart Guardian – a privacy-first Chrome extension to protect kids
github.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Bitter Lesson (2025)
artfintel.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Research my next NAS
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
Beyond the Linear Separability Ceiling
arxiv.org·2d
➡️Category Theory
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·7h·
Discuss: Hacker News
🍎Apple
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·2d
🐫OCaml
Narrowing the Gap: Supervised Fine-Tuning of Open-Source LLMs as a Viable Alternative to Proprietary Models for Pedagogical Tools
arxiv.org·4d
🛡️seL4