Show HN: Rastion – Autonomous Monitoring Systems
rastion.com·2d·
Discuss: Hacker News
👁️System Observability
Perennial Task Just Got More Flexible
arthurdick.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
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·3d·
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·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·2d·
Discuss: Hacker News, r/linux
💾Retro Computing
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·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4
This Week in Security: Trains, Fake Homebrew, and AI Auto-Hacking
hackaday.com·1d
🛡️seL4
A stand-alone dev/test/prod env bootstrapper on repo clone in pure `Python`?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
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
Custom Backplane for Raspberry Pi
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Bitnami containers community catalog has been deprecated
github.com·3d·
Discuss: Hacker News, Hacker News
⎈Kubernetes
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