🖥 Self-Hosting

Homelab, Server Management, Network Infrastructure, Data Sovereignty

Verification power of rational-valued automata with deterministic and affine states
arxiv.org·9h
🔍Formal Verification
Acer Unveils the Veriton GN100 AI Mini Workstation Built on the Nvidia GB10
news.acer.com·1d·
Discuss: Hacker News
🔧Unikernel Development
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Multiple undersea cable cuts in the Red Sea
subseacables.blogspot.com·1d·
Discuss: Hacker News
📡Network Protocol Design
We all dodged a bullet
xeiaso.net·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Don't Settle for "Good": It Is Time for New LCP Thresholds
speedkit.com·1h·
Discuss: Hacker News
📊Runtime Verification
The Last Days of Social Media
longreads.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PopSQL Moves to Limited Support
popsql.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
ZynorRAT technical analysis: Reverse engineering a go-based remote access trojan
sysdig.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Stop Certificate Pinning (2020)
digicert.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·10h·
Discuss: Hacker News
👁️System Observability
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Hyperif – Chat with your data across all your tools
hyperif.com·2d·
Discuss: Hacker News
🐳Containerization
Would a self-hosted update server for desktop apps be useful?
news.ycombinator.com·5d·
Discuss: Hacker News
❄️Nixified Development
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·2h·
Discuss: Hacker News
🔄Reproducible Builds
AI Browsers: A Needs Analysis
chamomile.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
💎Refinement Types
Homelab feedback and yet another TrueNAS vs Proxmox discussion
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Homelab V2 - thoughts and advice?
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab