我担心他们把副驾驶功能放在Excel里,因为Excel是驱动我们整个经济的野兽。你知道谁驯服了这头野兽吗?是Brenda。Brenda是谁?她是这个愚蠢的国家里每个财务部门的一名中层员工,她是Excel女神,女神从天而降,亲吻了Brenda的额头,Brenda的汗水才让我们得以进行资本主义。 [...] 她会写出一个财务报告的公式,然后把这个报告发给上级,上级可能需要修改报告,通常他会把它发回给Brenda,但他想,哦,我有AI,AI可能比Brenda更聪明,然后AI会把事情搞砸,而且他无法识别,因为他不懂Excel,因为AI会产生幻觉。你知道谁不会产生幻觉吗?是Brenda。— @belligerentbarbies,在TikTok上
## SPy:一种用于性能的静态类型 Python 变体
SPy 是一种新的解释器和编译器,用于静态类型化的 Python 变体,旨在实现显著的性能提升——可能比 CPython 快 10 倍到 100 倍——同时保持 Pythonic 的感觉。它*不是*一个完整的 Python 编译器;某些特性将按设计不受支持,而是专注于针对速度优化的子集。SPy 程序将使用 `.spy` 文件扩展名与标准 Python 文件区分开。
该项目解决了 Python 动态特性中固有的阻碍优化的限制,承认现有的解决方案(如 JIT 编译器(PyPy 等))存在权衡。SPy 旨在消除影响性能的动态特性,同时引入新的特性以保持 Python 的表达力。
关键概念包括 **冻结世界**(导入时间后不可变)和 **红移**(静态已知表达式的即时求值)。SPy 还具有强大的静态类型系统,在运行时强制执行,并利用 `@blue` 函数进行编译时元编程。
目前,SPy 仍在开发中,尚不适合大型项目,但展示了令人鼓舞的加速效果(例如,光线追踪示例速度快 200 倍)。该项目欢迎社区参与,并在 GitHub 上提供,并设有 Discord 服务器供讨论。未来的帖子将详细介绍类型系统、求值模型和实现细节。