Heise Newsticker
Nachrichten nicht nur aus der Welt der Computer
2026-07-12T14:00:00+02:00
Aktualisiert: vor 1 Stunde 11 Minuten
Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.
Fluggastdaten: Deutsche Behörden scannten 2025 über 627 Millionen Datensätze
Das PNR-Überwachungssystem für den Flugverkehr wächst massiv. Welche Airlines Daten liefern, behält die Bundesregierung aus Geheimschutzgründen lieber für sich.
China verschärft KI-Regeln: ByteDance und Alibaba entfernen menschenähnliche KI
Nachdem China die Regeln für menschenähnliche KI-Begleiter verschärft hat, entfernen ByteDance und Alibaba entsprechende Funktionen aus ihren KI-Apps.
Microsoft bestätigt Entlassungen und Studio-Verkauf bei Xbox
Microsoft baut die Spiele-Sparte Xbox um: Neben Entlassungen sind flachere Hierarchien geplant. Auch im Geschäftskundenvertrieb fallen Stellen weg.
Für digitale Souveränität: RISC-V-Sicherheitschip aus Deutschland
Mehrere Fraunhofer-Institute haben gemeinsam ein Secure Element auf Basis des offengelegten OpenTitan entwickelt, das Globalfoundries in Dresden fertigt.
Cern rüstet Teilchenbeschleuniger LHC auf
Der LHC wird für mehrere Jahre stillgelegt. In der Zeit wird der Teilchenbeschleuniger gewartet und aufgerüstet.
Bang & Olufsen Beoplay H100 im Test: genial guter Klang, Top-ANC, perfekter Halt
Der Over-Ear-Kopfhörer Beoplay H100 setzt auf Titan-Treiber, Lammleder und Top-ANC. Doch rechtfertigt das den stolzen Preis von 1700 Euro?
Node.js kämpft mit Flut an automatisierten Sicherheitsreports
In der Node.js-Community ist eine Diskussion darüber entstanden, wie sie weiter mit der Vielzahl an LLM-generierten Sicherheitsmeldungen verfahren soll.
Nvidia verkauft KI-Beschleuniger jetzt gegen Umsatzbeteiligung
Ein neues Geschäftsmodell soll Nvidia noch mehr Geld in die Kasse spülen. Neoclouds bekommen vergünstigte Hardware gegen Umsatzbeteiligung.
OPNsense-Update beseitigt kritische Rootlücke und weitere Sicherheitsrisiken
Aktuelle Versionen der Open-Source-Firewall-Distribution schließen mehrere Einfallstore. Eine als kritisch bewertete Lücke macht das Update besonders dringlich.
Bau von neuem Rechenzentrum: Erneuerbare Energiequellen waren eine Lüge?
DataVita, Co-Betreiber eines neuen Rechenzentrums in Schottland, plante offenbar nie, es wie versprochen mit erneuerbaren Energien zu betreiben.
Ubuntu macht ARM64 zur Plattform erster Klasse
Canonical treibt den Ausbau von Ubuntu für ARM64 voran. Mit Ubuntu 26.04 LTS erreicht ARM64 in vielen Bereichen Parität mit AMD64.
KI-Update: UN-Bericht zu KI, Plädoyer für Open Source, Vorsicht vor KI-Kollegen
Das "KI-Update" liefert werktäglich eine Zusammenfassung der wichtigsten KI-Entwicklungen.
Thread und Matter: Die Zukunft des Smart Home? | c’t uplink
Die Standards Thread und Matter sollen das Funk- und App-Chaos im Smart Home beseitigen. Mit Ikea ist ein großer Name an Bord.
Deutscher DSA-Koordinator geht gegen eBay vor
Der Onlinemarktplatz soll wesentliche Regeln des Digitale-Dienste-Gesetzes bislang nicht einhalten, meint der DSA-Koordinator bei der Bundesnetzagentur.
Tech-Startups wollen die EU Inc.
Eine Bitkom-Umfrage zeigt: 62 Prozent der Tech-Startups in Deutschland würden ihr nächstes Unternehmen als „EU Inc.“ gründen.
Temu, Shein und Co. steigern Marktanteil auf Rekordwert
Die Verbraucher in Deutschland geben online immer mehr Geld bei Shoppingplattformen wie Temu oder Shein aus. Die Konsumstimmung bleibt jedoch schwach.
heise-Angebot: iX-Workshop: Vom IT-Profi zur Führungskraft – souverän entscheiden im Krisenfall
Lernen Sie, wie Sie unter Druck klare Entscheidungen treffen und ruhig kommunizieren, um Ihr IT-Team sicher durch Krisensituationen zu steuern.
ESA-Weltraumteleskop Euclid: Erfolge bei Suche nach den frühesten Quasaren
Seit Jahren arbeitet Euclid an einer gewaltigen Himmelskarte. Dabei findet das Weltraumteleskop auch mehr Quasare im frühen Universum als alle Geräte zuvor.
heise+ | Profiler-Pionier Christoph Kemper über Amp-Profiling, KI und Gitarrenverstärker
Der Gründer und Kopf von Kemper Amps erklärt, wie das neue Profiling 2.0 seiner Amp-Simulation funktioniert – und was Gitarristen davon haben.