UnitedHealthcare rolling out new benefit aimed at early cancer detection
fiercehealthcare.com·2d·
Discuss: Hacker News
🍎XNU Internals
Safari vs. Chrome: The best browser for Apple users in 2025
expressvpn.com·2d·
Discuss: Hacker News
🍎Apple
The free tier death cult
arnon.dk·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A case for fleeting websites with agentic coding
andrewru.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
What would happen if USA started faking its economic data? Lessons from others
cnn.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
AI Can't Help You Write Well
jade.ellis.link·1d·
Discuss: Hacker News
🛡️seL4
moonfish: a ~2000 Elo python chess engine
reddit.com·3d·
Discuss: r/programming
🎮Verification Games
The chatbot's mental health break
newslttrs.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Data Center VXLAN Overlay Visibility at Scale
kentik.com·6d·
Discuss: Hacker News
📦Unikernel Systems
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·6d·
Discuss: Hacker News
🛡️seL4
Using sound to remember quantum information: « Once you have a quantum state, you might not want to do anything with it immediately
caltech.edu·3d·
Discuss: Hacker News
💾Retro Computing
Dramatic slowdown in melting of Arctic sea ice surprises scientists
theguardian.com·10h·
Discuss: Hacker News
🐫OCaml
I built RailFlow to keep AI-assisted coding fast without the mess. Honest opinions welcome
reddit.com·6d·
Discuss: r/programming
🔄Reproducible Builds
Show HN: Catjam a VSCode extension that grooves with your typing speed
github.com·2d·
Discuss: Hacker News
👁️System Observability
ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
arxiv.org·2d
🎮Verification Games
Sanity Check: Is my network traffic properly encrypted with this setup?
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Microsoft and the Rise of the Full-Stack Builder
thenewstack.io·5d
🔄Reproducible Builds
Probabilistic Forecasting Method for Offshore Wind Farm Cluster under Typhoon Conditions: a Score-Based Conditional Diffusion Model
arxiv.org·5d
🐫OCaml
Multi-Label Plant Species Prediction with Metadata-Enhanced Multi-Head Vision Transformers
arxiv.org·5d
🔠Type-Level Programming
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
arxiv.org·2d
🤖Program Synthesis