三星在其最新的One UI 8.5更新中移除了Android恢复菜单中的关键工具,引发了用户困惑。诸如“通过ADB/SD卡应用更新”、“清除缓存分区”和诊断测试等选项正在被移除,仅留下重启、恢复出厂设置和关机等基本功能。
GalaxyClub首先注意到这一变化,它伴随着2026年2月的安全更新,并包含关于降级软件的警告。虽然原因尚不清楚,但推测指向加强的安全措施,可能为了遏制软件泄露——三星目前正在对泄密者采取法律行动。
目前,Galaxy S26 Ultra在其1月份的更新中仍然保留了完整的恢复工具,但这可能会改变。此举大大限制了用户手动 sideload 更新和执行高级故障排除的能力。
## 燕麦与胆固醇:一项令人惊喜的益处 最近,波恩大学的一项发表在《自然通讯》上的研究表明,短期的、高强度的燕麦饮食可以显著降低胆固醇水平,甚至在六周后仍然有效。研究人员发现,患有代谢综合征(糖尿病和心脏病的风险因素)的参与者,在连续两天每天食用300克燕麦,并限制卡路里的同时,有害的低密度脂蛋白胆固醇(LDL)降低了10%。 这种改善比单纯限制卡路里而不采用燕麦饮食的人更明显。 这些益处似乎与肠道细菌的变化有关。 燕麦的摄入增加了产生类绿原酸等化合物的有益细菌,而类绿原酸已知可以改善胆固醇代谢,并有助于消除与胰岛素抵抗相关的化合物。 有趣的是,较长时间、适量的每日80克燕麦摄入只显示出适度的效果。 该研究表明,周期性的、短期的燕麦强化饮食可能是维持健康胆固醇并潜在预防糖尿病的一种良好策略。 进一步的研究计划用于确认这些长期的预防效果。
## microgpt:200行Python代码实现的极简LLM microgpt是一个自包含的Python项目,仅用200行代码演示了大型语言模型(LLM)的核心原理,无需任何外部依赖。它涵盖了整个过程:数据集处理、分词、自动微分引擎、类似GPT-2的神经网络、Adam优化器、训练和推理。 该项目使用一个包含32,000个名字的简单数据集,将它们转换为数字化的token。然后,它训练一个神经网络来预测序列中的下一个token,学习数据中的统计模式。一个关键组件是定制的自动微分引擎,用于计算梯度以更新参数。 训练后,该模型可以生成新的、听起来合理的名字。虽然与ChatGPT等模型(拥有数十亿参数和复杂的工程设计)相比,microgpt被极大地简化了,但它体现了LLM的基本算法本质。microgpt与生产模型之间的差异在于规模、数据大小、优化技术和服务器基础设施,而不是核心算法本身。该项目是一个有价值的教育工具,用于理解LLM在其最基本层面的运作方式。
## 团结圣殿倒置的“H”
最近一张弗兰克·劳埃德·赖特在伊利诺伊州橡木公园设计的团结圣殿的照片,显示了一个奇怪的缺陷:入口处的字母中有一个倒置的“H”。这引发了一项关于该标志历史的调查,揭示了一个关于修改和失误的复杂故事。
该圣殿于1908年首次开放,其字母经历了至少四个不同的时期——包括1973年的喷枪混凝土处理、2010年58个字母被盗以及2014-2017年的重大修复。研究发现,这些字母被移除和重新安装了多次,从而为错误提供了许多机会。
档案照片显示,“H”最初是正确的,但1956年的一张照片显示西侧入口的*所有*“H”都被倒置了。后来,一个“S”也变成了倒置的。2014年的修复工程重新引入了西侧入口的倒置“H”——最近被发现的那个——而东侧入口仍然正确。
谜团依然存在:赖特本人是否曾经安装过一个倒置的字母?作者继续进行调查,并承诺对负责当前错误的专业人士进行后续报道。
## xmloxide:Rust语言实现的现代、安全的XML/HTML解析器
xmloxide是广泛使用的libxml2的纯Rust语言重实现,旨在成为一个可以直接替换的方案,并提供改进的内存安全性和性能。libxml2已停止官方维护,并且存在已知的安全漏洞。
**主要特性:**
* **内存安全:** 采用基于arena的树形结构,拥有完全安全的公共API,消除了`unsafe`代码。
* **高度符合标准:** 通过了100%的W3C XML一致性测试套件和libxml2的兼容性套件。
* **多种API:** 提供DOM、SAX2流式、XmlReader(拉模式)以及推/增量解析器。包含容错的HTML 4.01解析器。
* **高级功能:** 支持XPath 1.0、DTD/RelaxNG/XSD验证、规范XML、XInclude和XML目录。
* **性能:** 与libxml2竞争,在序列化和XPath评估方面通常更快,这得益于arena分配和零拷贝等优化技术。
* **C FFI:** 提供完整的C API,方便集成到现有的C/C++项目中。
* **线程安全:** 设计上没有全局状态,使得每个`Document`都是自包含且线程安全的。
* **全面的测试:** 包含广泛的单元测试、FFI测试和模糊测试,以确保其健壮性和安全性。
xmloxide是libxml2的一个强大且高性能的替代方案,提供了一个现代、安全且功能丰富的XML/HTML解析解决方案。
美国国防部长皮特·赫吉塞斯正在大幅调整军事专业教育,从2026年起将与包括哈佛大学、麻省理工学院、耶鲁大学和卡内基梅隆大学等几所著名大学断绝关系。他认为这些机构已成为“反美情绪的制造工厂”,未能充分培养领导者应对现代战争,而是优先考虑以美国建国原则和“现实主义”为基础的课程。 赫吉塞斯的备忘录概述了转向与自由大学、田纳西大学等更符合军事价值观的学校合作。这一决定将影响现有的合作关系——卡内基梅隆大学是陆军人工智能中心所在地,约翰霍普金斯大学与太空军合作——引发了人们对在人工智能等关键领域未来合作的质疑。 此举符合更广泛的特朗普政府政策,包括限制与人工智能提供商Anthropic的联系,同时偏爱OpenAI和xAI,预示着国防部教育和技术领域的重塑。
此数据代表苹果应用商店中热门免费应用和游戏的一份快照,按各种苹果设备(iPhone、iPad、Mac、Vision、Watch、TV)分类。
**热门应用**主要由社交媒体和通讯平台(如TikTok、Instagram、Facebook、X(前身为Twitter)和WhatsApp)以及Google、Gmail和Google地图等实用工具占据。人工智能助手——Claude、ChatGPT和Google Gemini也备受瞩目。购物应用(Temu、SHEIN、DICK’S)和送货服务(DoorDash、Uber)也排名靠前。
**热门游戏**展示了各种受欢迎的游戏。*Rainbow Six Mobile*和*Fortnite*位居领先地位,其次是休闲益智游戏,如*Subway Surfers*、*Block Blast!*和各种纸牌游戏。*Roblox*和*Among Us!*提供社交游戏体验。
应用商店支持多种语言和地区版本,可以选择非洲、亚太地区、欧洲、拉丁美洲和北美等国家。此数据截至苹果2026年的版权声明。
## LLM 与确定性编程 大型语言模型 (LLM) 的兴起正在改变软件开发,但其固有的非确定性特性带来了挑战。虽然 LLM 在一次性任务方面表现出色,但它们倾向于产生不同的输出,这使得它们在需要 100% 准确性的持续应用标准(例如安全实践,如注入攻击防御,或编码规范)方面不可靠。 作者将 LLM 比作数学,LLM 可以*建议*证明,但需要使用 Lean 等工具进行严格验证,并提倡在编程中使用 LLM 的“确定性”方法。开发者不应依赖 LLM *遵循*规则,而应利用它们来*创建工具*——代码检查器、测试或类型系统修改——在构建过程中*强制*执行这些规则。 这改变了 LLM 的角色,从代码编写者变为工具构建者,利用其优势并减轻其劣势。虽然初始设置需要付出努力,但由此产生的确定性代码检查可确保一致、可靠的行为,最终提高代码质量和安全性——这是 LLM 单独无法保证的。
启用 JavaScript 和 Cookie 以继续。