🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Fix your port numbers for dev servers
rollc.at·2d·
Discuss: Hacker News
⎈Kubernetes
Why do we agree to take off our shoes at the airport?
phys.org·2d·
Discuss: Hacker News
🛡️seL4
Heracles – Chosen Plaintext Attack on AMD SEV-SNP
heracles-attack.github.io·1d·
Discuss: Hacker News
⚙️Operating System Design
Designing the Ultimate Star Wars Car
blog.patrickhulce.com·22h·
Discuss: Hacker News
💾Retro Computing
Go Deh celebrations!
paddy3118.blogspot.com·3d·
Discuss: paddy3118.blogspot.com, r/programming
🐫Embedded OCaml
"I've got a solution: wolves"
robmanuelfuckyeah.substack.com·1d·
Discuss: Substack
🍎Apple
The Prodigal Techbro
conversationalist.org·10h·
Discuss: Hacker News
💾Retro Computing
My Plan to Build an AI Chat Bot in My Bedroom
joeldare.com·3d·
Discuss: Hacker News
🏠HomeLab
AI must RTFM: Why tech writers are becoming context curators
passo.uno·5d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
Some users report their Firefox browser is scoffing CPU power
theregister.com·12h·
Discuss: Hacker News
👁️System Observability
Docker Desktop Now Includes Its Own AI Tool: Ask Gordon
thenewstack.io·4h
⎈Kubernetes
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·6d
🛡️seL4
Safeguarding Research & Culture: Save public data from the digital bookburnings! (WHY2025)
cdn.media.ccc.de·3d
💾Retro Computing
Building future proof homelab.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
M5 chip is coming to iPad first, but this time will be different
9to5mac.com·5h
🍎Apple
Learning to Reason for Factuality
arxiv.org·5d
✓Automated Theorem Proving
Why Context Architecture Beats Prompt Engineering. The Precursor Manifesto
medium.com·4d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
A Markov Decision Process Framework for Early Maneuver Decisions in Satellite Collision Avoidance
arxiv.org·2d
📡Network Protocol Design
Dynamic Pattern Alignment Learning for Pretraining Lightweight Human-Centric Vision Models
arxiv.org·1d
🔄Finite State Machines