🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·2d·
Discuss: r/LocalLLaMA
🐫OCaml
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·15h·
Discuss: Hacker News
🌐NetworkProtocols
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·16h·
Discuss: Hacker News
⚙️PL Implementation
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
How to (actually) become an expert in .NET
mijailovic.net·3d·
Discuss: r/AskProgramming, r/programming
🔄Reproducible Builds
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
An Interactive Guide to TanStack DB
frontendatscale.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·17h·
Discuss: Hacker News
🔄Reproducible Builds
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·16h·
Discuss: r/programming
🔬Unikernels
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·14h·
Discuss: Hacker News
❄️Nixified Development
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification