Asynchrone Robotik: Wenn Aktionsplanung und Ausführung parallel laufen
Viele moderne Robotikmodelle geben nicht nur den nächsten Griff aus, sondern gleich ein Paket künftiger…
Cloud
Hardware
KI
IT Infrastruktur
KI
Kimina-Prover: KI sucht formale Beweise mit lernender Lemma-Strategie
Formale Beweise in Lean 4 sind für KI besonders anspruchsvoll: Nicht ein plausibler Text zählt,…
Hardware
Mobile APPs
WEB
Überwachung per Textnachricht: Apple-Kamera ohne Video
Apple arbeitet laut einem Bericht offenbar an einer Smart-Home-Kamera, die keinen klassischen Videostream aufzeichnet.
Gaming
Hardware
IT Infrastruktur
Verkehrte Konsolenwelt: Auf der PS5 laufen jetzt Xbox-Spiele
Auf einer PlayStation 5 sollen sich nun Spiele der ersten Xbox ausführen lassen – allerdings…
KI
OS
WEB
Macos: Apple verschärft Full Disk Access wegen KI-Agenten
Apple will die Kontrolle über Full Disk Access in macOS verschärfen. Als Hintergrund nennt das…
Cloud
IT Infrastruktur
Netscaler-Admins aufgepasst: Zero-Day verursacht Crashes und Codeausführung
Für Administratoren von NetScaler-Umgebungen ist die aktuelle Meldung besonders ernst: Ein Zero-Day soll zu Abstürzen…
KI
WEB
FutureBench prüft, wie gut KI-Agenten reale Ereignisse vorhersagen
FutureBench will messen, ob KI-Agenten aus aktuellen Informationen belastbare Einschätzungen zu künftigen Ereignissen ableiten können.
Browser
KI
WEB
Consilium lässt mehrere Sprachmodelle strukturiert diskutieren
Statt eine schwierige Frage nur einem Sprachmodell vorzulegen, versammelt Consilium mehrere Modelle an einem virtuellen…
Cloud
Hardware
IT Infrastruktur
Hugging Face stellt den Hub schrittweise auf Xet-Speicher um
Hugging Face baut die Speicherbasis seines Model- und Dataset-Hubs um: Statt sich allein auf Git…
Hardware
Office
OS
Mini-PCs im Test: stark wie nie, aber viele sind teuer | c’t uplink
Mini-PCs versprechen einen aufgeräumten Arbeitsplatz, geringe Stellfläche und inzwischen erstaunlich viel Rechenleistung.
