Every hour 100 people die of loneliness-related causes, UN health agency reports
news.un.org·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wishes Upon My Demise
vale.rocks·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Open Source CubeSat Workshop Is Back
events.libre.space·1d·
Discuss: Hacker News
⎈Kubernetes
How I used ChatGPT to analyze, debug, and rewrite a broken plugin from scratch - in an hour (7/2025)
zdnet.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
Falsehoods programmers believe about email (2022)
beesbuzz.biz·5d·
Discuss: Hacker News
📡Network Protocol Design
I was wrong about robots.txt
evgeniipendragon.com·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Ship Your Directory in 1-Hour with DirEasy Boilerplate
direasy.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·4d·
Discuss: Hacker News
👁️System Observability
Google finds custom backdoor being installed on SonicWall network devices
arstechnica.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·4d·
Discuss: Hacker News
🔄Reproducible Builds
A Spectrophotometer Jailbreak to Resolve Colorful Disputes
hackaday.com·19h
🍎Apple
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·3d·
Discuss: Hacker News
📦Unikernel Systems
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.org·5d
✓Automated Theorem Proving
Ask HN: How do you validate a product idea before building?
news.ycombinator.com·10h·
Discuss: Hacker News
🛡️seL4
Moped – Windows Notepad Equivalent for Mac
github.com·2d·
Discuss: Hacker News
🍎Apple
Coldplay kiss-cam flap proves we’re already our own surveillance state
theregister.com·2d·
Discuss: Hacker News
🍎Apple
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·4d
🐫OCaml
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·5d
✓Automated Theorem Proving
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Stadia Maps MCP Server – Location Context for AI
github.com·4d·
Discuss: Hacker News
🔠Type-Level Programming