🔬 Unikernels

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

Transfer.it – effortless file sharing, powered by MEGA
blog.mega.io·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You Can Now Buy Eggs from In-Ovo Sexed Hens
optimistsbarn.substack.com·3h·
Discuss: Substack
🍎Apple
Mkosi – Build Bespoke OS Images
mkosi.systemd.io·5d·
Discuss: Hacker News
❄️Nixified Development
Should You Always Care about Your Website Size?
platformos.com·9h·
Discuss: Hacker News
📡Network Protocol Design
Testable Python Code without Mocks and Patchs
siminchen.substack.com·3d·
Discuss: r/programming
🧪Property-Based Testing
My Two Cents on Abundance
josephheath.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
In Search of Dignity: Kurt Vonnegut Predicts AI (In "Player Piano")
thefordhamram.com·1d·
Discuss: Hacker News
💾Retro Computing
Front End Assets in Ruby on Rails Through the Years
cassey.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Why evaluating the impact of AI needs to start now
nature.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Linux has over 6% of the desktop market? Yes, you read that right
zdnet.com·3d·
Discuss: Hacker News
❄️Nix
AI whiplash, and Neovim in the age of AI
dlants.me·4d·
Discuss: Hacker News, r/neovim
👁️System Observability
I built a memoryless AI persona system at 18
medium.com·2d·
Discuss: Hacker News
💾Retro Computing
Frequently Asked Questions about FHE
jeremykun.com·3d·
Discuss: Lobsters, Hacker News
🔤DSLs
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Storage advice wanted for my homelab
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
2025 One-Hertz Challenge: HP Logic Probe Brought Into The Future
hackaday.com·3d
💾Retro Computing
I'm creating a shell preprocessor based on shell file comments
github.com·1d·
Discuss: r/opensource, r/programming
🛡️seL4
Iteratively Learning Muscle Memory for Legged Robots to Master Adaptive and High Precision Locomotion
arxiv.org·13h
🐫Embedded OCaml
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·13h
✓Automated Theorem Proving