思想与社会2022 · 分享于 Hacker News
arxiv · 2006.00915
探索《arxiv · 2006.00915》的原文与 Hacker News 社区讨论,查看来源并加入阅读清单。
从论文,走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问,以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中,并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yyarapavan ·
Learn TLA+
254 赞同64 评论
Yazhenley ·
What works (and doesn't) selling formal methods
144 赞同75 评论
Ytodsacerdoti ·
Quint
115 赞同26 评论
Yskeptrune ·
A Liveness Example in TLA+
78 赞同11 评论
Yeatonphil ·
FoundationDB: A Distributed Key-Value Store
1 赞同0 评论