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

Поділитися
Вставка
  • Опубліковано 3 лис 2024

КОМЕНТАРІ • 4

  • @gustavogonzalez7707
    @gustavogonzalez7707 5 років тому +11

    Sledgehammering your way to success. Great talk

  • @cmichaelgraham
    @cmichaelgraham 5 років тому +3

    It is always a pleasure to listen to your talks.

Наступне
Автоматичне відтворення
"Performance Matters" by Emery Berger42:15"Performance Matters" by Emery Berger
"Performance Matters" by Emery BergerStrange Loop Conference
Переглядів 484 тис.
CRDTs: The Hard Parts1:10:10CRDTs: The Hard Parts
CRDTs: The Hard PartsMartin Kleppmann
Переглядів 67 тис.
"Categories for the Working Hacker" by Philip Wadler41:40"Categories for the Working Hacker" by Philip Wadler
"Categories for the Working Hacker" by Philip WadlerStrange Loop Conference
Переглядів 66 тис.
Купил КЛОУНА на DEEP WEB !35:51Купил КЛОУНА на DEEP WEB !
Купил КЛОУНА на DEEP WEB !A4
Переглядів 5 млн
ФИЛЬМ НА МИЛЛИОН! | Неуловимые | Криминал Приключения1:29:59ФИЛЬМ НА МИЛЛИОН! | Неуловимые | Криминал Приключения
ФИЛЬМ НА МИЛЛИОН! | Неуловимые | Криминал ПриключенияКино на Вечер
Переглядів 712 тис.
"Москва - это правнучка Киева, Крым - это Украина" - Борис Миронов размазал крымнашистов @omtvreal00:55"Москва - это правнучка Киева, Крым - это Украина" - Борис Миронов размазал крымнашистов @omtvreal
"Москва - это правнучка Киева, Крым - это Украина" - Борис Миронов размазал крымнашистов @omtvrealOm TV
Переглядів 1,1 млн
Ванька пошел!!!! 🥰00:18Ванька пошел!!!! 🥰
Ванька пошел!!!! 🥰Денис Кукояка
Переглядів 3,7 млн
Martin Kleppmann - Conflict Resolution for Eventual Consistency50:22Martin Kleppmann - Conflict Resolution for Eventual Consistency
Martin Kleppmann - Conflict Resolution for Eventual ConsistencyErlang Solutions
Переглядів 8 тис.
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne30:06"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
"Tackling Concurrency Bugs with TLA+" by Hillel WayneStrange Loop Conference
Переглядів 20 тис.
"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
Переглядів 73 тис.
Distributed Systems in One Lesson by Tim Berglund49:00Distributed Systems in One Lesson by Tim Berglund
Distributed Systems in One Lesson by Tim BerglundDevoxx Poland
Переглядів 415 тис.
CRDTs and the Quest for Distributed Consistency43:39CRDTs and the Quest for Distributed Consistency
CRDTs and the Quest for Distributed ConsistencyInfoQ
Переглядів 56 тис.
#01 - Relational Model & Algebra (CMU Intro to Database Systems)1:23:38#01 - Relational Model & Algebra (CMU Intro to Database Systems)
#01 - Relational Model & Algebra (CMU Intro to Database Systems)CMU Database Group
Переглядів 16 тис.
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
Переглядів 31 тис.
"Compacting the Uncompactable" by Bobby Powers40:18"Compacting the Uncompactable" by Bobby Powers
"Compacting the Uncompactable" by Bobby PowersStrange Loop Conference
Переглядів 28 тис.
Martin Kleppmann - CRDTs: The hard parts1:12:46Martin Kleppmann — CRDTs: The hard parts
Martin Kleppmann - CRDTs: The hard partsHydra
Переглядів 6 тис.
Не так важно как ТЫ БЬЁШЬ, а важно какой ДЕРЖИШЬ УДАР😎 #shorts01:00Не так важно как ТЫ БЬЁШЬ, а важно какой ДЕРЖИШЬ УДАР😎 #shorts
Не так важно как ТЫ БЬЁШЬ, а важно какой ДЕРЖИШЬ УДАР😎 #shortsBalcevMMA_BOXING
Переглядів 10 млн
TG: nexpertGM ОСНОВАЯ ПРОБЛЕМА РОТОРНОГО МОТОРА СССР #shorts #оживление #automobile #юмор00:33TG: nexpertGM ОСНОВАЯ ПРОБЛЕМА РОТОРНОГО МОТОРА СССР #shorts #оживление #automobile #юмор
TG: nexpertGM ОСНОВАЯ ПРОБЛЕМА РОТОРНОГО МОТОРА СССР #shorts #оживление #automobile #юморНезависимый Эксперт
Переглядів 1,4 млн
Perfect Pitch Challenge? Easy! 🎤😎| Free Fire Official00:13Perfect Pitch Challenge? Easy! 🎤😎| Free Fire Official
Perfect Pitch Challenge? Easy! 🎤😎| Free Fire OfficialGarena Free Fire Global
Переглядів 45 млн
ДУБАЙСКАЯ ШОКОЛАДКА 🍫00:55ДУБАЙСКАЯ ШОКОЛАДКА 🍫
ДУБАЙСКАЯ ШОКОЛАДКА 🍫Сам себе сушист
Переглядів 4,2 млн
🤯ЗАБИЛИ В САМОЕ ВЫСОКОЕ КОЛЬЦО В МИРЕ🏀 #shorts #баскетбол00:50🤯ЗАБИЛИ В САМОЕ ВЫСОКОЕ КОЛЬЦО В МИРЕ🏀 #shorts #баскетбол
🤯ЗАБИЛИ В САМОЕ ВЫСОКОЕ КОЛЬЦО В МИРЕ🏀 #shorts #баскетболРодина Медиа Баскет
Переглядів 2 млн
Отечественный Суперкар Маруся! Оживляем легенду1:30:46Отечественный Суперкар Маруся! Оживляем легенду
Отечественный Суперкар Маруся! Оживляем легендуИЛЬДАР АВТО-ПОДБОР
Переглядів 2,5 млн
бабл ти гель для душа // Eva mash01:00бабл ти гель для душа // Eva mash
бабл ти гель для душа // Eva mashEVA mash
Переглядів 6 млн
Disrespect or Respect 💔❤️00:27Disrespect or Respect 💔❤️
Disrespect or Respect 💔❤️Thiago Productions
Переглядів 12 млн