🔬 Unikernels

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

Free Deltarune Prophecy Generator – Create pixel-perfect prophecy images
deltaruneprophecy.net·6h·
Discuss: Hacker News
📦Unikernel Systems
Marines now have an official drone-fighting handbook
marinecorpstimes.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Employees Arrested Over Alleged Theft of Chip Tech for Apple A20 Chip
macrumors.com·22h·
Discuss: Hacker News
🍎Apple
The History and Physics of the Atomic Bomb
wired.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
I built a product video with AI
gregceccarelli.com·1d·
Discuss: Hacker News
💾Retro Computing
Three former employees of TSMC detained, accused of smuggling secrets of 2nm
taipeitimes.com·10h·
Discuss: Hacker News
🍎XNU Internals
Enough doom-mongering about climate change
telegraph.co.uk·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Perplexity Plagiarized Our Story About How Perplexity Is a Bullshit Machine
wired.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Honest review of Lovable from an AI engineer, I love r/programming
medium.com·3d·
Discuss: r/programming
👁️System Observability
Uncertainty-Aware Segmentation Quality Prediction via Deep Learning Bayesian Modeling: Comprehensive Evaluation and Interpretation on Skin Cancer and Liver Segm...
arxiv.org·1d
🔠Type-Level Programming
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·1d
🎮Verification Games
Learning to Perform Low-Contact Autonomous Nasotracheal Intubation by Recurrent Action-Confidence Chunking with Transformer
arxiv.org·1d
💻CS
Six Guidelines for Trustworthy, Ethical and Responsible Automation Design
arxiv.org·1d
🤖Program Synthesis
Government surplus find
i.redd.it·4d·
Discuss: r/homelab
🏠HomeLab
Separated-Variable Spectral Neural Networks: A Physics-Informed Learning Approach for High-Frequency PDEs
arxiv.org·2d
🐫OCaml
MetaExplainer: A Framework to Generate Multi-Type User-Centered Explanations for AI Systems
arxiv.org·2d
✓Automated Theorem Proving
Multi-Layer Attention is the Amplifier of Demonstration Effectiveness
arxiv.org·2d
✓Automated Theorem Proving
What “core services” do you set up on your PVE host vs. in containers?
reddit.com·4d·
Discuss: r/homelab
⎈Kubernetes
Uncertainty Estimation for Novel Views in Gaussian Splatting from Primitive-Based Representations of Error and Visibility
arxiv.org·1d
🎮Verification Games
Show HN: Give coding agents MCP access to lint/test/format with 1 YAML file
news.ycombinator.com·22h·
Discuss: Hacker News
❄️Nixified Development