AI 现在能设计电路板了吗 -- Can AI design circuit boards yet?
OpenAI 昨天在 GPT-6 Astra 的发布文章首页展示了该模型在 KiCad 中处理电路板的演示，我们对此感到十分兴奋。在如此重要的模型发布中看到电子相关的内容亮相，确实让人觉得很有意思。显然，我们离直接通过一个提示词就让 AI 设计出整部手机还有很长一段距离。
好吧，但它能扩展吗 -- Ok, but does it scale?
在一个 YouTube 评论区，有人问：“你们怎么横向扩展？”这大概是关于时空数据库（SpacetimeDB）我最常被问到的问题。它看似简单，但扩展是个复杂话题，魔鬼往往藏在细节里；好在这件事还没复杂到不能从第一性原理讲清楚。下面先讨论扩展性的一般原理，再回答它如何扩展。
我们关停公共加密DNS服务 -- Shutting down our public encrypted DNS
Mullvad（Mullvad）自2022年起运营公共加密DNS（DoH）服务器。使用Mullvad VPN时无需这些服务器，因为流量已加密，且Mullvad VPN的内部DNS会处理所有查询。在VPN之外，它们有两个用途：Mullvad Browser在非VPN状态下默认使用，防止ISP看到访问的域名；任何人都可以将其作为免费公共服务来保护DNS查询。
费马大定理实现形式化证明 -- Formalizing Fermat's Last Theorem
约1637年，皮埃尔·德·费马（Pierre de Fermat）在古希腊数学家丢番图所著的《算术》一书的页边空白处写下一个命题，后来成为史上最著名的数学猜想之一：当整数n大于2时，不存在满足aⁿ + bⁿ = cⁿ的正整数a、b、c。这个被称为费马大定理（FLT）的猜想极难证明，安德鲁·怀尔斯爵士在1995年给出的首份证明长达129页，且需要经过数月细致工作才能完成核验。
OpenAI与Anthropic宕机 无人解释原因 -- Nobody Is Saying Why OpenAI and Anthropic Had Outages
2026年9月3日，OpenAI（OpenAI）和Anthropic（Anthropic）都遭遇了服务中断。OpenAI的宕机始于美国东部时间上午10点左右，影响了ChatGPT和API服务，直到下午1点左右才恢复。Anthropic的Claude服务也在同一天上午中断，许多用户报告无法正常使用。
Show HN：开源 eInk 自行车电脑 -- Show HN: Open-Source eInk Bike Computer
OpenTrailPaper 是适用于 LilyGO T5S3 4.7" E-Paper PRO 的开源固件，可显示骑行数据与离线地图、跟随 GPX 路线、记录 FIT 文件并连接蓝牙传感器，用户需自行购买并保护开发板。设备通过橙色触控区域切换相关屏幕，按 Home 键可进入运动页面，显示功率、心率、速度、距离与骑行时间，屏幕顺序与字段可在手机 App 或 SD 卡 /config/dashboard.cfg 中调整。
成人制片商曝光常年BT盗版用户为Meta高管 -- Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
十多年来，版权方常借美国联邦法院披露匿名BitTorrent用户身份。成人制片商Strike 3 Holdings每年提起数千宗以无名氏（John Doe）为被告的诉讼，多以和解收场。今年夏天，该公司与Counterlife Media共同起诉Meta，称Meta用BitTorrent下载2,973部影片训练AI，索赔最高4.46亿美元。如今这起大案撞上该公司的一桩例行无名氏案：上周动议显示，一名躲在AT&T住宅宽带后面的盗版者，正是Meta现实实验室（Reality Labs）的高管。
美国企业正加速拥抱开源AI -- Corporate America is getting hooked on open-source AI
上周，人工智能公司Anthropic公布了其AI助手Claude的底层技术细节，使其成为首家公开核心系统运作方式的美国大型AI开发商。此前，OpenAI（OpenAI）和Google（Google）等竞争对手一直将此类信息严格保密，业界普遍担忧AI模型可能失控。
美军关闭士兵手机 ad trackers -- US Military disables ad trackers on troops' phones
美国军方（US military）官员表示，已在一批手机和电脑上禁用广告跟踪器。据俄勒冈州民主党人、美国参议员罗恩·怀登（Ron Wyden）于2026年9月4日公开的信件及向路透社提供的声明，此举是在有报道称商业位置数据被用于针对驻扎中东的美军之后作出的。空军称两个月前已禁用电脑和手机上的广告标识符。
Gmail终止对@yahoo.com等第三方地址的Send as支持 -- Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com
自2027年1月起，谷歌邮箱（Gmail）将不再支持第三方邮箱地址的“Send as”功能，例如雅虎（Yahoo）或Outlook邮箱。此变更不影响Google Workspace别名或用户拥有的其他Gmail地址。若你拥有其他邮箱地址，仍可将其设为发件地址，如工作、学校域名或别名。