Die Programmiersprache Rust kann ihr Sicherheits-Versprechen tatsächlich einhalten. Dafür hat ein Informatiker einen formalen Beweis vorgelegt. Die Popularität Rusts dürfte dadurch in der kommenden Zeit noch einmal deutlich steigen. (Weiter l…
KI entwirft bessere Hardware, die bessere KI ermöglicht, wiederholen: So kann man zusammenfassen was Forscher von Google aktuell in einer wissenschaftlichen Veröffentlichung beschreiben. Die KI, die Chips für KIs entwickelt, übertrifft Menschen…
In Schleswig-Holstein soll Informatik zukünftig als Pflichtfach unterrichtet werden. Nachdem man sich nun dazu durchgerungen hat, ist aber nur noch etwas über ein Jahr Zeit, an den Schulen auch den Personalbestand dafür zu schaffen. (Weiter l…
Der Suchmaschinenriese aus Mountain View pflegt seit seinen frühen Tagen das Image eines freundlichen Konzerns von Nebenan, auch bzw. insbesondere für die eigenen Mitarbeiter. Doch längst ist klar, dass die Realität eine andere ist. Das zeigt a…
Die Bank of England macht ihre Ankündigung jetzt wahr: Der Computer-Pionier Alan Turing wird zukünftig auf der höchsten Banknote zu sehen sein, die die englische Staatsbank ausgibt: Sein Porträt ziert den neuen 50-Pfund-Schein. (Weiter lesen)…
Das Zeugnis ist vernichtend: Obwohl sich viele Teile der Gesellschaft über die Dringlichkeit scheinbar einig sind, spielt Informatik in deutschen Schulen immer noch kaum eine Rolle. Laut Studie der Gesellschaft für Informatik gibt es nur wenige…
Der IT-Konzern IBM hat es laut Forbes dann doch noch geschafft, sich bei Lynn Conway für lang zurückliegende Diskriminierungen zu entschuldigen. Die herausragende Expertin für Informatik und Chipdesign ist inzwischen 82 Jahre alt. (Weiter le…
Microsoft liefert nicht nur Software, sondern bei Bedarf inzwischen sogar Supercomputer. Das Unternehmen hat für einen einzelnen Partner ein System entwickelt und gebaut, das sich im aktuellen Ranking unter die fünf schnellsten Rechner der Welt…
Die Forschung an möglichen neuen Computing-Architekturen hat bei Intel einen neuen Höhepunkt erreicht. Durch die Verbindung hunderter Loihi-Chips, in denen die Neuronen des Gehirns simuliert werden, kommt man inzwischen auf ein ziemlich komplex…
Das Brettspiel Go gilt als hochkomplex und kam vor einigen Jahren auch im Wettstreit Mensch gegen KI zum Einsatz. Die Künstliche Intelligenz gewann und der damalige Vertreter unserer Spezies hat nun seinen Rücktritt erklärt – vor allem wegen se…