Oregon Trail where dysentery makes you pull over to poop, constantly
gamesradar.com·7h·
Discuss: Hacker News
🎮Verification Games
What My Mother Didn't Talk About (2020)
buzzfeednews.com·4h·
Discuss: Hacker News
🛡️seL4
Microsoft Comic Chat Resources
kurlander.net·18h·
Discuss: Hacker News
🍎Apple
ASUS Unveils ROG Astral GeForce RTX 5090 Real Gold Edition with 5 kg of Pure Gold
techpowerup.com·3d·
Discuss: Hacker News
🍎Apple
Firefox Security & Privacy newsletter 2025 Q2
attackanddefense.dev·14h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·6h·
Discuss: Hacker News
📦Unikernel Systems
Energy Efficient Buildings with Walls, Floors and Ceilings Like Elephant Ears
drexel.edu·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
The Problem of Hidden Dependencies
marcelsud.me·2d·
Discuss: Hacker News
👁️System Observability
We built a real-time service that handles 20k updates per second
trigger.dev·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·22h
🎮Verification Games
Stopping the rot when good software goes bad means new rules from the start
theregister.com·3d·
Discuss: Hacker News
🛡️seL4
Start from 2D: How I Design 3D Levels Using the Wrap-around Method
saarraz.substack.com·1d·
Discuss: Substack
🎮Verification Games
Show HN: MCP Project Manager – Hierarchical task management for AI assistants
github.com·1d·
Discuss: Hacker News
🏠HomeLab
💸 $1134 AWS Bill Later What’s the Best Hardware for a Budget-Efficient Kubernetes Homelab?
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Built my first server out of an old gaming pc. It died, and I need help with a new one
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·22h
➡️Category Theory
Exploring Gender Bias in Alzheimer's Disease Detection: Insights from Mandarin and Greek Speech Perception
arxiv.org·22h
➡️Category Theory
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·22h
🔍Formal Verification