🔬 Unikernels

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

Building CardFlix – A Modern Twist on the Old Movie Shelf
blog.udinic.com·8h·
Discuss: Hacker News
💻QEMU
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·7h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Made a new version of my MS-A2 rackmount case with fans
makerworld.com·18h·
Discuss: r/homelab
❄️NixOS
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·8h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
This Week in Plasma: control of frame intensity and image sharpening - KDE Blogs
blogs.kde.org·1d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·41m·
Discuss: Hacker News
🛡️seL4
Flag this post
Fortytwo's decentralized AI has the answer to life, the universe, and everything
theregister.com·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
Proxmox VE/PBS backup project – datastore, storage, firewall, saving configs, ZFS, environment and more for homelab recovery with notify!
reddit.com·13h·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·2d·
Discuss: Hacker News
🖥️KVM
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·14h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·6h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Linux gamers on Steam finally cross over the 3% mark
gamingonlinux.com·10h·
Discuss: Hacker News, r/SteamDeck
💻QEMU
Flag this post
Sculpt Operating System 25.10
genode.org·2d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Belhold! My setup.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Mr. Bones: A Pirate-Voiced Halloween Chatbot Powered by Docker Model Runner
docker.com·2d
💬Mach Messages
Flag this post