"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann

แชร์
ฝัง
  • เผยแพร่เมื่อ 6 ก.ย. 2024

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

  • @gustavogonzalez7707
    @gustavogonzalez7707 5 ปีที่แล้ว +10

    Sledgehammering your way to success. Great talk

  • @cmichaelgraham
    @cmichaelgraham 5 ปีที่แล้ว +3

    It is always a pleasure to listen to your talks.

ต่อไป
เล่นอัตโนมัติ
"Finding bugs without running or even looking at code" by Jay Parlar40:27"Finding bugs without running or even looking at code" by Jay Parlar
"Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference
มุมมอง 38K
"Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri37:48"Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri
"Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony ArcieriStrange Loop Conference
มุมมอง 8K
Thinking in Events: From Databases to Distributed Collaboration Software (ACM DEBS 2021)52:04Thinking in Events: From Databases to Distributed Collaboration Software (ACM DEBS 2021)
Thinking in Events: From Databases to Distributed Collaboration Software (ACM DEBS 2021)Martin Kleppmann
มุมมอง 30K
สาริกาลิ้นทอง - Paper Planes x โจอี้ ภูวศิษฐ์ (genie 100x100)「Official MV」04:24สาริกาลิ้นทอง - Paper Planes x โจอี้ ภูวศิษฐ์ (genie 100x100)「Official MV」
สาริกาลิ้นทอง - Paper Planes x โจอี้ ภูวศิษฐ์ (genie 100x100)「Official MV」Genierock
มุมมอง 1.7M
HIGHLIGHTS : Japan 7-0 China PR | AFC Asian Qualifiers™ - Road to 26 (Round 3) | 05.09.2408:59HIGHLIGHTS : Japan 7-0 China PR | AFC Asian Qualifiers™ - Road to 26 (Round 3) | 05.09.24
HIGHLIGHTS : Japan 7-0 China PR | AFC Asian Qualifiers™ - Road to 26 (Round 3) | 05.09.24BG SPORTS
มุมมอง 343K
🎤 ไปกันต่อออ! จับฉลากร้องเพลง x P’ #XXSIVK [EP.2] (1/2) เพลงของใครจึ้งสุดน้าา 💓🎤 #MXFRUIT00:50🎤 ไปกันต่อออ! จับฉลากร้องเพลง x P’ #XXSIVK [EP.2] (1/2) เพลงของใครจึ้งสุดน้าา 💓🎤 #MXFRUIT
🎤 ไปกันต่อออ! จับฉลากร้องเพลง x P’ #XXSIVK [EP.2] (1/2) เพลงของใครจึ้งสุดน้าา 💓🎤 #MXFRUITMXFRUIT
มุมมอง 117K
ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )29:54ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )
ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )Sunflowava
มุมมอง 293K
Martin Kleppmann - Conflict Resolution for Eventual Consistency50:22Martin Kleppmann - Conflict Resolution for Eventual Consistency
Martin Kleppmann - Conflict Resolution for Eventual ConsistencyErlang Solutions
มุมมอง 8K
"Compacting the Uncompactable" by Bobby Powers40:18"Compacting the Uncompactable" by Bobby Powers
"Compacting the Uncompactable" by Bobby PowersStrange Loop Conference
มุมมอง 28K
Piers Morgan vs Richard Dawkins On Women's Sport, The Universe & Religion44:26Piers Morgan vs Richard Dawkins On Women's Sport, The Universe & Religion
Piers Morgan vs Richard Dawkins On Women's Sport, The Universe & ReligionPiers Morgan Uncensored
มุมมอง 389K
CRDTs: The Hard Parts1:10:10CRDTs: The Hard Parts
CRDTs: The Hard PartsMartin Kleppmann
มุมมอง 65K
"Building Haskell Programs with Fused Effects" by Patrick Thomson40:44"Building Haskell Programs with Fused Effects" by Patrick Thomson
"Building Haskell Programs with Fused Effects" by Patrick ThomsonStrange Loop Conference
มุมมอง 17K
China | Can you solve this ? | A Nice Trigonometry Math Olympiad Problem11:57China | Can you solve this ? | A Nice Trigonometry Math Olympiad Problem
China | Can you solve this ? | A Nice Trigonometry Math Olympiad ProblemLearncommunolizer
มุมมอง 4K
"Transactions: myths, surprises and opportunities" by Martin Kleppmann41:08"Transactions: myths, surprises and opportunities" by Martin Kleppmann
"Transactions: myths, surprises and opportunities" by Martin KleppmannStrange Loop Conference
มุมมอง 72K
"Parser Parser Combinators for Program Transformation" by Rijnard van Tonder41:02"Parser Parser Combinators for Program Transformation" by Rijnard van Tonder
"Parser Parser Combinators for Program Transformation" by Rijnard van TonderStrange Loop Conference
มุมมอง 12K
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher31:35"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack RusherStrange Loop Conference
มุมมอง 20K
คุณจะต้องไม่เชื่อแน่ๆ ว่าลูกโป่งจะทำออกมาเป็นสิ่งนี้ได้ #negi #diy00:34คุณจะต้องไม่เชื่อแน่ๆ ว่าลูกโป่งจะทำออกมาเป็นสิ่งนี้ได้ #negi #diy
คุณจะต้องไม่เชื่อแน่ๆ ว่าลูกโป่งจะทำออกมาเป็นสิ่งนี้ได้ #negi #diyNEGI
มุมมอง 1.3M
【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีน1:04:12【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีน
【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีนคุณน้าบ้าซีรีส์-Sweet Drama
มุมมอง 96K
โดดตกเหวในชิงแชมป์โลก #shorts #valorant01:01โดดตกเหวในชิงแชมป์โลก #shorts #valorant
โดดตกเหวในชิงแชมป์โลก #shorts #valorantZz Man
มุมมอง 362K
โจนาธาน แฮ็กเกอร์ตี vs ซุปเปอร์เล็ก เกียรติหมู่ 9 | ONE 168 | 7 ก.ย.67 | CH7HD23:12โจนาธาน แฮ็กเกอร์ตี vs ซุปเปอร์เล็ก เกียรติหมู่ 9 | ONE 168 | 7 ก.ย.67 | CH7HD
โจนาธาน แฮ็กเกอร์ตี vs ซุปเปอร์เล็ก เกียรติหมู่ 9 | ONE 168 | 7 ก.ย.67 | CH7HDterodigital
มุมมอง 917K
A Minecraft Movie | Teaser01:20A Minecraft Movie | Teaser
A Minecraft Movie | TeaserWarner Bros. Pictures
มุมมอง 27M
Linkin Park: FROM ZERO (Livestream)1:21:01Linkin Park: FROM ZERO (Livestream)
Linkin Park: FROM ZERO (Livestream)Linkin Park
มุมมอง 6M
คู่มือวิธีเล่นมายคราฟ00:38คู่มือวิธีเล่นมายคราฟ
คู่มือวิธีเล่นมายคราฟจิน
มุมมอง 244K
เอาตัวรอดกลางป่าอาถรรพ์ บรรยากาศสยองขวัญมาก!!!1:06:39เอาตัวรอดกลางป่าอาถรรพ์ บรรยากาศสยองขวัญมาก!!!
เอาตัวรอดกลางป่าอาถรรพ์ บรรยากาศสยองขวัญมาก!!!DJ Poom
มุมมอง 807K