Top stories for one week

How Is Data Stored?

Using an AI agent to design and ship a Rust diff fingerprinting algorithm

A Bus Route Falls Apart (2025)

Constraint Propagation for Fun

Scientists camouflage heart rate from invasive radar-based surveillance

Show HN: The Frontier, Tracking the LLM Pareto Frontier

Russian Watchdog Starts Limiting Access to Telegram

How to Prove the Correctness of AI-Generated Code Using Formal Methods

Show HN: I replaced a 200MB JVM process with a 52KB binary that speaks Kafka

Tell me about an OpenClaw skill

Cecli AI Coding Assistant

SAIR: Terence Tao's Foundation Uniting Nobel, Turing, Fields Laureates and AI

Show HN: Darna – Atomic commit validator for Go

Four Spaces Before

Client PrompX

Show HN: Murmur – open-source cron daemon for coding agents

A tool for automatic Haskell binding generation from C header files

Show HN: Open-source Liquid sections for Shopify themes

Estonian Intelligence 2026 International and Domestic Threat Report

How to Tax a Trillionaire