🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
How to (actually) become an expert in .NET
mijailovic.net·3d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·1d
🎮Verification Games
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·3h·
Discuss: Hacker News
🧠Automated Reasoning
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·20h·
Discuss: r/programming
🔬Unikernels
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Standards for Age Verification
avpassociation.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
Write Better with Vale
pragprog.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·3h·
Discuss: Hacker News
👁️System Observability
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·19h·
Discuss: Hacker News
❄️Nixified Development
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Clojure's Solutions to the Expression Problem
infoq.com·2d·
Discuss: Hacker News
🐫OCaml
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development