🔬 Unikernels

Library OS, Minimalist Systems, MirageOS, Single-Purpose VMs

Dependency hell is NP-complete
research.swtch.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Efficiency of a Sparse Hash Table
ashutoshpg.blogspot.com·4h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
MySQL to MariaDB migration story of Switch.ch, Switzerland’s Open Source IT Backbone for Universities and Research
mariadb.org·1d·
Discuss: r/programming
📦Unikernel Systems
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
You don't have to use Nix to manage your dotfiles
jade.fyi·4d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·19h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Petrichor – a free, open-source, offline music player for macOS
github.com·1d·
Discuss: Hacker News
🍎Apple
Binding Application in Idris
andrevidela.com·20h·
Discuss: Hacker News
🔠Type-Level Programming
Homelab Evolution: Dragon’s-Den V1 to Dragon’s DenV2
reddit.com·16h·
Discuss: r/homelab
🏠HomeLab
Systemd has been a complete, utter, unmitigated success
osnews.com·1d·
Discuss: Hacker News
❄️Nix
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·1h·
Discuss: Hacker News
⚙️Operating System Design
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Bastille 1.0 – Bastille Day 2025
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Distributed Systems for Fun and Profit
book.mixu.net·4d·
Discuss: Hacker News
📦Unikernel Systems
The European Cloud/Computing Situation
berthub.eu·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·12h·
Discuss: Substack
🔍Formal Verification
Update to my home lab!
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Building a Proxmox server around EPYC 4545P - need board suggestions. Question
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab