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
No persons identified in this episode.
This episode hasn't been transcribed yet
Help us prioritize this episode for transcription by upvoting it.
Popular episodes get transcribed faster
Other recent transcribed episodes
Transcribed and ready to explore now
SpaceX Said to Pursue 2026 IPO
10 Dec 2025
Bloomberg Tech
Don’t Call It a Comeback
10 Dec 2025
Motley Fool Money
Japan Claims AGI, Pentagon Adopts Gemini, and MIT Designs New Medicines
10 Dec 2025
The Daily AI Show
Eric Larsen on the emergence and potential of AI in healthcare
10 Dec 2025
McKinsey on Healthcare
What it will take for AI to scale (energy, compute, talent)
10 Dec 2025
Azeem Azhar's Exponential View
Reducing Burnout and Boosting Revenue in ASCs
10 Dec 2025
Becker’s Healthcare -- Spine and Orthopedic Podcast