🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
Worms reveal just how cramped cells really are
ucdavis.edu·16h·
Discuss: Hacker News
🔧Unikernel Development
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·3h·
Discuss: Hacker News, r/todayilearned
🍎Apple
The Weekly Win
yusufaytas.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
Securing MCP Servers
corgea.com·5d·
Discuss: Hacker News
🛡️seL4
The Compounding Effect of Version Control Performance
diversion.dev·2d·
Discuss: Hacker News
🔧Unikernel Development
Generating Website Banners Algorithmically
golfed.xyz·2d·
Discuss: Hacker News
💾Retro Computing
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·5d·
Discuss: Hacker News
👁️System Observability
Building an ARM64 home server the hard way
jforberg.se·1d·
Discuss: Hacker News
🔬Unikernels
Fclones – Efficient Duplicate File Finder
github.com·22h·
Discuss: Hacker News
❄️Nix
Agentic AI Runs on Tools
simplicityissota.substack.com·4d·
Discuss: Substack
✓Automated Theorem Proving
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·1d·
Discuss: Hacker News
📊Runtime Verification
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·2d
🧩Parser Combinators
Growing a homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Rewriting Dataframes for MicroHaskell
mchav.github.io·5d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·2d
🤖Program Synthesis
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.com·5d·
Discuss: r/programming
🤖Program Synthesis
The second wave of MCP: Building for LLMs, not developers
vercel.com·4d·
Discuss: Hacker News
💎Refinement Types
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml