🔬 Unikernels

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

mkcd: The missing shell shortcut
dbohdan.com·1d·
Discuss: Hacker News
❄️Nix
A cellular entity retaining only its replicative core
biorxiv.org·1d·
Discuss: Hacker News
🐫OCaml
Computational understanding of Li-ion batteries (2016)
nature.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Evaluating Image Compression Tools
rachelplusplus.me.uk·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Color Doesn't Matter
tristanpemble.com·1d·
Discuss: Hacker News
🏹Effect Systems
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·3d·
Discuss: Hacker News
❄️Nixified Development
Explore 20 years of Mac UI design through emulations of a single app
9to5mac.com·14h
🍎Apple
The Siren Song of LLMs
anukrit.de·22h·
Discuss: Hacker News
✓Automated Theorem Proving
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·4d·
Discuss: Hacker News
💾Retro Computing
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·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Systemd's Nuts and Bolts
medium.com·5d·
Discuss: r/programming
⚙️Operating System Design
Looking for a switch
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Stopping the rot when good software goes bad means new rules from the start
theregister.com·18h·
Discuss: Hacker News
💾Retro Computing
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·1h
🔠Type-Level Programming
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·1h
🧪Property-Based Testing
Transformer based Collaborative Reinforcement Learning for Fluid Antenna System (FAS)-enabled 3D UAV Positioning
arxiv.org·1h
🤖Program Synthesis
Polygonal Obstacle Avoidance Combining Model Predictive Control and Fuzzy Logic
arxiv.org·1h
🤖Program Synthesis
Is Micro-expression Ethnic Leaning?
arxiv.org·1h
➡️Category Theory