🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Feeds to Scour
SubscribedAll
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·2h
🔄Language Evolution
Preview
Report Post
We Evaluated 13 LLM Gateways for Production. Here's What We Found
dev.to·2h·
Discuss: DEV
👁️Observatory Systems
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·12h·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post
Advent of Swift
leahneukirchen.org·4h
🔗Lisp
Preview
Report Post
Why Rust for Embedded Systems? (and Why I'm Teaching Robotics with It)
blog.ravven.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
OpenBSD's Propolice stack protector origins
discoverbsd.com·8h
🔌Operating system internals
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·1d
🔧KAITAI
Preview
Report Post
Rethinking Data Integrity: Why Domain-Driven Design Is Crucial
thenewstack.io·2d
🔄Schema Evolution
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
UP Xtreme ARL AI Dev Kit review – Benchmarks and AI workloads on an Intel Core Ultra 5 225H Arrow Lake SBC
cnx-software.com·17h
🔌Operating system internals
Preview
Report Post
We Lost Something: 1970s REPLs Were Better Than Modern Development Environments
programmingsimplicity.substack.com·1d·
Discuss: Substack
📊APL Heritage
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
Writing CLIs
markjgsmith.com·1d
📟CLI Design
Preview
Report Post
I accidentally made a git client in rust with no prior experience. Here are my thoughts on all that!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·21h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·21h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
A Pythonista’s Guide to the 2026 Code Rush
efficientcoder.net·1d
📝Concrete Syntax
Preview
Report Post
Cyber Talented Framework, a CTF platform coded with Claude Code.
blogs.tunelko.com·2d
🚀Indie Hacking
Preview
Report Post
A Simple Framework for Understanding Complex Code Faster
dev.to·2d·
Discuss: DEV
📏Code Metrics
Preview
Report Post