🔬 Unikernels

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

Project Gemini – new internet technology for interconnected text documents
geminiprotocol.net·3h·
Discuss: Hacker News
📡Network Protocol Design
AWS EC2 Instance Timeline
instancetyp.es·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NPM Fund
gojiberries.io·1d·
Discuss: Hacker News
🍎XNU Internals
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·1d·
Discuss: r/rust
🔬Static Analysis
A PhD's Apology
cappadokes.github.io·4d·
Discuss: Hacker News
💻CS
Systemd’s Nuts and Bolts - A Visual Guide to Systemd
medium.com·4d·
Discuss: r/programming
🏠HomeLab
Ubuntu - xRDP is enabled but inactive whenever system reboots
reddit.com·2d·
Discuss: r/homelab
🍎XNU Internals
How Did Elon Musk Turn Grok into MechaHitler?
prospect.org·3d·
Discuss: Hacker News
🐫OCaml
Why I Hate Azure with a Passion
medium.com·23h·
Discuss: Hacker News
👁️System Observability
Writing Is Thinking
nature.com·54m·
Discuss: Hacker News
✓Automated Theorem Proving
Quantitative Risk Management in Volatile Markets with an Expectile-Based Framework for the FTSE Index
arxiv.org·3h
🐫OCaml
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·3h
🐫Embedded OCaml
Safe Robotic Capsule Cleaning with Integrated Transpupillary and Intraocular Optical Coherence Tomography
arxiv.org·3h
👁️System Observability
An LLM Router That Thinks Like an Engineer
medium.com·5d·
Discuss: Hacker News
📡Network Protocol Design
Remote backup pod at a friend/family member's house
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Situated Software (2004)
web.archive.org·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.org·3d
🔄Reproducible Builds
What's More Advanced Than AI? Quantum AI Is the Next Leap Forward
cnet.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·3d
🍎Apple
Since I have to move twice this month, I threw together a temporary condensed setup that I'm very happy with
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab