🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Show HN: USDA-linked nutrition API from messy inputs (CLI/Python/REST)
nutrition.avocavo.app·1d·
Discuss: Hacker News, r/webdev
🍎XNU Internals
LinkedIn Joins Meta and YouTube in Abandoning Policies Designed to Counter Anti-Trans Hate
techpolicy.press·1d·
Discuss: Hacker News
➡️Category Theory
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why Metadata Matters (2013)
eff.org·23h·
Discuss: Hacker News
🌐NetworkProtocols
The Curious Case of Bedrock's GPT Deployment
benanderson.work·1d·
Discuss: Hacker News, Hacker News
🔬Unikernels
Misunderstood “photophoresis” effect could loft metal sheets to exosphere
arstechnica.com·9h·
Discuss: Hacker News
📦Unikernel Systems
you can stick with it
blog.avas.space·2d·
Discuss: Hacker News
❄️Nixified Development
The Problem Of Uncertain Significance
stetson.substack.com·2d·
Discuss: Substack
🧪Property-Based Testing
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Cloudflare tunnels crashing randomly
reddit.com·16h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
Software Modernization Projects Dilemma: Think Twice — Focus is Saying No
medium.com·4d·
Discuss: Hacker News, r/programming
👁️System Observability
Understanding reinforcement learning for model training from scratch
medium.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Synology Disk Station Manager (DSM) - the good, the bad and the ugly (WHY2025)
cdn.media.ccc.de·3d
💾Retro Computing
Aligning Effective Tokens with Video Anomaly in Large Language Models
arxiv.org·3d
➡️Category Theory
Overconfidence in LLM-as-a-Judge: Diagnosis and Confidence-Driven Solution
arxiv.org·3d
✓Automated Theorem Proving
Onsager Principle-Based Domain Embedding for Thermodynamically Consistent Cahn-Hilliard Model in Arbitrary Domain
arxiv.org·2d
🐫OCaml
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·1d
✓Automated Theorem Proving
Boosting Generic Semi-Supervised Medical Image Segmentation via Diverse Teaching and Label Propagation
arxiv.org·1d
➡️Category Theory
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·1d
🔠Type-Level Programming
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·1d
🔠Type-Level Programming