🔬 Unikernels

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

I have a hard time to figure out a proper DNS setup
mydomain.com·1h·
Discuss: r/homelab
📡Network Protocol Design
NVMe cards on Dell T640 poweredge server with PCIe adapter
amazon.com·1d·
Discuss: r/homelab
💾Retro Computing
SUSE launches new European digital sovereignty supportto meet surging demand
zdnet.com·3d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
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·21h·
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·22h·
Discuss: Hacker News
🔠Type-Level Programming
Homelab Evolution: Dragon’s-Den V1 to Dragon’s DenV2
reddit.com·18h·
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·1d·
Discuss: r/homelab
🏠HomeLab
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·3h·
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·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·14h·
Discuss: Substack
🔍Formal Verification
Open-Source Security Paradox: More Code, More Validation
onekey.so·2d·
Discuss: Hacker News
🔄Reproducible Builds
Update to my home lab!
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab