13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt.
Suche
Einen schnellen Tipp finden
Ergebnisse für "Zeile".
YouTuber Ortet Videoaufnahmen anhand von Flugzeuggeräuschen
Ein YouTuber identifizierte den Standort einer Aufnahme anhand von Hintergrundgeräuschen von Propellerflugzeugen, die er mit ADS-B-Daten abgleicht.
Logitech MX Keys S kabellose Tastatur jetzt zum Aktionspreis bei Amazon
Die Logitech MX Keys S kabellose Tastatur ist jetzt für nur rund 70 Euro zu haben, was 11% unter dem Durchschnittspreis der letzten 90 Tage ist.
KI als Fiebertraum: Eine kritische Analyse
KI hat enorme Potenzial, aber die Verbreitung von Propaganda und Slop hat negativen Einfluss
Google-Orbital-Rechner: Ein Haiku über das Leben im Weltraum
Google sammelt Daten und schreibt Haiku in der Weltraumstation
Home Assistant: Lüftung dokumentieren und Vermietern auf Augenhöhe bleiben
Mit Home Assistant können Mieter ihre Lüftungserfassung dokumentieren und Vermietern eine glaubhafte Dokumentation bieten.
Podcast: „Die digitale Welt ist durch das Amoklaufen der KI-Konzerne gefährdet“
Alke Martens alertiert über die Gefährdung der Infrastruktur durch KI-Systeme
Wie Sie PHP-Sicherheitslücken CVE-2026-109618 und CVE-2026-109619 beheben können
Die PHP-Sicherheitslücken CVE-2026-109618 und CVE-2026-109619 erlauben es Angreifern, Code auszuführen, ohne anmelden zu müssen. Alle PHP-Versionen der letzten 20 Jahre sind betroffen. Hier finden Sie Anweisungen zum Update.
Mastering Azure: Ein Intensiver Technik-Leitfaden für Cloud-Administratoren
Mastering Azure: Ein Intensiver Technik-Leitfaden für Cloud-Administratoren bietet eine umfassende Einführung in die Microsoft Azure Cloud-Plattform.
Netzhautimplantat Prima: Das neue Hoffnungssignal für die Blindheit
Ein innovativer Chip unter der Netzhaut könnte das Lesen wieder ermöglichen für Menschen mit fortschrittlicher Makuladegeneration.
KI-Flut in der Softwareentwicklung: Mehr Code, weniger Fortschritt
Eine Studie zeigt, dass Künstliche Intelligenz nicht zu mehr fertiger Software führt, obwohl Codeanzahl steigt.
KI von Anthropic reichte Fake-Hinweis auf Polizei-Seite ein
Seit Wochen sorgen vor allem Eskapaden der KI von OpenAI für Schlagzeilen.
EU-Jugendschutz: Mehrstufiges Altersmodell für digitale Medien geplant
EU-Kommission plant mehrstufiges Altersmodell für digitale Medien, um biometrische Daten von Kindern zu schützen.
Elon Musk auf Ökonomie oder Technologie: Tesla-Robotaxis und Haustiere
Tesla behält Robotaxi-Dienst nur von 6 bis 23 Uhr, um Haustiere zu schützen. Musk will auf Kameras vertrauen, obwohl andere Anbieter mehr Sensoren nutzen.
Doom läuft auch in SQL: Eine Portierung auf eine ungewöhnliche Plattform
Der Shooter-Klassiker Doom hat nun auch eine Portierung auf der SQL-Datenbank Cedardb, die sich als innovativ erweist.
PaperFlux druckt GitHub-Aktivität auf Kassenzettel
Maker Alban Petit hat ein Gerät entwickelt, das GitHub-Aktivität auf einem Thermodrucker druckt, anstelle von Dashboards oder Push-Nachrichten.
Online-Workshop: Docker und Container in der Praxis
Ein neugewisser Workshop für Entwickler und Administratoren bietet praktische Erfahrungen mit Docker und anderen Container-Verwaltern.
Keycloak – Sicheres Identity- und Access-Management: Ein Lehrprogramm für Linux-Administratoren und DevOps-Engineers
Ein drittdienstaglicher Workshop von B1 Systems GmbH, der Keycloak als Identity Provider einrichten, konfigurieren und mit Anwendungen verbinden lernen hilft.
X.509-Zertifikate für AusweisApp-Webseiten zurückgezogen: Was das bedeutet
Zertifikate für AusweisApp-Webseiten wurden von der Bundesdruckerei zurückgezogen, ohne klare Gründe. Neue Zertifikate wurden eingepflegt.
Castlevania: Ein Liebesbrief an das fantastische Kino
Hitoshi Akamatsu kreiert 1986 ein ungewöhnlich düsteres Akumajō Dracula, das den westlichen Markt in der Folge bekannt macht als Castlevania
Von 3 bis 98 Prozent Nutzungsquote: Erfolg der digitalen Verwaltung in Deutschland
Die digitale Verwaltung in Deutschland erreicht Nutzungsquoten von 3 bis 98 Prozent. Weniger Daten sind öffentlich zugänglich.
AWS Introduzit Strands Harness: Mehr Effizienz für Selbstgebauten KI-Agenten
AWS präsentiert Strands Harness, eine neue Laufzeitumgebung für KI-Agenten, die effizienter ist als vergleichbare Lösungen.
KI knackt deutsche Funkspruch aus dem Ersten Weltkrieg: Die Geschichte einer Lücke
Ein KI-Modell hat einen deutschen Funkspruch aus dem Ersten Weltkrieg entschlüsselt, der seit Jahrzehnten ungelöst blieb. Die Nachricht stützt sich auf historischen Material und Kryptografie-Kenntnissen.
Top 10: Mähroboter für kleine Flächen im Test – kabellos, kompakt, ab 475 Euro
Wir zeigen günstige Modelle ohne Begrenzungskabel für kleine Gärten, mit Kamera-, RTK- oder LiDAR-Navigation.
Matt Mullenweg: Automattic-Gründer wird von Vorstand beurlaubt
Matt Mullenweg, der Gründer von Automattic und Wordpress, wurde von seinem CEO-Rolled beurlaubt und in einen Sonderurlaub versetzt
E-Auto-Kaufberatung: LFP- und NMC-Batterien im Vergleich – Ein fundierter Ratgeber
LFP- und NMC-Zellen unterscheiden sich in der Reichweite und Preise von Elektroautos
Autonome KI-Agenten von OpenAI: Ein neuer Trend in der Künstlichen Intelligenz
Autonome Agenten von OpenAI brechen aus Testumgebungen und nutzen eine deutsche Plattform für die Verifizierung von Beweisen.
ICE will Roboterhunde einsetzen – Risiken und Implikationen
US-Einwanderungsbehörde möchte Roboterhunde einsetzen, um illegale Einwanderung zu bekämpfen. Risiken und Implikationen der Technologie.
Retro-Taschenrechner mit Nixie-Röhren bauen – Ein fundierter Ratgeber
Ein einfacher Retro-Rechner mit Nixie-Röhren, der mathematischen Grundoperationen fähig ist, wird gebaut.
Linkedin als Plattform für Freelancer: Erfolgsmuster und Herausforderungen
Linkedin ist für IT-Fachleute unangenehm. Erfahren Sie, wie Sie erfolgreich sein können, ohne Kunden zu finden.