目前处于 alpha 阶段的 Pyrefly 是 Meta 开发的一款新的开源 Python 类型检查器，其使用 Rust 编写，以实现最佳性能。Pyrefly 的灵感来自于 Pyre、Pyright 和 MyPy 等工具，旨在取代之前用于 Instagram 代码库的基于 OCaml 的 Pyre 类型检查器。 我们构建了 一个自定义的增量计算 ...

“Meta 已开始接触，但可能无法吸收所有工程师”。 谷歌的好消息和坏消息，来得都很突然。 上周五，谷歌母公司 Alphabet 公布了第 1 季度财报：营收为 805.39 亿美元，较上年同期的 697.87 亿美元增长 15%，创 2022 年初以来最快增速——同样是发布财报，Meta 股价 ...

在我们的工作群里，经常会有一位管理者来协调每个人的工作并汇总工作成果。近日，斯坦福大学的 Mirac Suzgun 和 OpenAI 的 Adam Tauman Kalai 提出了一种新的 prompting 方法：meta-prompting。类似于工作群，这种方法也是使用一个居中协调的指挥员（元模型）来协调使用不 ...