启用 JavaScript 和 Cookie 以继续。
## 编码代理通过研究增强:LLM 推理速度提升 15%
这项研究表明,在代码修改*之前*配备研究阶段的编码代理可以显著改善优化结果。研究人员通过文献综述和竞争对手分析增强了一个自动研究循环(类似于 Karpathy 的工作),并将其应用于 llama.cpp 项目,使用 SkyPilot 进行并行云端执行(4 台虚拟机,总成本约 29 美元)。
该代理的任务是加速 TinyLlama 1.1B 的 CPU 推理,通过五项关键优化,在 x86 架构上实现了 **+15% 的速度提升,在 ARM 架构上实现了 +5% 的速度提升**。这些优化包括融合 softmax、RMS norm 和 flash attention 的 KQ tile 等操作——这些策略是通过研究现有的 CUDA/Metal 实现和 ik_llama.cpp 分支而识别出来的,而不仅仅是从代码库本身中获取。
该研究强调,当解决方案存在于现有源代码之外时,仅靠代码的方法会遇到困难。虽然之前的自动研究成功地优化了具有可见优化表面的项目(如 Liquid),但 llama.cpp 需要外部知识来识别内存带宽瓶颈和有效的融合策略。研究阶段比单纯搜索 arXiv 更有成效。完整的设置是公开可用的,可以应用于其他可基准测试的项目。
近二十年后,电子前沿基金会(EFF)因帖子可见性急剧下降而离开X(前身为Twitter)——展示量已降至七年前的3%以下。 尽管EFF此前曾批评过Twitter,但该平台曾经积极捍卫用户权利,这种承诺在埃隆·马斯克领导下发生了改变,包括解散了人权团队并削减了反审查国际努力。 然而,EFF并非放弃所有社交媒体。 他们仍然活跃在Facebook、TikTok和Instagram等平台,认识到这些空间对边缘群体、活动家和组织者至关重要。 EFF认为,即使在积极批评这些平台的有害做法的同时,向这些“封闭花园”*内部*的人们传达有关数字权利的信息至关重要。 EFF将把精力集中在能够产生最大影响的平台上,包括Bluesky、Mastodon和他们自己的网站,继续为数字权利而战,在他们认为工作最有效的地方。
教皇利奥十四世公开呼吁结束伊朗战争,并敦促美国人通过[standwithpopeleo.com](http://standwithpopeleo.com/)联系他们的国会议员。 此立场源于一月份在五角大楼的一次令人担忧的会议,当时战争副部长埃尔布里奇·科尔比对教皇当时的大使克里斯托夫·皮埃尔红衣主教进行了激烈的对抗。 据报道,科尔比声称美国军事优势,并警告天主教会与美国政策保持一致,甚至引用了历史上被武力压制的阿维尼翁教廷时期,作为一种隐晦的威胁。梵蒂冈官员深感震惊,导致教皇利奥十四世原定于2026年的美国访问被推迟。 五角大楼认为教皇强调外交而非武力是对“门罗主义”的挑战,后者主张美国在西半球的霸权。 然而,梵蒂冈始终坚持其立场。 教皇利奥十四世将不会在2026年访问美国,而将于7月4日前往意大利兰佩杜萨岛,这是一个对非洲移民具有重要意义的地点——这是一个刻意的象征性选择。
喜欢这篇文章吗?我们需要您的帮助来继续出版。PDR是一个非营利项目,依靠读者捐款维持运营——没有广告,没有付费墙,只有我们社区的慷慨支持。这是一个非常令人兴奋的模式,但我们需要您的帮助来使其蓬勃发展。请访问我们的支持页面成为朋友,并获得我们的主题明信片包。或者进行一次性捐款。已经是支持者了?非常感谢您使这一切成为可能。
## Craft:一种现代C和C++构建工具 Craft是一个轻量级的构建工具,旨在简化C和C++项目管理,提供类似Cargo的体验。它通过使用单个`craft.toml`文件定义你的项目,消除了CMake配置和依赖管理的复杂性。 Craft会自动生成`CMakeLists.txt`,获取依赖项(来自Git或本地路径),并提供一个简洁的命令行界面。关键命令包括`craft project`(创建新项目)、`craft add`(添加依赖项)、`craft build`和`craft run`。 依赖项可以通过`craft add`、`craft remove`和`craft update`等命令轻松管理。Craft还支持项目模板以进行快速设置,并允许通过`CMakeLists.extra.cmake`进行自定义CMake添加。 配置默认值存储在`~/.craft/config.toml`中,但项目特定的设置在`craft.toml`中优先。Craft是开源的,旨在简化C/C++开发流程。
请启用 JavaScript 并禁用任何广告拦截器。
新的IUCN红色名录评估显示,南极野生动物数量令人担忧地下降,这与气候变化和新兴疾病直接相关。由于海冰减少(这对繁殖和蜕皮至关重要),帝企鹅已被列为“濒危”,预计到2080年其种群将下降超过50%。南极海豹现在也被列为“濒危”,自1999年以来种群下降了50%以上,原因是海水温度升高影响了它们的磷虾食物来源。 南方海象因高致病性禽流感爆发而重新被列为“易危”,这凸显了全球变暖导致疾病传播风险增加。 专家警告说,这些物种是快速变化世界的“哨兵”,敦促立即大幅减少温室气体排放。加强在南极的监测和数据收集至关重要,以了解和减轻这些影响,特别是对于依赖冰的物种。这些发现强调了采取全球行动保护这片重要的洲及其独特的生物多样性的紧迫性。