🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Mosfet Dreams
blog.ajith.fyi·6d·
Discuss: Hacker News
🐫Embedded OCaml
Why communication skills drive career growth for technical experts
togetherlondon.com·5d·
Discuss: Hacker News
🧗Climbing Tech
GitHub Copilot: Remote Code Execution via Prompt Injection (CVE-2025-53773)
embracethered.com·5d·
Discuss: Hacker News
❄️Nixified Development
Passion over Profits
dillonshook.com·4d·
Discuss: Hacker News
📡Network Protocol Design
The 'godfather of AI' reveals how humanity can survive superintelligent AI
kimt.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Capital Isn't Destiny
writing.nikunjk.com·4d·
Discuss: Hacker News
🍎Apple
Secure Boot and You
blog.elijahs.space·6d·
Discuss: Hacker News
📦Unikernel Systems
We inspire AI
swag.industries·6d·
Discuss: Hacker News
✓Automated Theorem Proving
SpaceX reveals why the last two Starships failed as another launch draws near
arstechnica.com·2d·
Discuss: Hacker News
⎈Kubernetes
Lockpicking in CTFs (WHY2025)
cdn.media.ccc.de·6d
🎮Verification Games
Ask HN: How do you deliver big projects as a solo contractor?
news.ycombinator.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
MS confidence in Windows 11: Pay us to host VMs for when your desktop inevitably dies
theregister.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Onsager Principle-Based Domain Embedding for Thermodynamically Consistent Cahn-Hilliard Model in Arbitrary Domain
arxiv.org·6d
🐫OCaml
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·5d
✓Automated Theorem Proving
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·5d
🔠Type-Level Programming
Boosting Generic Semi-Supervised Medical Image Segmentation via Diverse Teaching and Label Propagation
arxiv.org·5d
➡️Category Theory
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·5d
🔠Type-Level Programming
Small Host Machine for 2xNVMe (TrueNAS ZFS Striped), 1xSATA, SFP+ NIC (Probably ConnectX3)
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Uncertainty-Driven Reliability: Selective Prediction and Trustworthy Deployment in Modern Machine Learning
arxiv.org·6d
🎮Verification Games
AI-designed antibiotics pave way for defeating superbugs
bbc.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving