Switched on Bach
archive.org·12h·
Discuss: Hacker News
🍎Apple
The Surgeon and the Homemaker
thepublicdiscourse.com·3h·
Discuss: Hacker News
🎮Verification Games
Really interesting and pragmatic approach to main and branches - are people using it?
martinfowler.com·5h·
Discuss: r/programming
👁️System Observability
Open Source Tools to Detect CVE-2024-54085
eclypsium.com·2d·
Discuss: Hacker News
🛡️seL4
Semaphore Enterprise Edition is free for small teams
semaphore.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
uncertainty is an evocative state
startingfromnix.com·20h·
Discuss: Hacker News
➡️Category Theory
The European Cloud/Computing Situation
berthub.eu·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Where Small Boats Still Outrun Giants
shayne.dev·2d·
Discuss: Hacker News
🔬Unikernels
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·4d
⚙️Operating System Design
Distributed Systems for Fun and Profit
book.mixu.net·5d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Smart Guardian – a privacy-first Chrome extension to protect kids
github.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Kubrick, the Video Processing Agent
github.com·3d·
Discuss: Hacker News
🎮Verification Games
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Looking for a lightweight Linux distro
reddit.com·19h·
Discuss: r/homelab
❄️Nix
Show HN: ByteWise Search a Privacy, Zero-Traffic, Community-Driven Search Engine
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Seeing Like an LLM
strangeloopcanon.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Apple @ Work: Passkey portability is finally here in iOS 26 and macOS Tahoe 26
9to5mac.com·1d
🍎Apple
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Apple planning new Mac external display, MacBooks, iPads, and more for early 2026
9to5mac.com·2d
🍎Apple