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…
Google hat sich jetzt als schwergewichtiger Unterstützer hinter ein Projekt gestellt, das durch einen Paradigmenwechsel den Linux-Kernel modernisieren und sicherer machen will. Das hätte Auswirkungen auf Milliarden Smartphones und das ganze Int…
Beim Open Source-Unternehmen Mozilla ist man inzwischen soweit, die ersten Final-Versionen des Firefox-Browsers, in denen Teile in der neuen Programmiersprache Rust geschrieben sind, ins Rennen zu schicken. Dadurch soll in erster Linie die Sicherheit des Browsers entscheidend erhöht werden. (Weiter lesen)