Hacker News Digest

· 4 Hacker News

  1. ▲ 56New York Rep Moves to Make Gamers Own Their Games, Not Just License Them

    Rep. Ritchie Torres of New York's 15th congressional district has introduced the Power To The Players Act, which would direct the FTC to write rules ensuring that buying a video game grants real owne…

  2. ▲ 17Decoding a PNG, byte by byte, from chunk headers to Adam7 interlacing

    A walkthrough of the full PNG decoding pipeline: how chunks are structured and named, why the IDAT data is concatenated and decompressed with plain zlib, how per-line filters are undone, and how Adam…

  3. ▲ 12Vacuula Revives Dead Neato Robot Vacuums with a Custom Server

    Vacuula is an open-source custom server that brings broken Neato robot vacuums back to life. It supports Gen3 D3–D7 and Gen4 D800–D10 models, offering maps, schedules, zones, and historical runs thro…

  4. ▲ 3Lean now ships with four extra kernels, one proven consistent by Claude

    AI agents keep finding soundness bugs in Lean's proof checker, so Lean v4.35.0 adds a `lake check` command that rechecks your development in a sandbox against the official kernel, plus four more kern…