TGViewer
codedump的电报频道 codedump的电报频道 @codedump_notes · 5.5K subscribers
Post #259 6.31K
#视频
李永乐老师最近几天发布了几个科普相对论的视频:

https://www.youtube.com/watch?v=TD4ZUcxzyys
https://www.youtube.com/watch?v=3uEROgJ9etg
https://www.youtube.com/watch?v=iFWsUUSNoe8

正好我这周看了Lamport时钟的论文,写了一篇介绍Lamport时钟的博文(见上一条推荐)。里面一个重要的观点是:物理时间用于分布式系统中并不靠谱,因为系统之间不同的进程中的物理时间并不尽相同,这才需要引入一种逻辑意义上的时间,这就是Lamport时钟。

虽然仍然看不懂相对论,但是没有绝对意义上的“时间”和“空间”,这点倒是能体会。

前一阵子看了《十三邀》第一季中贾樟柯的采访,里面有一段话印象深刻:年纪大了以后,越来越对“达成一致”这个事情没有了兴趣(大意如此)。

就这几年研究分布式一致算法的体验,即便是没有感情的程序机器,“达成一致”也确实太难了。因为“一致”意味着首先要定义一个“标准”,“标准”本身就又是一个难题。
  • 👍 2
More from @codedump_notes
  1. Sep 27, 2026#系统编程 讲解Go语言并发主题的小书:《Go concurrency distilled》
  2. Sep 22, 2026#开源软件 开源本来承载的主要任务之一就是赢得信任,智谱这一把开源不但没有赢取信任,反而让更多人感到了疑问,比如我。
  3. Sep 22, 2026#开源项目 #Rust #数据库 hawdb:Rust编写的嵌入式图数据库,用于Nowledge产品中管理本地图数据。
  4. Sep 21, 2026#Rust #人工智能 最近看了好几个Rust相关的新闻,比如: * Rust在微软内部升级为一级语言:《Guest Post: Rust Is Tier-1 Language a…
  5. Sep 19, 2026#人工智能 这个翻译可以说是 信达雅 了。
  6. Sep 15, 2026#人工智能 《我不得不把才华埋葬在昨天》,Deepseek 核心开发的文章,也许再过一段时间,他就不用亲手写算子了。
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →