🔬 Unikernels

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

Show HN: Zzz – IDE for Kotlin mobile development on Windows
s0mbra.com·3d·
Discuss: Hacker News
❄️Nixified Development
Apple Intelligence Foundation Language Models Tech Report 2025
machinelearning.apple.com·2d·
Discuss: Hacker News
🍎Apple
Google Sues Operators of 10M-Device Badbox 2.0 Botnet
securityweek.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The World’s Most Powerful Server Embiggens A Bit With Power11
nextplatform.com·2d·
Discuss: Hacker News, Hacker News
💾Retro Computing
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·19h·
Discuss: Hacker News
✓Automated Theorem Proving
A Recap on May/June Stability at Neon
neon.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The Seductions of A.I. for the Writer’s Mind
nytimes.com·1d·
Discuss: Hacker News
🎮Verification Games
X24 datasheet error or am I missing something ?
reddit.com·21h·
Discuss: r/homelab
❄️Nix
Sharing an OMV folder across VLANs, how vulnerable would this be?
i.redd.it·4d·
Discuss: r/homelab
🏠HomeLab
Dipping a toe in the water
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
I want a NAS, but I'm analysis-paralysis-stuck!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·3d
🐫OCaml
🔧 Building a Home Lab (Beyond Just Laptop) for Cloud Support Engineer Learning – Need Guidance
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·1d
🐫OCaml
PVCSub: A Submarine from the Plumbing Aisle
hackaday.com·14h
⎈Kubernetes
Why AI Agents Need a New Kind of Browser
thenewstack.io·18h
🛡️seL4
Knip Hits 500 Releases with v5.62.0, Improving TypeScript Config Detection and Plugin Integrations
socket.dev·20h·
Discuss: Hacker News
📦Unikernel Systems
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·4d
🔤DSLs
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·1d
🐫Embedded OCaml