Geoffrey Huntley - Unikernels waren schwer, dank KI nicht mehr

Alte Idee, neues Werkzeug

Geoffrey Huntley, bekannt für den „Ralph"-Agenten-Loop, hat mit Justin Cormack (früher MirageOS / Unikernel Systems) über das Comeback der Unikernels gesprochen. Seine These: „Unikernels were hard. Key word: were." Bei Unikernels ist die Anwendung das Betriebssystem - kein Userland, keine Shell. Früher scheiterte das an fehlenden Bibliotheken; heute portiert man sie einfach per Agenten-Loop.

Kernaussagen

• Das OS als Designschuld: Multi-User-Systeme stammen aus der Zeit menschlicher Operatoren. Wer eine Web-App knackt, bekommt eine Shell - und die Modellgewichte wissen genau, was man mit einer Shell anfängt. Ohne Shell und Interpreter wird aus dem Drive-by-Angriff ein gezielter Angriff, der den Quellcode braucht.
• Porting ist ein Loop: Fehlt etwa eine Stripe-Library in OCaml, portiert ein Agent die Go-Version. Cormack ließ einen Agenten mkfs.xfs byte-identisch in Rust nachbauen - das Original diente als Prüforakel.
• Spaceleans: Huntley hat Microsoft Orleans nach OCaml portiert und als verteiltes Unikernel-System laufen lassen - nach eigener Aussage in einer Woche.
• Sprachen für Agenten: OCaml lobt er wegen schneller Compile-Zeiten und .mli-Dateien als effizientem Kontext. Langsame Rust-Builds seien eine Steuer auf „Back Pressure", weil Halluzinationen teurer werden. Seine Wette für die Zukunft: Dependent Types.

Cormack widerspricht fair: Angriffsflächen-Reduktion werde oft unscharf diskutiert, Memory Safety und Gadgets bleiben ein Thema.

Quelle: ghuntley.com