anzeigen

[15] 04.11.2021 17:06
Signals & Threads S02E03: What is an Operating System?

In der aktuellen Folge des Podcasts Signals & Threads sprechen zwei meiner größten Software-Helden, Yaron Minsky und Anil Madhavapeddy, über Betriebssysteme im Allgemeinen und MirageOS im Besonderen. Außerdem streifen sie u.a. Xen, Tezos, OpenBSD, den Mars Polar Lander (der 1999 bei der Landung zerstört wurde), warum OCaml vielleicht die beste Sprache zur Systemprogrammierung unter Unix/Linux war/ist und Multicore-OCaml samt dem neuen Effektsystem. Eine der besten Folgen des mMn besten Softwaretechnik-Podcasts.

Minsky und Madhavapeddy sind auch zwei der Autoren des OCaml-Standardwerks Real World OCaml, bei dem anscheinend die (überfällige) zweite Auflage bevorsteht - zumindest gab es in letzter Zeit wieder regelmäßig Commits im entsprechenden Github-Repo.