All content for イチゼロエフエム is the property of ichizerofm and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
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