Tägliche Übersicht · Hacker News

· 4 Hacker News

  1. ▲ 57New York will Spielern echte Eigentumsrechte an Videospielen sichern

    Der Abgeordnete Ritchie Torres aus New York hat den Power To The Players Act vorgestellt. Der Gesetzentwurf verpflichtet die FTC, Regeln aufzustellen, nach denen der Kauf eines Videospiels dem Käufer…

  2. ▲ 17So funktioniert die Dekodierung einer PNG-Datei Schritt für Schritt

    Eine PNG-Datei besteht aus Chunks, deren Groß- und Kleinschreibung im Namen bestimmt, wie mit ihnen umzugehen ist. Der IDAT-Chunk enthält die eigentlichen Bilddaten, die mit zlib komprimiert sind. Na…

  3. ▲ 12Vacuula erweckt ausgemusterte Neato-Saugroboter mit eigenem Server wieder zum Leben

    Neato hat den Cloud-Dienst für seine Saugroboter abgeschaltet, doch die Hardware läuft weiter: Vacuula ist ein selbst gehosteter Server, der die Verbindung ersetzt. Unterstützt werden die Modelle D3…

  4. ▲ 3Lean prüft Beweise jetzt mit vier unabhängigen, teils formal verifizierten Kernels

    Leonardo de Moura kündigt an, dass Lean ab Version 4.35.0 mit dem Befehl `lake check` Entwicklungen in einer Sandbox gegen den offiziellen Kernel `leanchecker` prüft. Mit `--paranoid` werden zusätzli…