🔬 Unikernels

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

Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
OpenAI ChatKit Review: Technical Deep Dive and Why We Didn't Adopt It
quickchat.ai·2h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Show HN: Vercel-like deployments on your own VPS
outlap.dev·2d·
Discuss: Hacker News
🐳Containerization
Flag this post
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·20h·
Discuss: DEV
💾Retro Computing
Flag this post
How to Optimize Android Apps for Foldable and Wearable Devices?
dev.to·1h·
Discuss: DEV
📵Digital Minimalism
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🎨GADTs
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Intel's LLM-Scaler Updated With OpenAI's GPT-OSS Model Support
phoronix.com·7h
🔧Unikernel Development
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Turning Kubernetes observability into reliability with SLOs and runbooks
reddit.com·7h·
Discuss: r/kubernetes
👁️Observability
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Open Container Initiative "OCI" Runtime Spec v1.3 Released With FreeBSD Support
phoronix.com·3h
🐳Containerization
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·13h
📐Linear Algebra
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·17h·
Discuss: DEV
💎Refinement Types
Flag this post
Identifying Linux Kernel Instability Due to Poor RCU Synchronization
arxiv.org·13h
🔧Unikernel Development
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🏃Escape Analysis
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
🏗️Dune
Flag this post
Told myself I'd switch back to Windows after I get my RAM back... Now I don't think I'm ever going back to Windows
reddit.com·1d·
Discuss: r/linux
📺Vintage Apple
Flag this post