Software

Allen Windows-10-Usern, die mit einem aktuellen Update die neue Edge-Generation auf Chromium-Basis erhalten haben, wird automatisch ein bildschirmfüllender Dialog zur Einrichtung des Browsers angezeigt. Als würde das nicht schon reichen, um viele Nutzer zu verärgern, bedient sich Microsoft dabei auch noch zweifelhafter Methoden. Wie sich nun zeigt, werden direkt nach dem Aufruf dieses Dialogs nämlich automatisch die Daten von anderen Browsern importiert.

Forscher der University of Michigan und der Carnegie Mellon University haben zusammen mit Microsoft Research eine Technik entwickelt, um komplexe Computerprogramme ohne traditionelle Software-Tests auf "Bugs" zu prüfen. Hierfür setzen sie auf das System "Armada", das auf Basis des Prinzips der formalen Verifikation arbeitet und mithilfe mathematischer Methoden feststellt, ob Algorithmen auch wirklich richtig funktionieren und genau das tun, was sie sollen.

Forscher der Duke University haben ein KI-System entwickelt, das aus völlig verpixelten Fotos realistische Gesichter generiert. Dazu erdenkt "Pulse" Details wie feine Linien, Wimpern oder Bartstoppeln, die Auflösung ist anschliessend 64 Mal so hoch wie beim pixeligen Original. Das Team betont allerdings, dass das resultierende Gesicht zwar plausibel, aber nicht real ist - zur Identifikation der Person auf dem Originalfoto taugt es also nicht. Doch könne der genutzte Ansatz theoretisch Bilder beliebiger Dinge ähnlich hochskalieren.

Mit der Software "Penrose" von Forschern der Carnegie Mellon University lassen sich mathematische Formeln in "schöne und lehrreiche Illustrationen umsetzen". Der Name des Programms erinnert an den britischen Physiker und Mathematiker Roger Penrose, der berühmt war für die Verwendung von Diagrammen und Zeichnungen, um die Komplexität der Mathematik verständlicher zu machen.