Microsoft Confirms the Closure of Its Underwater Data Center
extremetech.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Rastion – Autonomous Monitoring Systems
rastion.com·2d·
Discuss: Hacker News
👁️System Observability
Run a server at home using Raspberry Pi and Tunnelmole
softwareengineeringstandard.com·2d·
Discuss: Hacker News
🏠HomeLab
Rive – Data Binding, Supercharged: Lists, Images, and Artboards
rive.app·2d·
Discuss: Hacker News
🏹Effect Systems
Why we finally allowed arbitrary waits in our tests
octomind.dev·1d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
We tried running AI in browsers and low-end phones. Here's what actually worked
blog.extrieve.com·2d·
Discuss: r/programming
🔬Unikernels
Against Single-File Codebases
rugu.dev·4d·
Discuss: Hacker News
❄️Nixified Development
I avoid using LLMs as a publisher and writer
lifehacky.net·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·2d·
Discuss: Hacker News
🎮Verification Games
Time for Britain's CMA to strike hard – or risk losing the cloud competition fight
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
IntelliJ IDEA Moves to the Unified Distribution
blog.jetbrains.com·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4
Need graphics card ideas for old Supermicro X7DWE
reddit.com·18h·
Discuss: r/homelab
💾Retro Computing
Custom Backplane for Raspberry Pi
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
This Week in Security: Trains, Fake Homebrew, and AI Auto-Hacking
hackaday.com·1d
🛡️seL4
Bitnami containers community catalog has been deprecated
github.com·2d·
Discuss: Hacker News, Hacker News
⎈Kubernetes
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·2d
🎮Verification Games
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·3d
➡️Category Theory
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com·2d·
Discuss: r/programming
❄️Nixified Development
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds