FreeBSD 吃掉了我的内存 -- FreeBSD ate my RAM

作者在将网站服务器从Ubuntu迁移到FreeBSD后,发现内存使用报告存在差异。经研究,这是因为操作系统会将磁盘数据缓存到内存以提升性能,但缓存会在需要时释放,导致内存使用率看起来偏高。

巨树轻松将水输送到顶端枝干 -- Giant trees have no trouble pumping water to top branches

新研究发现,世界最高热带树木通过内部水分运输的适应性调整,完全克服了将水输送到80米高树顶的挑战。这些树木的水系统并不比矮树更易受干旱影响,且在严重干旱期间生长未受影响。

Leanstral 1.5:人人皆可证明丰裕 -- Leanstral 1.5: Proof abundance for all

Leanstral 1.5是一款免费开源的6B参数模型,在形式验证领域取得重大突破,在miniF2F、PutnamBench等基准测试中表现优异,并发现57个开源仓库中的5个未知漏洞,现已通过Hugging Face和免费API开放使用。

农民与营销商就白油桃销售产生分歧 -- Farmer, marketer at odds over sales of white nectarines

加州农民莫拉因与公司发生法律纠纷,将超过10万磅白油桃免费分发给民众,避免果实腐烂。此举既避免了浪费,也缓解了与植物品种专利权相关的紧张局势。

GLM5.2在AMD MI355X上运行:2626 tok/s/节点,成本比Blackwell低两倍以上 -- GLM5.2 on AMD MI355X at 2626 tok/s/node at over 2x lower cost than Blackwell

文章指出,随着推理需求激增和前沿模型频繁发布,NVIDIA GPU价格飙升,而AMD MI355X以约2.75倍的成本优势成为廉价推理的解决方案。但AMD在软件支持和模型优化上落后于NVIDIA,需要大量工程投入才能运行最新模型,始终处于追赶状态。

非洲人开始转向星链 -- Africans Are Turning to Starlink

非洲用户正加速转向星链服务,以解决传统网络覆盖不足、费用高昂等问题。星链的低延迟和高速连接为偏远地区带来便利,但设备成本与订阅费对部分用户仍是负担。

SearXNG:一款免费的互联网元搜索引擎 -- SearXNG: A free internet metasearch engine

SearXNG是一款不追踪用户、不收集用户画像的元搜索引擎。文章提供了安装、配置指南及社区联系方式,并说明该项目采用AGPL-3.0开源协议。

国际象棋联合会制裁克拉姆尼克 -- International chess federation sanctions Kramnik

国际棋联道德与纪律委员会对前世界冠军克拉姆尼克作出裁决,认定其针对纳瓦拉、纳罗季茨基等棋手的公开言论和社交媒体发帖违反多项道德与纪律规定,涉及侵犯尊严、网络霸凌及心理虐待等行为。

《Maxis的生涯与时代,第一部分:模拟万物》 -- The Life and Times of Maxis, Part 1: SimEverything

本文回顾了游戏历史保护工作的重要性,特别感谢爱好者们通过磁盘镜像、模拟器、ScummVM和Wine等工具,让玩家仍能体验数十年前的老游戏。

针对欧洲议会的间谍活动 -- Espionage Against the European Parliament

欧洲议会前议员库洛格卢在调查间谍软件期间,多次遭飞马间谍软件入侵,可能泄露议会机密信息。调查未指向希腊政府,但首次感染与针对流亡记者的间谍活动有关联。