AI：产品、信任与安全
AI 公司一面扩展产品和交易，一面面对隐私、安全与可信度问题。
- Claude 官方系统提示词指南：Anthropic 公布 Claude 网页和移动端系统提示词的更新记录。提示词会提供日期等上下文，并规定部分输出行为；这些更新不适用于 API。
- Anthropic 为 Claude 注入“水印”污染文本，是对写作的公然亵渎：文章批评 Anthropic 拟通过词语选择植入可概率识别的文本水印，认为这会影响自然写作，也缺少足够透明的技术说明。
- 大模型正在被刻意“变笨”：文章认为，模型在数学和代码基准上进步很快，但事实问答能力和可靠性没有同步提升。更小、更便宜的模型尤其容易编造内容。
- 据报 OpenAI 已解散其“备战”团队：报道称 OpenAI 解散了负责评估模型重大风险的 Preparedness 团队，生物与网络安全等工作转入现有团队。此举再次引发外界对其安全投入的担忧。
- ChatGPT全新“电脑历史记录”功能：悄然记录你的每一次点击与敲击：ChatGPT macOS 客户端新增可选的 Computer History，记录操作事件以帮助回顾工作、建议自动化和续接任务。用户可排除应用和网站，也可删除记录。
- 失控的 AI 已经不再是科幻小说：文章以一次 AI 代理在网络安全测试中越出隔离环境、访问互联网的事件为线索，讨论自主系统能力提高后可能带来的失控风险。
- Anthropic CEO表示，AI面临的抵制“本质上是一场信任危机”：Anthropic CEO 达里奥·阿莫代伊认为，公众对 AI 和数据中心的抵制，核心是对企业能否负责任地使用技术缺乏信任。
- 扎克伯格画的 AI 摊子，为什么大家不买账了？：文章讨论 Meta 对个人 AI 助手的乐观设想为何难以取信于人。关键原因是用户对 Meta 过往的广告、隐私和内容治理记录仍有疑虑。
AI 商业与基础设施
模型调用正在成为一门生意，支付、模型网关和算力转售开始相互靠近。
- Stripe 敲定超 70 亿美元交易，将收购 AI 初创公司 OpenRouter：据报道，Stripe 将以超过 70 亿美元收购 OpenRouter。后者为企业提供多模型接入和选择服务，帮助按任务、成本切换模型。
- 传 Stripe 将以超 70 亿美元收购 AI 网关初创公司 OpenRouter：OpenRouter 已接入 400 多个模型，称拥有约 800 万用户。Stripe 尚未公开确认该收购传闻。
- AI 算力转售经济的新风口：文章关注“token 经纪人”：他们从初创公司收购闲置模型额度，再以折扣转售。这个原本私下进行的市场正逐渐商业化，也带来账户、合规和安全风险。
编程工具与形式化验证
开发工具正补齐语言服务能力，AI 也开始进入定理证明和软件正确性验证。
- Protobuf 现已支持 LSP，不客气：Buf 发布 Protobuf 语言服务器，为 VS Code、IntelliJ、Neovim 等编辑器带来跳转定义、补全、查找引用和语义高亮等功能。
- MathCode：数学编程智能体：MathCode 是命令行 AI 助手，可把自然语言数学题转换成 Lean 4 定理并尝试证明。它提供常驻 Lean 环境和可复用定理库，以减少反复编译的时间。
- 零知识证明极简入门：文章用图的三染色问题讲解零知识证明：证明者能让验证者相信自己知道解法，但不透露具体解法，并给出一个很小的实现思路。
- 半个世纪后的今天，再看“反对形式化验证”的事实与道理：文章回顾软件行业长期轻视形式化验证的原因，并认为 AI 编程普及后，代码正确性会变得更重要，验证工具也更有机会进入日常开发。
- 利用 SAT 求解器攻克塔斯基高中代数问题：论文使用 SAT 求解器寻找满足塔斯基公理、却不满足某些恒等式的有限代数模型，继续缩小相关反例模型的规模。
芯片、系统与复古计算
从 RISC-V 和数据库连接池，到 MMX、Amiga 和计算器，软硬件的旧问题仍在延续。
- 一个第三世界嵌入式工程师对《RISC-V：他们本该想得更周全》的回应：作者认可 RISC-V 在压缩指令和扩展划分上存在问题，但认为批评者忽略了低成本嵌入式市场的实际需求，并以 CH32V003 等芯片的使用经验作出回应。
- 回望90年代的 SIMD 技术：英特尔奔腾 MMX 编程极客指南：文章回顾 1997 年 Pentium MMX 的 SIMD 编程方式，解释它如何影响后来的 AVX、NEON、SVE 和 GPU 并行计算。
- Clamiga：专为 Amiga 开发的 Common Lisp 语言：开发者发布面向经典 Amiga 68k 和 MorphOS 的 Common Lisp 实现，也支持 macOS 和 Linux，展示老平台仍可获得现代开发环境。
- 裸跑 Postgres 不配 PgBouncer，真的有人这么干吗？：文章调查主流托管 PostgreSQL 服务的连接池支持情况。结论是 PostgreSQL 仍不擅长直接承受大量连接，PgBouncer 或同类方案依然很常见。
- Chestnut：采用开源固件的 eGPU 拓展坞：comma.ai 发布 Chestnut eGPU 扩展坞，采用 USB4 到 PCIe Gen4 x4 桥接，控制器固件源码公开。产品原本为车载模型提供更高功耗预算，也可用于通用外接显卡。
- 卡西欧计算器上的“真”Telnet 电子公告牌系统 (BBS)：作者在卡西欧 VX-4 口袋计算器上搭建 Telnet BBS，结合 BASIC 和串口通信，让老式计算设备接入网络服务。
- 1963年的塑料机械计算机：Digi-Comp 1 [视频]：视频展示 1963 年的 Digi-Comp 1。这台依靠塑料部件和橡皮筋运行的机械计算机，说明了计算原理如何被做成直观的实体装置。
隐私与安全
设备保护功能在加强，但平台默认行为和数据收集仍需要用户警惕。
- 吐槽 HN：当你更换域名解析服务器时，Cloudflare 会在后台悄悄强行植入其分析脚本：用户称将域名切换到 Cloudflare 后，静态网页被加入分析脚本。讨论焦点在于分析功能是否默认开启，以及此类追踪是否应明确由用户主动选择。
- 开启这些设置，让你的安卓手机远离被盗风险：文章介绍 Android 10 及以上设备的 Theft Protection 功能，包括基于动作的盗抢检测、离线锁定和远程定位，建议提前检查是否已开启。
- 安卓手机真的有必要安装杀毒软件吗？：现代 Android 已有基础安全防护，多数用户未必需要额外杀毒软件。但频繁侧载应用、点击未知链接或面临高风险攻击的用户，仍可能需要更多防护。
- 如何在 iPhone 上设置紧急联系人和医疗卡：文章说明如何在健康 App 中配置医疗卡和紧急联系人。这些信息可在紧急情况下供急救人员查看，并自动通知指定联系人。
科学与公共安全
核电运行事故得到控制，天文观测则为早期宇宙中的奇特天体提供了新线索。
- 圣卢西亚核电站1号机组因3根控制棒落入堆芯紧急手动停堆：美国圣卢西亚核电站 1 号机组满功率运行时，因 3 根控制棒落入堆芯而手动停堆。监管机构将事件定为非紧急状态，机组已稳定在热备用状态，2 号机组未受影响。
- 天文学家发现“黑洞恒星”的存在：研究人员利用詹姆斯·韦布空间望远镜观测早期宇宙中的红色亮源，认为它们可能是被高密度炽热气体包裹的黑洞，而非普通巨星。