🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🔄Language Evolution
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·15h
💻Local LLMs
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1h
🎯Gradual Typing
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Categorical systems theory
topos.institute·7h
🔀Category Theory
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
💻Programming languages
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation