伊朗将对霍尔木兹海峡海底互联网电缆收费 -- Iran will impose fees on subsea internet cables in Strait of Hormuz
伊朗计划在霍尔木兹海峡海底开发新能源，试图获取该战略要地的新型能源资源。
FBI欲购全国车牌识别系统访问权 -- The FBI Wants to Buy Nationwide Access to License Plate Readers
美国联邦调查局计划购买全国车牌识别系统访问权限，以无证方式追踪车辆及人员行踪。该技术已成为执法机构重要工具，但引发民众抗议。文件显示FBI强调需覆盖主要公路以获取最大执法效用。
纽约将对市内豪华第二套房征税 -- New York to tax luxury second homes in NYC
纽约拟对价值超500万美元的第二套房征税，以缓解住房压力，但暂未采纳对富人全面增税的提议。该提案针对非主要居所的豪宅，引发商界担忧富人可能因此撤离。
掌握驾驭工程 -- Learn Harness Engineering
这篇文章介绍了"Learn Harness Engineering"课程，专注于AI编码代理的工程技术。课程整合了行业前沿的Harness Engineering理论与实践，通过系统化的环境设计、状态管理、验证和控制系统，教授如何使Codex和Claude Code等编码工具更可靠。课程包含理论讲座、实践项目和资源库，帮助开发者利用规则约束AI助手完成开发任务。
Haiku OS现已支持M1 Mac运行 -- Haiku OS runs on M1 Macs now
文章记录了Haiku社区在arm64架构移植方面的进展，多位开发者参与了讨论，包括技术实现、历史对比（如PowerPC版BeOS）以及对arm32平台的看法等。
伊朗启动比特币支持的霍尔木兹海峡船舶保险 -- Iran starts Bitcoin-backed ship insurance for Hormuz strait
伊朗推出比特币支持的霍尔木兹海峡航运保险服务，以应对该地区航运风险。
可证明安全操作系统(PSOS)的基础(1979)[pdf] -- The foundations of a provably secure operating system (PSOS) (1979) [pdf]
PSOS是一个采用SRI分层开发方法(HDM)设计的可验证安全操作系统，通过形式化需求说明、模块规范及互连验证，确保系统设计与实现的安全可靠性。该方法使形式化验证成为可能，包括证明规范满足安全需求等。
Qwen 3.7 预览版 -- Qwen 3.7 Preview
阿里巴巴发布Qwen3.7系列模型预览版(Qwen3.7-Max-Preview和Qwen3.7-Plus-Preview)，在文本领域排名第6，视觉领域排名第5。该系列即将正式发布，敬请期待。
Y Combinator首席执行官Garry Tan指控我报道不道德 -- Garry Tan, the CEO of YC, accused me of unethical reporting
文章探讨了新闻真实性与权力之间的关系，通过分析记者Dion Lim的报道案例，质疑其是否真正坚持了新闻真相，还是屈服于权力影响。作者对Lim被塑造成"勇敢揭露真相"的英雄形象提出异议，认为其报道可能存在偏颇，反映了新闻行业在权力与真相之间的复杂博弈。
1024000^2方块，2B2T Minecraft服务器世界下载项目与发现 -- 1024000^2 Blocks, 2B2T Minecraft Server World Download Project, and Discoveries
该项目发布了2b2t服务器史上最大的世界地图下载包，包含主世界、末地和下界共约24TB数据，其中主世界区域达102.4万方块。这是经过一年多开发测试、耗费数千美元和大量人力完成的创纪录工程，由多位开发者合作完成。