🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Weekly Win
yusufaytas.com·14h·
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
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·14h·
Discuss: Hacker News, r/todayilearned
🍎Apple
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
Screen History MCP Server
newbry.bearblog.dev·4h·
Discuss: Hacker News
⚡Process Calculi
Fclones – Efficient Duplicate File Finder
github.com·1d·
Discuss: Hacker News
❄️Nix
Agentic AI Runs on Tools
simplicityissota.substack.com·5d·
Discuss: Substack
✓Automated Theorem Proving
How OpenAI Operator Works with AI Agents
anchorbrowser.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
1.0 release of the Google Cloud client libraries for Rust
github.com·4d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·2d
🧩Parser Combinators
ServiceNow Says Windsurf Gave Its Engineers a 10% Productivity Boost
thenewstack.io·1d
👁️System Observability
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·3d·
Discuss: Hacker News
👁️System Observability
Show HN: An open source Vercel/Render alternative for Python apps
github.com·2d·
Discuss: Hacker News
🐳Containerization
Boosted Training of Lightweight Early Exits for Optimizing CNN Image Classification Inference
arxiv.org·2d
🧩Separation Logic
Breaking the Statistical Similarity Trap in Extreme Convection Detection
arxiv.org·1d
💎Refinement Types