Disney's ESPN to acquire NFL media assets in major deal
cnbc.com·2d·
Discuss: Hacker News
❄️Nix
Hubble catches sharpest image yet of 3I/ATLAS
skyatnightmagazine.com·11h·
Discuss: Hacker News
❄️Nix
Companies House confirms identity verification rollout from 18 November 2025
gov.uk·2d·
Discuss: Hacker News
💻CS
The 64-Degree Egg, And Other Delicious Variants
hackaday.com·18h
✓Automated Theorem Proving
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Senators are trying to force ISPs to block all foreign pirate sites
theverge.com·18h·
Discuss: Hacker News, r/Piracy
📡Network Protocol Design
Trump says JPMorgan Chase, Bank of America rejected him as a bank customer
cnbc.com·2d·
Discuss: Hacker News, r/Economics
❄️Nix
How to Reduce Screen Time: Tips to Put Your Phone Down
nytimes.com·3d·
Discuss: Hacker News
🎮Verification Games
Reflections on Matrix criticism over the last week
gist.github.com·5d·
Discuss: Hacker News
👁️System Observability
Markdoc and OpenAPI/Swagger spec generator
scheduleddowntime.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
What Is Superintelligence?
thefp.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Gentle Introduction To Fortran
hackaday.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Keyboard Hero: A Barebones Alternative To The Guitar Version
hackaday.com·4d
💾Retro Computing
4.1 Opus Committed Deliberate Task Fraud in Production Context
github.com·15h·
Discuss: Hacker News
🛡️seL4
Show HN: AI Sandbox with Kata, Firecracker, Cloud HV (E2B, Daytona Alternative)
cognitora.dev·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Created a Go-specific alternative to LeetCode
medium.com·3d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Endor: Fire up a Dev Environment in Seconds With WebAssembly
thenewstack.io·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
SEP-XXXX: Server-Side Authorization Management with Client Session Binding
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·3d
🐫OCaml
CloudStack+KVM based RPi5 Homelab
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab