Show HN：你可能从未读过的最稀有技术书籍和文档 科技新闻 2026-10-10 22 阅读 来源：原文 文章链接：https://readrare.com/ 评论链接：https://news.ycombinator.com/item?id=50024055 得分：75 评论数：11 ← 美国公司用来操纵哪种成分排在首位的骗局 数学家应该了解 Lean Theorem Prover 的哪些内容：可靠性与 AI →
评论 0
还没有评论，来说两句吧。