🔬 Unikernels

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

Proxmox Donates €10,000 to The Perl and Raku Foundation
perl.com·3d·
Discuss: Hacker News
❄️Nix
Show HN: Reviving the Mailbox app nostalgia by rebooting a 0 inbox mail app
two-trick-pony-nl.github.io·2d·
Discuss: Hacker News
🍎Apple
How to Make a Font That Says Nothing
untested.sonnet.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Holy Shit. I built the X post generator
twyg.vercel.app·1d·
Discuss: Hacker News
🍎Apple
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·2d·
Discuss: Hacker News, Hacker News
🔬Static Analysis
Beyond food and people
aeon.co·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Analysis of Casey Muratori – The Big Oops: Anatomy of a Thirty-Five-Year Mistake
posrodnas.bearblog.dev·5d·
Discuss: Hacker News
⚙️Operating System Design
Clowns to the Left of Me
blog.korny.info·3d·
Discuss: Hacker News
👁️System Observability
The Invisible Leash: Why RLVR May Not Escape Its Origin
arxiv.org·4d
🎮Verification Games
To Unifi or to not Unifi: 2.5Gb and managed networking.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·1d
🎮Verification Games
Scalable Climate Data Analysis: Balancing Petascale Fidelity and Computational Cost
arxiv.org·4d
🧱Immutable Infrastructure
Hacker slips malicious 'wiping' command into Amazon's Q AI coding assistant
zdnet.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Apple's Liquid Glass: When Aesthetics Beat Function
maxvanijsselmuiden.nl·3d·
Discuss: Hacker News
🍎Apple
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·2d
🎮Verification Games
ERMV: Editing 4D Robotic Multi-view images to enhance embodied agents
arxiv.org·2d
🐫Embedded OCaml
Qwen3‑Coder Unleashed – Agentic Coding's New Powerhouse
algogist.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·4d
💻CS
Pure Bash MCP Server for FFmpeg
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
Verify Identities During Self-Service Registration
fusionauth.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure