📰 Tech Trends Daily — Montag, 3. August 2026

🔥 Heute im Fokus

Der Montag beginnt mit Karpathy, der dem klassischen KI-Bild-Benchmark „pelican on a bicycle” die Graduierung erteilt hat (375 Punkte, heute Spitzenreiter auf HN) – der Test, den Simon Willison 2024 populär machte, gilt damit als geknackt. Die Kommentarspalte spaltet sich sofort: Die eine Seite zählt die elementaren Fehler der KI-Pelikane auf – zwei Beine auf derselben Fahrradseite, gleich zwei Schnäbel – und nennt die „Lösung” Selbstbetrug; die andere kontert, die Debatte sei längst bei der Geschmacksfrage „welcher Pelikan sieht besser aus” angelangt, und genau das sei der Beleg für den Wendepunkt, an dem Modelle nicht mehr offensichtlich scheitern. Beide Lesarten stimmen: Die Trennschärfe des Benchmarks ist tatsächlich erschöpft – daraus zu schließen, das Problem sei „gelöst”, ist etwas anderes. Interessanter ist die zweite Linie: Der Soundness-Bug #14576 im Kern des Lean-Beweisassistenten wurde durch einen LLM-Versuch ans Licht gezogen, die Collatz-Vermutung zu widerlegen – das LLM behauptete, ein Gegenbeispiel gefunden zu haben, und das Gegenbeispiel entpuppte sich als Artefakt eines Kernel-Bugs. Formale Verifikation verspricht, den „KI-Halluzinationen” ein Ende zu setzen – und dann bricht zuerst die Vertrauenskette des Verifizierers selbst. Die dritte Linie ist eine Nostalgie-Explosion: NetBSD 11.0 ist offiziell erschienen (99 Punkte, Platz 1 auf Lobsters), RISC OS Open feiert zwanzig Jahre, auf einer 6502 läuft ein autoregressives Sprachmodell, CP/M-386 wird wiederbelebt – alte Plattformen werden im KI-Zeitalter zum Refugium.

🤖 KI & LLM

  • Karpathys Pelican — Karpathy’s Pelican. 375 Punkte / 296 Kommentare (HN). Der Beitrag mit der höchsten Punktzahl des Tages: Karpathy deutet an, dass der „pelican on a bicycle”-Benchmark geknackt ist. 💬 Morromist feuert direkt: KI-Pelikane haben weiterhin beide Beine auf derselben Fahrradseite oder gleich zwei Schnäbel – „den Test wechseln” ist nicht „den Test bestehen”; jonas21 kontert, die Debatte sei längst bei der Geschmacksfrage „welcher sieht besser aus” angelangt – genau das sei das Signal, dass Modelle nicht mehr auf offensichtliche Weise scheitern.
  • Mein persönlicher KI-Benchmark: ein SVG-Frosch mit Habsburger Unterkiefer — My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw.”. 76 Punkte / 42 Kommentare (HN). Die Extremform des persönlichen Benchmarks: Das Modell soll einen Frosch mit dem markanten Habsburger Kinn als SVG zeichnen – gefordert sind SVG-Kodierung und obskures Geschichtswissen zugleich. Mehr Persönlichkeit als jedes Benchmark-Suite.
  • Autoregressives Sprachmodell auf dem 6502 — Autoregressive Language Model on the 6502 Processor. 14 Punkte / in Diskussion (HN). BitNet-Quantisierung heruntergebrochen auf eine 8-Bit-CPU: Ein autoregressives Modell auf dem 6502. Leistung ist zweitrangig – dass es überhaupt läuft, ist die eigentliche Hardcore-Romantik.
  • Ich wähle Modelle (meist) nach Geschwindigkeit, nicht nach Intelligenz — I’m (mostly) picking models on speed now, not intelligence. △16 / 9 Kommentare (Lobsters). Meinungsbeitrag: Bei Alltagsaufgaben ist der Intelligenzunterschied zwischen Modellen kaum noch spürbar, die Latenz entscheidet über das Erlebnis – eine Parallele zu Karpathys Pelican-Post. Die Bewertungsmaßstäbe wandern von „kann es das?” zu „wie schnell?”.
  • Mathematik ohne Mathematiker — Mathematics Without Mathematicians. △10 / 8 Kommentare (Lobsters). Zerlegung der These, im LLM-Zeitalter brauche Mathematik keine Mathematiker mehr: KI beschleunigt Rechnen und Verifizieren, aber Fragen zu stellen bleibt Menschenarbeit.
  • Kognitive Schulden vermeiden, indem man LLM-Code von Hand abtippt — Prevent cognitive debt by manually retyping LLM-generated code. △25 / 12 Kommentare (Lobsters). Unorthodoxe Empfehlung: LLM-generierten Code vor dem Commit einmal manuell abtippen – Muskelgedächtnis statt Verständnislücke. Die Kommentare sind gespalten: Die eine Hälfte hält es für Performance-Kunst, die andere gibt zu, dass es funktioniert.
  • OpenAI: Zehn Fortschritte in Mathematik und theoretischer Informatik — Ten advances in mathematics and theoretical computer science. △13 / 1 Kommentar (Lobsters). OpenAI bilanziert die mathematischen Fortschritte der eigenen Modelle – am selben Tag wie der Lean-Soundness-Bug; das Timing ist pikant.
  • 23 Sprachen, von denen ich eine prüfen kann — 23 languages, one I can check. △1 / 2 Kommentare (Lobsters). Ein Projekt in 23 Sprachen, per LLM geschrieben – der Autor kann nur eine davon selbst prüfen. Selbstwahrnehmung im Vibe-Coding-Zeitalter.

🛠️ Werkzeuge, Infrastruktur & Entwicklererfahrung

  • Meshdiff: Zwei STL-Versionen direkt im Browser vergleichen — Meshdiff – visually compare two STL versions in the browser, client-side. 170 Punkte / 17 Kommentare (HN). Visual-Diff-Werkzeug für 3D-Druck-Dateien, rein clientseitig. 💬 Der Konsens der Kommentare ist eindeutig: Die drei Ansichtsfenster brauchen synchronisierte Rotation, eine GitHub-PR-Integration für 3D-Datei-Reviews wäre wünschenswert, und eine CLI-Version für CI fehlt – alles steht auf der Roadmap des Autors; die Nachfrageseite hat ihm die Prioritäten schon sortiert.
  • Show HN: MicroCodex – OpenAI/codex in C++ neu geschrieben, unter 1 MB — Show HN: MicroCodex Coding Agent. 11 Punkte / 3 Kommentare (HN). Ein Coding-Agent unter 1 MB – im Kontrast zu den hunderte Megabyte schweren Electron-Paketen zumindest in der Dimension „leicht” ein klarer Sieg.
  • Gos defer in den TypeScript-Compiler einbauen — Adding Go’s Defer to the TypeScript Compiler. 13 Punkte / 4 Kommentare (HN). Experiment: der TypeScript-Compilierung ein defer-Keyword hinzufügen – Compilerbau im Einsteigerformat, aber klar geschrieben. Compiler hacken macht einfach mehr Spaß als Business-Code.
  • Fasttracker-II-Clone in C mit SDL2 — Fasttracker II clone in C using SDL 2. 108 Punkte / 36 Kommentare (HN). Open-Source-Nachbau der legendären Tracker-Software – die Kommentare sind voller „da kommen die Jugendjahre wieder”.
  • FlickBoard — FlickBoard. △11 / 2 Kommentare (Lobsters). Flick-Eingabemethode für Android – Wisch-Eingabe als altmodische Interaktion, wiederbelebt im Touchscreen-Zeitalter.
  • EPIPE beim write bedeutet vielleicht, dass du es falsch machst — EPIPE on write might mean you’re doing it wrong. △18 / 4 Kommentare (Lobsters). rachelbythebays Klassiker: EPIPE ist kein Zufallsfehler, sondern ein falsches Lebenszyklus-Urteil über die Pipe – Unix-Semantik-Unterricht.
  • Das Fixi-Projekt — The Fixi Project. △24 / in Diskussion (Lobsters). Neues Projekt auf Lobsters, Tag practices – die Community erfindet weiter neue Träger für Engineering-Praxis.
  • Notizen und persönliches Wissensmanagement — Note-Taking and Personal Knowledge Management. 94 Punkte / 26 Kommentare (HN). Meta-Diskussion über PKM: Warum Notizsysteme immer gebaut und dann aufgegeben werden – ein paar der 26 Kommentare treffen den Punkt besser als der Artikel.
  • Entwickler hängen an Werkzeugen, weil Werkzeuge Vertrauen codieren — Developers are attached to tools because tools encode trust. 118 Punkte / 58 Kommentare (HN). Der Stack-Overflow-Blog über Werkzeugloyalität – der Konsens der 58 Kommentare: Ein Werkzeugwechsel kostet nie die Lernkurve, sondern die Neuprüfung der Frage „Kann ich diesem Werkzeug vertrauen?”.

🔒 Sicherheit & Datenschutz

  • Root-Rechte, Firmware-Analyse und hartcodierte Zugangsdaten beim TP-Link TL-841N — Rooting, firmware analysis and persistent credentials of TP-Link TL-841N. 74 Punkte / 14 Kommentare (HN) + △6 / 1 Kommentar (Lobsters). Firmware-Reverse-Engineering eines alten Routers: Hartcodierte Zugangsdaten überleben sogar den Werksreset – die Sicherheitsschulden billiger IoT-Geräte, verkauft wird Stück für Stück.
  • SSH-Credential-Ernte: Erkenntnisse aus meinem Honeypot-Netzwerk — Harvesting SSH Credentials: Insights from My Honeypot Network. 32 Punkte / 24 Kommentare (HN). Honeypot-Datenbericht: SSH-Brute-Force läuft rund um die Uhr, und die Qualität der Zugangsdaten ist höher als gedacht – die Kommentare erinnern wie immer daran, dass fail2ban nur ein Placebo ist.
  • EU-Altersverifikationsprojekt verlangt hardwaregebundene Attestierung — EU Age Verification Project Mandates Hardware-Bound Attestation. 85 Punkte / 35 Kommentare (HN). Das EU-Altersverifikationsschema verlangt Attestierung auf Hardware-Ebene – Browser- und Gerätehersteller werden zu „Alterspolizisten”; in den Kommentaren wird gestritten, ob Hardware-Attestierung am Ende zu Geräte-Fingerprinting wird.
  • Kaliforniens Löschanträge (DROP) sind ab 1. August durchsetzbar — Californians’ data deletion requests, DROP, become enforceable Aug. 1. 26 Punkte / 1 Kommentar (HN). Kaliforniens „Recht auf Löschung” wird einklagbar – die Regulierung ist nur der Anfang; die eigentliche Frage ist, ob Unternehmen überhaupt fähig sind, alle deine Daten zu finden und zu löschen.
  • „Crush this lady”: Wie eine eBay-Belästigungskampagne zu 56 Mio. Dollar Vergleich führte — ‘Crush this lady’: how eBay harassment campaign led to $56M payout. 137 Punkte / 60 Kommentare (HN). Der FT-Longread über die von eBay-Führungskräften orchestrierte Belästigungskampagne – von lebenden Maden per Post bis zu Drohbriefen. Wie tief das Urteilsvermögen von Tech-Managern sinken kann; alle 60 Kommentare fragen: „Das ist wirklich passiert?”.

💻 Systeme & Plattformen

  • NetBSD 11.0 veröffentlicht — NetBSD 11.0 released. △99 / 18 Kommentare (Lobsters). Höchste Punktzahl des Tages auf Lobsters. 💬 Highlight aus den Kommentaren: Die Entwickler räumen offen eine „vulnpocalypse” ein – KI-Tools lassen die Zahl der Vulnerability-Reports explodieren; statt das Release unbegrenzt zu verschieben, veröffentlicht man transparent mit offenen Issues. Neu ist RISC-V-Unterstützung, riscv64 hat bereits über 20.000 pkgsrc-Pakete. Ein Nutzer ist wegen Linus’ Kommentaren über LLMs von Linux auf NetBSD als Hauptsystem gewechselt, ein anderer hat sich dafür ein RISC-V-Entwicklungsboard gekauft.
  • Zwanzig Jahre RISC OS Open — Twenty Years of RISC OS Open. 143 Punkte / 27 Kommentare (HN) + △5 / 0 Kommentare (Lobsters). Das Betriebssystem aus der Acorn-Ära ist seit 20 Jahren Open Source. 💬 Altentwickler nickcw erinnert sich, seine !Director-App komplett in ARM-Assembler geschrieben zu haben; andere weisen darauf hin, dass die Notensatzsoftware Sibelius auf RISC OS entstanden ist – deutlich lebendiger als das „Museumsprojekt”, als das viele es abtun.
  • Show HN: Kakehashi – macOS-Binaries auf Linux-ARM im experimentellen Userspace — Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM. 152 Punkte / 35 Kommentare (HN). Das „Wine für macOS”: Mach-O-Binaries laufen direkt im Userspace. 💬 Autor vlad_kalinkin antwortet persönlich: 7-Zip läuft (5,2-mal langsamer als nativ, eine Optimierungs-Roadmap existiert), curl besteht über 200 automatisierte Tests, die Xcode-Git-Basisbefehle funktionieren; langfristiges Ziel sind die vollständigen Xcode Tools (inklusive iOS-Builds) und Homebrew für macOS. Der Vergleich mit Darling kommt auf – der Autor stellt klar: keine Abspaltung.
  • Show HN: NixOS-DGX-Spark — Show HN: NixOS-DGX-Spark. 81 Punkte / 22 Kommentare (HN). NixOS auf der persönlichen KI-Workstation DGX Spark von NVIDIA – der Versuch, deklarative Systemverwaltung auf KI-Hardware zu heben; in den Kommentaren geht es um die Reibung zwischen CUDAs Closed-Source-Treibern und Nix.
  • Rücktritt von Arch Linux — Resigning from Arch Linux. △44 / 4 Kommentare (Lobsters). Foxboron (Kernmitglied des Arch-Sicherheitsteams, Autor von sbctl) verkündet seinen Abschied – zusammen mit der gestrigen Abschaltung des AUR-Übernahmemechanismus die zwei Seiten desselben Governance-Drucks. 💬 novedeo: „Der Druck der letzten Monate ist für das Arch-Sicherheitsteam und die AUR-Maintainer mit Händen greifbar.”
  • Einen X11-Server über mehrere Hosts teilen: FamilyWild — Sharing an X11 Server Across Hosts with FamilyWild. 23 Punkte / 5 Kommentare (HN). Einen X11-Server für mehrere Rechner freigeben – das X-Protokoll kann auch im Wayland-Zeitalter noch Kunststücke.
  • MkLinux und der aufgemotzte Apple Workgroup Server 9150 — MkLinux and the pimped-out Apple Workgroup Server 9150. △12 / 3 Kommentare (Lobsters). Nostalgie-Archäologie: Apples offizielles Linux-Portierungsprojekt der 90er – von oldvcr.blogspot, wie immer mit erstklassigen Bildern.
  • CP/M-386: CP/M für den 386er-Protected Mode, abgeleitet von CP/M-68K — CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K. △2 / in Diskussion (Lobsters). Archäologie-Projekt: CP/M auf den 386er-Protected Mode portiert – am selben Tag wie das LLM auf dem 6502: die zwei Pole der Retro-Computer.
  • Aber kann dein Taschenrechner Linux? — But can your calculator run Linux?. △27 / 2 Kommentare (Lobsters). raymii quält einen Grafikrechner mit Linux – „kann es Linux?” ist längst das universelle Maß für Hardware.
  • Kann man aus einem Raspberry Pi ein Wii-U-Gamepad bauen? — Can you make a Wii U gamepad from a Raspberry Pi?. △2 / in Diskussion (Lobsters). Hardware-Hacking-Video: Nachdem das Bildschirm-Streaming-Protokoll des Wii-U-GamePads reverse-engineered wurde, wird der Raspberry Pi zur billigen Alternative.

💬 Programmiersprachen

  • F*: eine universelle, beweisorientierte Programmiersprache — F*: A general-purpose proof-oriented programming language. 139 Punkte / 61 Kommentare (HN). Die abhängig typisierte Sprache von Microsoft Research schafft es auf die Startseite. 💬 Der meistgevotete Kommentar ist eine Beschwerde: Über fünf Seiten der Website findet sich kein einziges Codebeispiel – „Von einer neuen Sprache will ich zwei Dinge: Wie sieht die Syntax aus, und warum sollte ich sie nutzen?” Das Vermarktungsproblem formaler Verifikationssprachen ist dringender als jedes technische.
  • Postmortem für den Lean-Kernel-Soundness-Bug #14576 — Postmortem for Lean Kernel Soundness Bug #14576. △48 / 3 Kommentare (Lobsters). Leo de Moura hat das Postmortem persönlich geschrieben. 💬 Der Kontext ist explosiver als der Bug selbst: Entdeckt wurde die Lücke, als ein LLM behauptete, die Collatz-Vermutung widerlegt zu haben – das „Gegenbeispiel” war ein Artefakt des Kernel-Bugs. Der Autor wusste von dem Bug, weigerte sich aber zu sagen, ob der Beweis gegen ihn konstruiert war; der Bug traf zugleich die Haupt-Implementierung des Kerns und den unabhängigen Verifier – die Unabhängigkeitsannahme ist damit widerlegt.
  • sizeof ist in C überraschend schwer zu parsen — sizeof is surprisingly difficult to parse in c. △45 / 31 Kommentare (Lobsters). Die Typ-/Ausdrucks-Mehrdeutigkeit von sizeof bereitet jedem C-Parser Kopfschmerzen. 💬 david_chisnall liefert die historische Antwort: C startete ohne formale Grammatik – die Syntax ist, was die Compiler akzeptierten; C89 musste die Parsing-Regeln definieren, um mit bestehendem Code kompatibel zu bleiben, und die Speicherknappheit früher Compiler gebar sparsame Parsing-Hacks. Die heutige Komplexität ist ein Erbe der Hardware-Grenzen der 70er.
  • Guarded Methods in OCaml — Guarded methods in OCaml. △11 / 1 Kommentar (Lobsters). Sprachdesign-Notizen dazu, wie sich Guard-Muster im OCaml-Typsystem ausdrücken lassen – der übliche Alltagskampf der Funktional-Community.
  • Alt-neuer Blick auf Argument-Parsing in Rust — An old-new take on argument parsing in Rust. △28 / 7 Kommentare (Lobsters). jmmv plädiert für ein altmodisches getopt-Design und fordert claps Dominanz heraus – in einer Linie mit dem gestrigen rand-Fork: Im Rust-Ökosystem wächst die Rebellion gegen „offizielle Bibliotheken, die zu groß geworden sind”.
  • Wie schnell ist std::hive aus C++26? — How fast is C++26’s std::hive?. △9 / 3 Kommentare (Lobsters). Daniel Lemire misst den neuen Container durch – wie groß der Vorteil von hive in cache-unfreundlichen Szenarien wirklich ist, sagen die Zahlen.
  • Schnellere Gleitkommaberechnungen mit Rusts neuer API — Faster floating point math with Rust’s new API. △6 / 4 Kommentare (Lobsters). Praxis-Messung der neuen Rust-Floating-Point-API – eine Mikrooptimierungs-Anleitung für performancekritische Pfade.
  • Atom ist in den Punkten besser als RSS, die zählen — Atom is better than RSS, in ways that matter. △64 / 53 Kommentare (Lobsters). Formatkrieg auf Lobsters. 💬 emk (einer der Leute, die damals mit Dave Winer an RSS arbeiteten) blickt zurück: RSS 1.0 verkomplizierte mit RDF das simple Format so sehr, dass es niemand mehr korrekt implementieren konnte – Shirkys damalige Prophezeiungen haben sich alle bewahrheitet; der Vorschlag, Atom in „RSS 3” umzubenennen, wird kühl aufgenommen: Der Name ist vergeben, und die Winer-Fraktion würde um Markenrechte kämpfen.

📚 Leicht & Spaß

  • Faltbare Papiergloben — Folding Paper Globes. 134 Punkte / 28 Kommentare (HN). Druckbare Vorlagen für Origami-Globen – die Erde wird zu einer mathematisch faltbaren Ebene; alle 28 Kommentare: „gedruckt, sieht großartig aus”.
  • Als Verkehrstickets noch von Hand gestaltet wurden (2022) — When transit passes were designed by hand (2022). 87 Punkte / 28 Kommentare (HN). Die Milwaukee-Busticket-Sammlung des Letterform Archive – ein übersehener Winkel der Druckdesign-Geschichte.
  • Der Mythos von Snow Leopard — The Myth of Snow Leopard. 28 Punkte / 23 Kommentare (HN). Zerlegung der Nostalgie-Erzählung, „Mac OS X 10.6 sei das perfekte System” – die Kommentare archäologisieren und streiten zugleich: „War Snow Leopard wirklich schnell?”.
  • Lest Romane und vergesst alles andere — Read the Novels and Forget Everything Else. 21 Punkte / 5 Kommentare (HN). Die literarische Ermahnung des Hedgehog Review – eine Verteidigung des langen Romans im Zeitalter der Informationsüberflutung.
  • Getting Started with Google Wave (2010) — Getting Started with Google Wave (2010). △12 / 7 Kommentare (Lobsters). Archäologie des offiziellen Google-Wave-Tutorials – der berühmteste Fall von „Release als Höhepunkt” in der Geschichte der Internetprodukte.
  • Wo ist deine Website? — Where’s your website?. △21 / 19 Kommentare (Lobsters). Wieder ein Manifest der Personal-Website-Bewegung – die Hälfte der 19 Kommentare zeigt die eigene Startseite.
  • Show HN: Lass dein Framework 12 wie eine knarrende Tür klingen — Show HN: Make your Framework 12 sound like a creaky door. 33 Punkte / 2 Kommentare (HN). Ein Sound-Effekt für das reparierbare Notebook – Hardware-Hacker-Humor; beide Kommentare fragen nur: „Warum?”.
  • TinyNES im Test: eine Konsole für Super-Nischen — TinyNES Review – A Super Niche NES Console. 16 Punkte / 1 Kommentar (HN). Lon.TVs TinyNES-Review – ein Video aus 2023 schafft es zurück auf die Startseite; Retro-Hardware bleibt heiß.
  • Wie sich der Wortschatz im Englischunterricht verändert hat — How the words we teach English language learners changed. Niedrig bewerteter Neuling (HN). Pudding-Datenvisualisierung: die Entwicklung der Kernwortschatz-Listen im Englischunterricht über Jahrzehnte – vorbildlicher Datenjournalismus, der auf HN leider kaum Wellen schlug.

📝 Zusammenfassung

Der rote Faden des Tages: Die KI-Betrachtung wandert vom Ergebnis zur Vertrauenskette. Karpathy erklärt den Pelican-Benchmark für abgeschlossen, andere wählen Modelle inzwischen nach Geschwindigkeit – die Benchmark-Angst ebbt ab. Doch der Soundness-Bug im Lean-Kern, aufgedeckt durch den LLM-Versuch, die Collatz-Vermutung zu widerlegen, und NetBSDs offizielles „vulnpocalypse” für die KI-getriebene Flut an Vulnerability-Reports erinnern an dasselbe: Die Glaubwürdigkeit von Modellausgaben hängt davon ab, ob die Menschen und Werkzeuge glaubwürdig sind, die sie prüfen. Pflichtlektüre Top 3: ① Karpathys Pelican-Post (375 Punkte – sehen Sie zu, wie die zwei Lager über die Benchmark-Sättigung streiten); ② das Postmortem zum Lean-Soundness-Bug #14576 (48 Punkte auf Lobsters, der Unfallbericht aus erster Hand zur Vertrauenskette formaler Verifikation); ③ NetBSD 11.0 (99 Punkte auf Lobsters – RISC-V-Support plus ehrliche Release-Strategie angesichts der vulnpocalypse). Quersignal: Retro-Computing (6502-LLM, CP/M-386, MkLinux, 20 Jahre RISC OS) erscheint zeitgleich mit der KI-Euphorie – Retro-Hardware wird zum Ventil für KI-Müde.