Programmierung
Jeden Tag lesen wir Hunderte Meldungen. Hier stehen nur die wichtigsten — kurz, in eigenen Worten, mit Link zur Originalquelle.
- Betriebssysteme · Smartphones & Apps · Programmierung
Android 17 QPR2 für Pixel-Geräte veröffentlicht
Google hat Android 17 QPR2 zusammen mit dem November-Pixel-Feature-Drop veröffentlicht. Enthalten sind mehr Anpassungen bei Farben und Hintergründen, neue Entwickler-APIs für Unschärfe-Effekte und neue Steuerelemente.
Ganze Meldung bei Droid Life ↗ - Künstliche Intelligenz · IT-Sicherheit · Programmierung
KI-Agenten verifizieren Signal-Verschlüsselung
Google DeepMind stellt AlphaProof Code vor, dessen Agenten drei Millionen Zeilen formaler Beweise in Lean geschrieben haben. Damit wurde die Kernverschlüsselung von Signal überprüft.
Ganze Meldung bei Google DeepMind ↗ - Künstliche Intelligenz · IT-Sicherheit · Programmierung
AlphaProof Code prüft Signals Kryptokern in vier Wochen
Google Deepminds AlphaProof Code hat den kryptografischen Kern von Signal in vier Wochen mathematisch verifiziert, was sonst Jahre dauert. Gemini-Carbon-Agenten schrieben über sechs Millionen Zeilen Beweiscode, etwa ein Prozent ging zur menschlichen Prüfung.
Ganze Meldung bei The Decoder ↗ - IT-Sicherheit · Programmierung · Open Source
Git schließt sechs Sicherheitslücken in neuen Versionen
Das Git-Projekt veröffentlicht neue Versionen gegen sechs Schwachstellen, darunter Codeausführung beim rekursiven Klonen und Speicherfehler. Die Korrekturen stecken in Git 2.56.1 sowie in Backports für ältere Serien.
Ganze Meldung bei github.blog ↗ - Künstliche Intelligenz · Neue KI-Modelle · Programmierung
Google stellt die Gemini Decisions API vor
Die Gemini Decisions API nutzt das Modell Gemini Decision. Sie soll schnelle, kalibrierte multimodale Entscheidungen liefern.
Ganze Meldung bei blog.google ↗
Die Kurztexte schreibt eine KI aus den Meldungen der Quelle.
Kostenlos per E-Mail
Wählen Sie Ihre Themen. Sie bekommen nur die wichtigsten Nachrichten dazu.