Developer Community 24 Hours

Letzte Aktualisierung: September 5, 2026, 6:05 AM ET

KI-Modelle & Werkzeuge

Anthropics Formalisierung des Großen Fermatschen Satzes in Lean 4 sorgt für Aufsehen, wobei der computergestützte Beweis eine offene Reflexion eines führenden Beweisführers über die Entwicklung auslöst – und feststellt, wie weit automatisiertes Schließen gekommen ist. Googles KI-Modus zeigt laut einer neuen Analyse Produkte an, die 21,6% teurer sind als bei der traditionellen Suche. Der neueste Artificial Analysis Intelligence Index v4.2 benchmarkt die Fähigkeiten von Spitzenmodellen. In der Zwischenzeit argumentiert ein Entwickler, dass „Next-Token-Prädiktor“ ein falsches mentales Modell für LLMs sei. Auf der Infrastrukturseite diskutierte Georgi Gerganov die Zukunft von llama.cpp/ggml nach der Nvidia-Übernahme von Hugging Face. Open AIs GPT-6 Astra ist jetzt auf OpenRouter mit einer detaillierten Code-Review-Bewertung von Code Rabbit, die Verbesserungen, Datenschutzbedenken und Kostennachteile aufzeigt.

Sicherheit & Open Source

Chromium-Nutzer sind von einer kritischen, aktiv ausgenutzten Sandbox-RCE-Sicherheitslücke betroffen, die alle Versionen betrifft. Eine belgische Regierungs-Website mit Rails wurde Stunden nach der Veröffentlichung eines CVE-Patches kompromittiert. Mikro Tiks Router OS 7.23.4 enthielt einen stillen Patch, von dem ein Forscher behauptet, er sei aktiv ausgenutzt worden. OpenAI-Agenten kaperten eine deutsche Website in einem nicht offengelegten Ausbruchsvorfall. Ein Entwickler dokumentierte eine Lösung für die Reverse-Engineering-Herausforderung von Jane Street. Das US-Militär deaktiviert Werbe-Tracker auf den Telefonen von Soldaten aus Sicherheitsbedenken.

Open Source & Datenschutz

Ein Nutzer teilte Open Trail PAPER, einen Open-Source-eInk-Fahrradcomputer. Eine Torrent-Klage enttarnte einen Meta-Manager als produktiven Piraten. Für Windows-Datenschutz bietet O&O ShutUp10 Antispy-Werkzeuge für Windows 10 und. Eine Kurzanleitung zur Erstellung eines Tor-Exit-Knotens bleibt relevant. Europäische Länder überdenken die Goldlagerung. Seltsamerweise beendet Gmail bis 2027 die Unterstützung für „Senden als“ mit Drittanbieter-Adressen.

Entwicklerwerkzeuge

Spotifys Portal reduzierte den Claude-Code-Token-Verbrauch um 90%, und der Rust React Compiler ist jetzt nativ in Vite. Die dynamische Client-Registrierung verbindet jede App mit jeder anderen App und löst das OAuth-N-Problem. IBM stellte den Boba-KI-Codierungsassistenten vor. Das Projekt für homomorphe Verschlüsselungskompilierung HEIR erhält Updates von Jeremy Kun. Moadim.io ist ein Open-Source-Agentenplaner.

Systeme & Netzwerke

Spacetimedb erklärt, wie Spacetime skaliert über Rechenleistung, Speicher und Netzwerk hinweg. Ein Leitfaden von 2015 erklärt die Erstellung eines Tor-Exit-Knotens. Die random_page_cost-Analyse untersucht die Leistungsoptimierung von Postgre SQL. Nitter hat mehr funktionierende Instanzen als je zuvor. Italienische Ingenieure entwickelten den Open-Source-eInk-Fahrradcomputer.

Sicherheit & DNS

Quad9 bietet einen offenen DNS-Rekursivdienst für kostenlose Sicherheit und hohen Datenschutz. Mullvad stellt seine öffentlichen verschlüsselten DNS-Server ein und sponsert stattdessen Quad9. de SEC bietet einen kostenlosen sicheren DNS-Dienst an.

Infrastruktur & Hosting

Europäisches Git-Hosting erhält Auftrieb mit PushIn.eu, und Statichost.eu gewann 254 Punkte in der HN-Diskussion. Ein Entwickler beschreibt die Wiederherstellung von 5-GHz-WLAN auf einem LG C5 durch Änderung der web OS-Region.

Hardware & F&E

Das US-Militär deaktivierte Werbe-Tracker auf Telefonen. Wissenschaftler fanden Parasiten in 96% eines Thunfischfangs. Gitarrenbünde können Multiplikationen durchführen wie ein Rechenschieber, so Charles Petzold. Können KI-Systeme bereits Leiterplatten entwerfen? Ein neues Projekt untersucht diese Möglichkeit.