8 GB RAM-Laptops sind wieder auf dem Tisch. Programmierer sollten sich besser überlegen, wie sie Software schreiben, denn aufgeblähter Electron-Schrott wird es in Zukunft nicht mehr bringen, bei den Preisen, wie sie sind )))

Knuth veröffentlichte ein Papier, das eine sehr coole Anwendung von AI hervorhebt, die Midwits leider vibemathing nennen. Es ist das Gegenteil von "vibe-" irgendetwas: Was passiert ist, dass Filip Stappers das Problem Claude mit einer sehr engen selbstreflektierenden Schleife gab, wörtlich: ** Nach JEDER exploreXX py Ausführung, AKTUALISIERE SOFORT diese Datei [plan md] bevor du irgendetwas anderes tust. ** Keine Ausnahmen. Starte die nächste Erkundung nicht, bis die vorherige hier dokumentiert ist. Und dann überprüften sie akribisch jede der 31 Schleifen. Und nach der letzten Schleife, die erfolgreich schien, schrieb Knuth ein tatsächliches formales Beweis-Theorem, um die Ergebnisse vollständig zu verifizieren. Das ist echte Mathematik mit dem Einsatz von Power-Tools, die super cool sind! Ich denke, es ist ziemlich sicher zu sagen, dass die Forschung zu formalen Beweisen sich als sehr wichtig im Zeitalter der halluzinierenden Maschinen erweisen wird.

Wenn du ein wenig Typentheorie oder FP-Konzepte lernen möchtest, ohne viel elitistischen PLT-Blödsinn, dann schau nicht weiter. Tatsächlich vorhandener Low-Level-Code, den du neben den formalen Beschreibungen betrachten kannst, macht das Verständnis so viel einfacher.