Status update, October 2025
bisco.org·1d
❄️Nix Flakes
Flag this post
Introdution to cloud-init and bridge networking
h45h.gitlab.io·19h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·22h·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Nostr is deceptively tricky to understand
njump.me·1d·
🔐CBOR
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·17h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·4h
📡Information theory
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·1d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·20h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·19h·
Discuss: Hacker News
🛣️BGP Hijacking
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.com·17h
🌊Stream Processing
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·4h
⚛️Quantum Archives
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·1d·
👁️Observatory Systems
Flag this post
Dive into Systems
diveintosystems.org·16h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·1d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·1d·
Discuss: DEV
🏠HomeLab
Flag this post
Ukraine First To Demo Open Source Security Platform To Help Secure Power Grid
hardware.slashdot.org·8h
🔓Hacking
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·1d
🤝Consensus Algorithms
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·15h·
Discuss: Hacker News
Proof Automation
Flag this post