🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Microsoft asked FBI for help tracking Palestinian protests
seattletimes.com·18h·
Discuss: Hacker News
👁️System Observability
Trump administration pushes ahead with NOAA climate and weather cuts
science.org·1d·
Discuss: Hacker News
⎈Kubernetes
Vitalik Buterin Questions Prediction Markets’ Hedging Appeal
esstnews.com·1d·
Discuss: Hacker News, r/Economics
🔠Type-Level Programming
Censorship in the EU: Hate Speech Laws Are Suffocating Free Speech
freedom-research.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
x times y
federicopereiro.com·4d·
Discuss: Hacker News
➡️Category Theory
The Insider Story of Twilio
nfx.com·6d·
Discuss: Hacker News
⚙️Operating System Design
‘There’s something very interesting about boring’: Martin Parr on his life in pictures
theguardian.com·3d·
Discuss: Hacker News
💾Retro Computing
The Unbearable Slowness of AI Coding
joshuavaldez.com·5d·
Discuss: Hacker News
🤖Program Synthesis
M-x spook (Emacs mail amusement)
gnu.org·2d·
Discuss: Hacker News
💾Retro Computing
Fuzzy search through Firefox open tabs
github.com·2d·
Discuss: Hacker News
🍎Apple
CPAP Medical Data Breach Impacts 90k People
securityweek.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Show HN: Compress-san, simple batch video compression and SRT subtitle creation
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: DDNS-go – Over-engineered DDNS service with native OS integrations
github.com·6d·
Discuss: Hacker News
📡Network Protocol Design
Apple releases iOS 26 beta 8 for iPhone
9to5mac.com·1d
🍎Apple
macOS Tahoe 26 public beta 5 rolling out now, install guide
9to5mac.com·1d
🍎Apple
AI will create a near-term socioeconomic gap among knowledge workers
ericdodds.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Turning Claude Code into My Best Design Partner
betweentheprompts.com·6d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
Curator: Scalable data pre processing and curation toolkit for LLMs
github.com·6d·
Discuss: Hacker News
💾Retro Computing
LitForager: Exploring Multimodal Literature Foraging Strategies in Immersive Sensemaking
arxiv.org·5d
🔬Unikernels
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·6d·
Discuss: Hacker News
🎮Verification Games