Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS

แชร์
ฝัง
  • เผยแพร่เมื่อ 17 ต.ค. 2024

ความคิดเห็น •

ต่อไป
เล่นอัตโนมัติ
Reverse Engineering with TLA+ Calvin Loncaric, Oracle33:07Reverse Engineering with TLA+ Calvin Loncaric, Oracle
Reverse Engineering with TLA+ Calvin Loncaric, OracleMarkus Kuppe
มุมมอง 603
Imagining a zero-trust future for PyPI - William Woodruff27:10Imagining a zero-trust future for PyPI - William Woodruff
Imagining a zero-trust future for PyPI - William Woodrufftransparency-dev
มุมมอง 18
Lambda Performance Tuning | Luca Mezzalira40:58Lambda Performance Tuning | Luca Mezzalira
Lambda Performance Tuning | Luca MezzaliraAWS COMSUM
มุมมอง 27
ไฮไลท์การแข่งขัน ไทย 2-1 ซีเรีย | รอบชิงชนะเลิศ | ฟุตบอลชิงถ้วยพระราชทานคิงส์คัพ ครั้งที่ 5007:30ไฮไลท์การแข่งขัน ไทย 2-1 ซีเรีย | รอบชิงชนะเลิศ | ฟุตบอลชิงถ้วยพระราชทานคิงส์คัพ ครั้งที่ 50
ไฮไลท์การแข่งขัน ไทย 2-1 ซีเรีย | รอบชิงชนะเลิศ | ฟุตบอลชิงถ้วยพระราชทานคิงส์คัพ ครั้งที่ 50Thairath Sport
มุมมอง 370K
Friends make memories together part 2 | Trà Đặng #short #bestfriend #bff #tiktok00:18Friends make memories together part 2 | Trà Đặng #short #bestfriend #bff #tiktok
Friends make memories together part 2 | Trà Đặng #short #bestfriend #bff #tiktokTrà Đặng Official
มุมมอง 7M
🔴 ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 2 วันที่ 18 ต.ค. 25676:24:22🔴 ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 2 วันที่ 18 ต.ค. 2567
🔴 ฟุตบอลแชมป์กีฬา 7HD แชมเปียน คัพ 2024 สนาม 2 วันที่ 18 ต.ค. 2567Ch7HD
มุมมอง 452K
เปิดชื่อ "บอสพอล" และพวก 18 คนเครือ "ดิไอคอน" โดนจับฐานฉ้อโกง- พรบ.คอม | 16 ต.ค. 67 | ข่าวเย็นไทยรัฐ29:48เปิดชื่อ "บอสพอล" และพวก 18 คนเครือ "ดิไอคอน" โดนจับฐานฉ้อโกง- พรบ.คอม | 16 ต.ค. 67 | ข่าวเย็นไทยรัฐ
เปิดชื่อ "บอสพอล" และพวก 18 คนเครือ "ดิไอคอน" โดนจับฐานฉ้อโกง- พรบ.คอม | 16 ต.ค. 67 | ข่าวเย็นไทยรัฐTHAIRATH TV Originals
มุมมอง 1M
You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC21:12You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC
You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLCMarkus Kuppe
มุมมอง 410
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog27:03Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, DatadogMarkus Kuppe
มุมมอง 596
Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft45:44Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft
Validating System Executions with the TLA+ Tools Markus A Kuppe, MicrosoftMarkus Kuppe
มุมมอง 347
Finding The Value Flywheel Effect | David Anderson50:27Finding The Value Flywheel Effect | David Anderson
Finding The Value Flywheel Effect | David AndersonAWS COMSUM
มุมมอง 83
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn28:58TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedInMarkus Kuppe
มุมมอง 495
TLA+ Conf - William Schultz - Towards Interactive Formal Specs15:12TLA+ Conf - William Schultz - Towards Interactive Formal Specs
TLA+ Conf - William Schultz - Towards Interactive Formal SpecsMarkus Kuppe
มุมมอง 331
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett39:02Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn HackettMarkus Kuppe
มุมมอง 287
TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ Visualizations15:27TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ Visualizations
TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ VisualizationsMarkus Kuppe
มุมมอง 210
fintech_devcon 2024 | Orchestrate chaos: Process automation in modern architectures w/ Nathan Loding58:03fintech_devcon 2024 | Orchestrate chaos: Process automation in modern architectures w/ Nathan Loding
fintech_devcon 2024 | Orchestrate chaos: Process automation in modern architectures w/ Nathan LodingMoov Financial
มุมมอง 12
🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #5 "ตอนอาจารย์พ่อและอดีตเมีย"2:28:42🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #5 "ตอนอาจารย์พ่อและอดีตเมีย"
🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #5 "ตอนอาจารย์พ่อและอดีตเมีย"โหนกระแส [Hone-Krasae] official
มุมมอง 3.2M
Get 1 Million Coins in Hay Day00:57Get 1 Million Coins in Hay Day
Get 1 Million Coins in Hay DayHay Day
มุมมอง 1.5M
OHANA บ้าพลัง EP.122 : เกมการ์ดโอฮาน่า x เทพลีลา49:58OHANA บ้าพลัง EP.122 : เกมการ์ดโอฮาน่า x เทพลีลา
OHANA บ้าพลัง EP.122 : เกมการ์ดโอฮาน่า x เทพลีลาohana clip
มุมมอง 1.8M
‘ว.วชิรเมธี’ ร่ายยาวแจงปม ‘ดิไอคอน’ ฟาดแรง ‘หนุ่ม กรรชัย’ ใส่ร้ายป้ายสี ทำตัวเป็นศาลเตี้ย17:27‘ว.วชิรเมธี’ ร่ายยาวแจงปม ‘ดิไอคอน’ ฟาดแรง ‘หนุ่ม กรรชัย’ ใส่ร้ายป้ายสี ทำตัวเป็นศาลเตี้ย
‘ว.วชิรเมธี’ ร่ายยาวแจงปม ‘ดิไอคอน’ ฟาดแรง ‘หนุ่ม กรรชัย’ ใส่ร้ายป้ายสี ทำตัวเป็นศาลเตี้ยเรื่องเล่าเช้านี้
มุมมอง 1.1M
Who did Harley Quinn meet in the bathroom?#Harley Quinn #joker00:21Who did Harley Quinn meet in the bathroom?#Harley Quinn #joker
Who did Harley Quinn meet in the bathroom?#Harley Quinn #jokerHarley Quinn with the Joker
มุมมอง 1.1M
MY HEIGHT vs MrBEAST CREW 🙈📏00:22MY HEIGHT vs MrBEAST CREW 🙈📏
MY HEIGHT vs MrBEAST CREW 🙈📏Celine Dept
มุมมอง 42M
ยอมดู ธี่หยด 2 คนเดียวในโรงหนัง!!! เพื่อ 10,000 โรบัคหรือไม่!? #shorts #wkc #ธี่หยด2 #SFcnima01:00ยอมดู ธี่หยด 2 คนเดียวในโรงหนัง!!! เพื่อ 10,000 โรบัคหรือไม่!? #shorts #wkc #ธี่หยด2 #SFcnima
ยอมดู ธี่หยด 2 คนเดียวในโรงหนัง!!! เพื่อ 10,000 โรบัคหรือไม่!? #shorts #wkc #ธี่หยด2 #SFcnimaWinrockeR ChanneL WKC ヅ
มุมมอง 1.8M
Live! ถ่ายทอดสดหวย ถ่ายทอดสดการออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ตุลาคม 25675:39:46Live! ถ่ายทอดสดหวย ถ่ายทอดสดการออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ตุลาคม 2567
Live! ถ่ายทอดสดหวย ถ่ายทอดสดการออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ตุลาคม 2567เรื่องเล่าข่าวร้อน
มุมมอง 977K