🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Worms reveal just how cramped cells really are
ucdavis.edu·1d·
Discuss: Hacker News
🔧Unikernel Development
Clojure's Solutions to the Expression Problem
infoq.com·6d·
Discuss: Hacker News, r/programming
🐫OCaml
Operational Intelligence – the new horizon of observability
squaredup.com·15h·
Discuss: Hacker News
👁️System Observability
The Compounding Effect of Version Control Performance
diversion.dev·2d·
Discuss: Hacker News
🔧Unikernel Development
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Building an ARM64 home server the hard way
jforberg.se·2d·
Discuss: Hacker News
🔬Unikernels
Screen History MCP Server
newbry.bearblog.dev·12h·
Discuss: Hacker News
⚡Process Calculi
How OpenAI Operator Works with AI Agents
anchorbrowser.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Beyond Markdown (2018)
johnmacfarlane.net·6d·
Discuss: Lobsters, Hacker News, Hacker News
🔬Static Analysis
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
What IAM / Authentication for B2C to pick if hosted solutions is not an option?
news.ycombinator.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
As We May Think No More: From Bush's Memex to AI Alignment
memoryleak.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: An open source Vercel/Render alternative for Python apps
github.com·3d·
Discuss: Hacker News
🐳Containerization
Boosted Training of Lightweight Early Exits for Optimizing CNN Image Classification Inference
arxiv.org·3d
🧩Separation Logic
Breaking the Statistical Similarity Trap in Extreme Convection Detection
arxiv.org·2d
💎Refinement Types
Agents of Discovery
arxiv.org·3d
🧩Parser Combinators
Documents Are People and Words Are Items: A Psychometric Approach to Textual Data with Contextual Embeddings
arxiv.org·2d
🧩Parser Combinators
Running Code On a PAX Credit Card Payment Machine
hackaday.com·1d
🔧Unikernel Development
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·23h·
Discuss: Hacker News
📺Vintage Apple