🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

It's Nothing But Its a Start
preview.redd.it·1d·
Discuss: r/homelab
🔬Unikernels
The Problem Of Uncertain Significance
stetson.substack.com·2d·
Discuss: Substack
🧪Property-Based Testing
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Curious Case of Bedrock's GPT Deployment
benanderson.work·1d·
Discuss: Hacker News, Hacker News
🔬Unikernels
Mistakes Made and Lessons Learned Building HubSpot
businessofsoftware.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
you can stick with it
blog.avas.space·2d·
Discuss: Hacker News
❄️Nixified Development
How we found TeaOnHer spilling users’ driver’s licenses in less than 10 minutes
techcrunch.com·1d·
Discuss: Hacker News
🍎Apple
2025 One Hertz Challenge: A Game Of Life
hackaday.com·1d
🍎XNU Internals
The Strategic Implications of GPT-5 for OpenAI
chrishayduk.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Robot can reduce superior's dominance in group discussions with human social hierarchy
arxiv.org·1d
🏹Effect Systems
Synology Disk Station Manager (DSM) - the good, the bad and the ugly (WHY2025)
cdn.media.ccc.de·2d
💾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
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·1d
🔠Type-Level Programming
Boosting Generic Semi-Supervised Medical Image Segmentation via Diverse Teaching and Label Propagation
arxiv.org·1d
➡️Category Theory
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·1d
✓Automated Theorem Proving
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·1d
🔠Type-Level Programming
Small Host Machine for 2xNVMe (TrueNAS ZFS Striped), 1xSATA, SFP+ NIC (Probably ConnectX3)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Shaping a Profession, Building a Community: A Practitioner-Led Investigation of Public Interest Technologists in Civil Society
arxiv.org·2d
💻CS