Schneller, besser, Infrastructure as Code

Skalierbarkeit, Wiederverwendbarkeit, Geschwindigkeit und Risikominimierung sind nur einige der Vorteile, die mit Infrastructure as Code versprochen werden und sich hauptsächlich an das Management richten. Diese Philosophie übernimmt Praktiken aus der Software-Entwicklung um die Bereitstellung von Infrastruktur zu optimieren und den Unterhalt zu vereinfachen. Die Umstellung lässt sich in wenigen Schritten …

Kann Formale Verifikation dem Blue Screen den Garaus machen?

“:( Your PC ran into a problem and needs to restart” – Der Blue-Screen ist Stellvertreter für Bugs aller Art und wenn er auftritt, hofft man einfach auf das Beste. Die Macher von seL4 aber haben es geschafft, Blue-Screens völlig zu verhindern: Mit Formaler Verifikation (FV) können sie Fehler in …

Unity – mehr als nur Spielerei

  Unity ist eine der weltweit populärsten Game Engines. Mit bald 20 Jahren auf dem Buckel ist sie aber auch schon ziemlich alt. Lohnt es sich heute noch auf Unity zu setzen? Wir denken ja, denn die Engine kann für mehr als «nur» Spiele eingesetzt werden: Zum Beispiel in der …