🔬 Unikernels

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

Building and deploying a Voice AI Agent to portfolio in 30 minutes
reddit.com·3h·
Discuss: r/programming
🏠HomeLab
Writing Custom Open-Source UI for Vivaldi Browser
velzie.rip·2d·
Discuss: Hacker News
📦Unikernel Systems
Stigmergy
en.wikipedia.org·2d·
Discuss: Hacker News
🎮Verification Games
Evaluating Image Compression Tools
rachelplusplus.me.uk·2d·
Discuss: Hacker News
🔄Reproducible Builds
Rocket engine designed by generative AI just completed its first hot fire test
pcgamer.com·4h·
Discuss: Hacker News
📦Unikernel Systems
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·3d·
Discuss: Hacker News
❄️Nixified Development
Notes on Astro
boda.sh·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Explore 20 years of Mac UI design through emulations of a single app
9to5mac.com·20h
🍎Apple
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·5d·
Discuss: Hacker News
📦Unikernel Systems
Shipping Linear Drafts
mufeezamjad.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
EU-sponsored report says GenAI's 'fair use' defense does not compute
theregister.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Hackaday Links: July 13, 2025
hackaday.com·1d
💾Retro Computing
Systemd's Nuts and Bolts
medium.com·5d·
Discuss: r/programming
⚙️Operating System Design
Looking for a switch
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Stopping the rot when good software goes bad means new rules from the start
theregister.com·1d·
Discuss: Hacker News
💾Retro Computing
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·7h
🔠Type-Level Programming
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·7h
🧪Property-Based Testing
Transformer based Collaborative Reinforcement Learning for Fluid Antenna System (FAS)-enabled 3D UAV Positioning
arxiv.org·7h
🤖Program Synthesis
Polygonal Obstacle Avoidance Combining Model Predictive Control and Fuzzy Logic
arxiv.org·7h
🤖Program Synthesis
Is Micro-expression Ethnic Leaning?
arxiv.org·7h
➡️Category Theory