EPISODE · Jul 26, 2025 · 35 MIN
41: Anvil, Asterinas
from イチゼロエフエム · host ichizerofm
KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。 Anvil: Verifying Liveness of Cluster Management Controllers https://github.com/anvil-verifier/anvil Verus Asterinas Chapters: (00:00) Opening (04:28) Anvil: Verifying Liveness of Cluster Management Controllers (24:36) Asterinas: A New OS written in Rust (34:35) Ending
Embed this episode
NOW PLAYING
41: Anvil, Asterinas
0:00
35:59
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of イチゼロエフエム?
This episode is 35 minutes long.
When was this イチゼロエフエム episode published?
This episode was published on July 26, 2025.
Can I download this イチゼロエフエム episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!