🔬 Unikernels

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

Mamachari: A Guide to Japanese Utility Bicycles
savvytokyo.com·16h·
Discuss: Hacker News
🏔️climbing
r/bevy
reddit.com·3d·
Discuss: r/bevy
💾Retro Computing
State Capacity and Eight Parking Spaces
brethorsting.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
There is no free lunch when dealing with engineering processes
taoem.com·14h·
Discuss: Hacker News
👁️System Observability
How to Future-Proof Your Work and Life with a Personal OS
thenextshift.beehiiv.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Portrait of a Young DOGE Coder Dismantling America’s Institutions
bloomberg.com·2d·
Discuss: Hacker News, r/Longreads
💾Retro Computing
CPUs, GPUs, NPUs, and TPUs: Choosing the Right Processing Unit for AI Workloads
guptadeepak.com·6d·
Discuss: DEV, Hacker News
💾Retro Computing
The First Few Milliseconds of an HTTPS Connection
moserware.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
AI will bring back old boys’ clubs
bostonglobe.com·2d·
Discuss: Hacker News, r/Economics
🎮Verification Games
Everything I've Learned so far About OpenAI's Agents
leonfurze.com·5d·
Discuss: Hacker News
📦Unikernel Systems
What if Left-Right and Seq-Lock had a baby?
github.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Energy-Aware Resource Allocation for Multi-Operator Cell-Free Massive MIMO in V-CRAN Architectures
arxiv.org·2d
🖥️Self-hosted Infrastructure
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·6h·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·2d
🎮Verification Games
Adaptive Cluster Collaborativeness Boosts LLMs Medical Decision Support Capacity
arxiv.org·2d
💻CS
AI's 16:1 capex ratio: bubble or moat?
fluxus.io·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·1d·
Discuss: Hacker News
🛡️seL4
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
🐫OCaml
How Agentic AI Is Reshaping API Self-Discovery
thenewstack.io·12h
🤖Program Synthesis
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·4h
🐫Embedded OCaml