🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Clojure's Solutions to the Expression Problem
infoq.com·4d·
Discuss: Hacker News, r/programming
🐫OCaml
Securing MCP Servers
corgea.com·4d·
Discuss: Hacker News
🛡️seL4
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond Markdown (2018)
johnmacfarlane.net·4d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·4d·
Discuss: Hacker News
👁️System Observability
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Building an ARM64 home server the hard way
jforberg.se·20h·
Discuss: Hacker News
🔬Unikernels
A joint statement from OpenAI and Microsoft
openai.com·1d·
Discuss: Hacker News
🐳Containerization
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🧮Lambda Calculus
FreeCAD Foray: Good Practices
hackaday.com·1d
🔬Unikernels
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·8h·
Discuss: Hacker News
📊Runtime Verification
Unionists vs. Separatists
lesswrong.com·2h
🔬Unikernels
The Expression Problem and its solutions
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Book Review: If Anyone Builds It, Everyone Dies
lesswrong.com·2h
🩹Self-Healing Systems
Tokenizing Loops of Antibodies
arxiv.org·1d
🧮Lambda Calculus
Debunking the Claims of K2-Think
sri.inf.ethz.ch·5h·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
Agentic AI Runs on Tools
simplicityissota.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing