AWSがDafnyという言語を用いてIAMの仕様検証と実装の置き換えを行った件について、解説論文をネタに雑談しています。後半は次期Pythonで実装されると思われるt-stringという新しいリテラル表記について話しました。 Formally verified cloud-scale authorization - Amazon Science AWS re:Inforce 2024 - Proving the correctness of AWS authorization (IAM401) 以前紹介した記事 An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog PEP 750 – Template Strings Chapters: (00:00) Opening (03:28) Formally verified cloud-scale authorization 論文の概要 (12:28) Dafny言語 (19:10) shadowテスト (25:15) PEP 750 Template String
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