作者质疑当前大型语言模型(LLM)日益增长的趋势,认为巨大的规模并非总是必要的。虽然大型模型适用于需要细致理解的复杂通用任务,如聊天机器人,但许多应用——例如SQL自动补全或结构化数据提取——范围有限,并不需要数十亿参数。 核心问题是*推理成本*。运行这些大型模型成本高昂,需要大量的计算能力和基础设施,最终每次用户交互都会增加成本。 作者预测将出现转向更小、更专业化的模型,这些模型针对特定任务进行训练。现有工具已经允许构建和部署这些“小而强大”的模型,甚至可以直接在网页浏览器中进行,为LLM应用提供更高效、更经济的未来——可能仅用1500万个参数就能实现所需的结果。
## 潮汐的复杂科学
我们现代准确预测潮汐的能力依赖于几个世纪的科学进步。古希腊人最初确定月球的引力是潮汐的原因,后来牛顿和拉普拉斯对此进行了量化,但*计算*潮汐却非常复杂。拉普拉斯的方程虽然准确,但对于特定地点来说,手动求解过于困难。
这促使洛德·开尔文在1870年代发明了机械潮汐预测机——这些复杂的设备自动化了繁琐的计算。这些机器不仅考虑了月球的引力,还考虑了太阳的影响、地球的倾角,以及关键的海岸线形状和海洋深度。
潮汐不仅仅是跟随月球的隆起;它们是受陆地影响的波浪,创造出独特的模式,例如围绕岛屿的环形潮汐和潮汐变化最小的区域。预测潮汐需要理解众多天文组成部分的强度和时间,*以及*当地的地理因素。
这些机器一直沿用至1970年代,当时数字计算机终于超越了它们的能力。即使在今天,潮汐仍然是一种令人惊讶的复杂现象,持续的发现揭示了超出我们当前理解的更多复杂性。
软件自由保护协会 (SFC) 正在法庭上起诉 Vizio,原因是其 SmartCast 电视使用了 GPLv2 和 LGPLv2.1 许可的 Linux 和其他软件。SFC 指控 Vizio 通过未能提供相应的源代码而违反了这些许可协议,这是这些开源许可的关键要求。
加州法官已发布初步裁决,*支持* SFC 的主张,认为 Vizio 有义务向购买者(在本案中为 SFC)提供源代码。然而,该裁决并非最终,取决于最近听证会上的辩论。
此案凸显了法律先例的转变。早期,开源许可的可执行性存在不确定性,但法院越来越多地维护其条款。此前由软件自由法律中心对 Monsoon Multimedia、Xterasys 和 Verizon 等公司提起的成功诉讼铺平了道路。
最近被沃尔玛以 23 亿美元收购的 Vizio 拥有强大的辩护资源,这使得本案成为开源许可执行的重要考验。听证会的最终结果还有待观察。
CachyOS,一个以速度和优化为重点的社区驱动型Linux发行版,宣布获得了Framework(模块化笔记本电脑公司)的重大赞助。Framework将提供一台Framework Laptop 16用于开发,并每月捐赠250美元——约占CachyOS典型月度资金的10%。
此次合作尤其有价值,因为Framework展现了对支持Linux生态系统的承诺。这笔资金将有助于稳定CachyOS的基础设施,并为实现全职开发这一长期目标做出贡献,最终改善用户体验。Framework还已公开将CachyOS列为其2025年的赞助项目之一,展示了其对开源项目的更广泛支持。CachyOS社区对这两个组织都表达了热烈的支持。