Hacker News 中文摘要

LionsOS是基于seL4微内核的操作系统，由澳大利亚UNSW Sydney的Trustworthy Systems研究组开发，旨在提供高性能、安全性和可靠性。它采用可组合组件架构，通过Microkit工具构建定制化操作系统，遵循sDDF设计原则，目前处于研发阶段，尚未稳定。

Kagi推出两款研究助手：快速助手和研究助手，强调以人为中心，AI应增强而非取代搜索体验。尽管大语言模型存在缺陷，但通过针对性优化和持续评估，Kagi助手能有效辅助研究，而非追求基准测试高分。

该网页显示"页面未找到"错误，包含美国国家运输安全委员会(NTSB)的图标和标志图片链接，以及指向调查、安全研究等栏目的导航菜单。

文章总结了2025年GopherCon US大会上关于Go语言密码学领域年度进展的演讲内容，涵盖了Go团队及贡献者在密码学方面的主要工作成果，并提供了演讲视频和文字记录供查阅。

这是一起自由软件运动活跃人士之间的法律纠纷。原告Matthew Garrett博士是软件工程师和计算机安全专家，被告Roy Schestowitz博士也是该运动成员。案件涉及双方在技术理念和价值观上的冲突，反映了自由软件运动反对大型科技公司垄断、倡导开放共享的立场。

美联社调查发现，美国边境巡逻队通过车牌识别系统和算法监控全国司机，根据行程模式标记可疑车辆并实施拦截搜查。这一原用于边境管控的监控系统已扩展至内陆，可追踪普通民众日常活动，引发侵犯隐私争议。

微软开源了经典游戏《魔域》系列（Zork I、II、III）的源代码，以保存这一影响深远的游戏历史遗产。该项目由微软开源项目办公室、Xbox团队和动视合作完成，让玩家可以重新体验这些开创性文本冒险游戏。

Android和iPhone用户现在可以通过Quick Share和AirDrop互传文件，该功能首先在Pixel 10系列手机上推出。

文章指出，如今城市中低收入年轻人难以找到廉价住所，而50年前YMCA等机构提供大量单间出租房，曾是初到城市者的重要落脚点。这种经济型住房市场的消失，反映了当前住房体系对底层人群的排斥。

Firefox 147版本将支持XDG基本目录规范，这意味着该浏览器将遵循Linux系统中用于存储配置、缓存等文件的统一标准。