Domain-Specific Languages, Language Design, Compilers, Interpreters

Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
A portable picokernel for async I/O
ryansepassi.com·16h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
Existential Types
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1h·
Discuss: Hacker News
👁️System Observability
Flag this post
A Developer’s Guide to Real-Time Speech-to-Speech Translation for Mobile and VoIP Calls
future.forem.com·2d·
Discuss: DEV
⚙️Compiler Design
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·21h
🧠Automated Reasoning
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·20h·
Discuss: r/golang
🎯GADT
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
📝Nix Language
Flag this post
The AI Capability Gap
blog.dwac.dev·5h·
👁️System Observability
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
🏗️Dune
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
WebAssembly (WASM) arch support for the Linux kernel
github.com·2h·
Discuss: Hacker News
🐋Docker
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·23h·
Discuss: DEV
Automated Theorem Proving
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·23h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·5h·
Discuss: Substack
Process Calculi
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·1d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post