🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
🔢Denotational Semantics
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Codeminer42 Dev Weekly #82
blog.codeminer42.com·12h
🎯Gradual Typing
Categorical systems theory
topos.institute·17h
🔀Category Theory
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·17h·
Discuss: Hacker News
👑Isabelle
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
Three ways formally verified code can go wrong in practice
buttondown.com·12h
📜Proof Carrying Code
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·21h
📞Session Types
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis