Resumen diario · Hacker News

· 4 Hacker News

  1. ▲ 57Nueva York presenta un proyecto de ley para que los jugadores sean dueños de sus videojuegos y no solo tengan una licencia

    El congresista Ritchie Torres, del distrito 15 de Nueva York, ha presentado la Power To The Players Act, que encargaría a la FTC regular la propiedad de los videojuegos: comprar un juego daría al con…

  2. ▲ 17Así se decodifica un PNG paso a paso

    Un recorrido técnico por el proceso completo de decodificación de un PNG: desde la estructura de chunks con sus CRC y nombres que indican criticidad, hasta la concatenación de los datos IDAT, la desc…

  3. ▲ 12Vacuula revive tu Neato con un servidor propio

    Vacuula es un servidor personalizado de código abierto que devuelve la vida a los robots aspiradora Neato cuyos servicios en la nube han dejado de funcionar. Compatible con los modelos Gen3 (D3 a D7)…

  4. ▲ 3Lean ahora incluye kernels verificados para blindar sus demostraciones

    Leonardo de Moura anuncia que Lean v4.35.0 incorpora el comando lake check, que reexporta un desarrollo y lo revalida en un sandbox con leanchecker. Además distribuye cuatro kernels externos —nanoda,…