Multiple Kernels on a Single System
lwn.net·16h·
Discuss: Hacker News
⚙️Operating System Design
Kernel: Introduce Multikernel Architecture Support
lore.kernel.org·7h·
⚙️Operating System Design
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Is Oreon Linux a True Red Hat Enterprise Alternative?
thenewstack.io·1d
📦Unikernel Systems
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·3h·
Discuss: Hacker News
🔄Reproducible Builds
A long look at NetBSD 10.1
distrowatch.com·1h·
Discuss: Hacker News
🔬Unikernels
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·21h·
Discuss: r/programming
📊Runtime Verification
Parallelism Strategies in Deep Learning
afmck.in·58m·
Discuss: Hacker News
🧩Separation Logic
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·10h·
Discuss: Hacker News
🛡️seL4
Multikernel architecture proposed for Linux
osnews.com·21h·
🔬Unikernels
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔬Unikernels
KDE Development on Bazzite
blues.win·2d·
Discuss: Hacker News
🔬Unikernels
Plan 9: The Infinity Notebook
lifeofpenguin.blogspot.com·1d·
Discuss: Hacker News
📺Vintage Apple
Genode-based Atari-8-Bit IDE (DS2025)
cdn.media.ccc.de·1d
💾Retro Computing
Apple Silicon GPU Support in Mojo
forum.modular.com·19h·
🍎XNU Internals
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·3d
📊Runtime Verification
DXGI debugging: Microsoft put me on a list
slugcat.systems·1d·
📦Unikernel Systems
NixCon 2025 Trip Report
michael.stapelberg.ch·1d·
❄️NixOS
BCacheFS is now a DKMS Module After Exile from the Linux Kernel
hackaday.com·2d
📦Unikernel Systems