🔬 Unikernels

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

Cops say criminals use a Google Pixel with GrapheneOS — I say that’s freedom
androidauthority.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·4d·
Discuss: r/programming
📦Unikernel Systems
Using a USB Foot Pedal for Vibe Coding
coding.napolux.com·11h·
Discuss: Lobsters, Hacker News, r/programming
💾Retro Computing
I just wanted to teach my kid to code — ended up building a full AI app.
vibelf.com·2d·
Discuss: r/programming
🎮Verification Games
Engineering With Java: Digest #56
javabulletin.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Finding a Job: Build Something Real
blog.stuartspence.ca·14h·
Discuss: Hacker News
🔄Reproducible Builds
How many professional developers are actually aware of the research from DORA (Formerly DevOps Reports)
dora.dev·20h·
Discuss: r/programming
🔄Reproducible Builds
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·3d·
Discuss: Hacker News
📦Unikernel Systems
A Quantum Correspondence
3quarksdaily.com·9h·
Discuss: Hacker News
➡️Category Theory
The Covert Hardware Implant: Part 1
rift.stacktitan.com·3d·
Discuss: Hacker News
💾Retro Computing
The Evolution of AI Job Orchestration. Part 1: Running AI Jobs on GPU Neoclouds
blog.skypilot.co·5d·
Discuss: Hacker News
⎈Kubernetes
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·2d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
My uhhh Mini Rack.... Introducing Jcorp Nomad: An itty bitty Media Server
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·14h
✓Automated Theorem Proving
Wordle-GRPO – A $100 Agent
github.com·7h·
Discuss: Hacker News
🎮Verification Games
A personal assistant for everyone: The promise of ambient AI
freethink.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
"high level" languages are easier to optimize
jyn.dev·2d·
Discuss: Hacker News
🔤DSLs
Wallets as Universal Access Devices
arxiv.org·4d
🖥️Self-hosted Infrastructure
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·4d·
Discuss: Hacker News
🔤DSLs