Hacker News Digest
· 7 Hacker News
OpenAI announced that its AI solved the Partition Principle, a problem open for over a century. Set theorist Asaf Karagila, who has worked on it for 15 years, calls the preprint a mess: unclear, poor…
Jevman is an open-source Pac-Man benchmark that evaluates AI decision models in real time. Six models, including jev 1.13, GPT-6 Luna, and Clef Flash, each played 100 games against classic ghosts, wi…
SVG Spark is a collection of 10 free browser-based utilities that handle SVG conversion, regex debugging, image resizing, PDF manipulation, JSON export, subtitle cleaning, UTM building, SQL formattin…
Pocketty is a native SSH terminal for iPhone and iPad built for herdr users. It notifies you the moment an AI agent is blocked or done, then lets you jump straight into the exact Pane over SSH. The t…
Edi Life OS consolidates ten life management workspaces—habits, goals, Kanban, finance, focus, calendar, notes—into one private, self-hosted dashboard. Unlike scattered apps that don't talk to each o…
Spinal is a new tool for understanding any codebase, its evolution, and live changes. Benchmarked on the Linux kernel's 1.48 million commits and 96,000 files, its engine returns first search results…
Jane Street's internal message bus, Aria, processes terabytes daily. An intern's summer project introduced topic partition indexes and adaptive tree splitting to speed up message recovery. The indexi…