【PingCAP Infra Meetup】No.66 Application of TLA+ at PingCAP_哔哩哔哩_bilibili

Name: 【PingCAP Infra Meetup】No.66 Application of TLA+ at PingCAP
Uploaded: 2019-01-03T08:21:09.000Z
Duration: 1 h 24 min 4 s
Channel: TiDB_Robot

TiDB_Robot

上 2018.4.14 的 Meetup 上，我司董麒麟同学为大家讲解了 TLA+ 在 TiDB 中的应用。TLA+ 是一个用来设计、描述和验证并发系统的一套形式化语言，易学易用。在 TiDB 中，我们非常关心一些关键系统的设计正确性，所以使用 TLA+ 来保证这一点。查看链接阅读更多内容并领取现场 ppt 哦：https://mp.weixin.qq.com/s/E3OgUxFlxAI5PWJZ, 视频播放量 500、弹幕量 0、点赞数 12、投硬币枚数 6、收藏人数 31、转发人数 9, 视频作者 TiDB_Robot, 作者简介 欢迎访问 TiDB Community 官网：https://tidb.net/，相关视频：从 MySQL 到 TiDB，学科网阅卷系统高并发应用实践，破局性能瓶颈：正泰安能财务共享 TiDB 试点落地实践，全栈国产化：金融行业平凯数据库应用场景和开发规范，多款全球社交 APP 的共同选择：TiDB 在陌陌、挚文集团海外业务多场景应用实践，VibeCoding 双城记：从“造锤人”到“用锤人”——COSMO Code 开发及应用，海外游戏团队砍掉 Flink 之后，整个 Data Pipepline 团队不用加班了，古珀医疗：从 MySQL、MongoDB、ADB 再到 TiDB，区域医疗健康大脑、智慧法医、商保理赔、检验互认等应用的数据库演进之路，宁波金唐 x 平凯数据库：医疗卫健数据库信创全场景创新实践，Drive9：Agent 时代无限扩展文件系统，Data+AI 圆桌：如何让 Agent 在企业里严肃落地、稳定发挥？