1. 断网也能用的智能家居，才是真正可靠的智能家居；
2. .name 域名获祖父条款保护；
3. AlphaProof Code：AI 首次深度形式化验证 Signal 协议核心代码；
4. Blender 5.3 发布：原生高斯泼溅与渲染工作流大升级；
5. AI 写码，正在制造脆弱的代码库；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 断网也能用的智能家居，才是真正可靠的智能家居

🔗 docodethatmatters.com: Smart home devices should work without the internet

作者主张智能家居的核心功能必须做到离线优先，不能依赖厂商服务器；他用 Tasmota、MQTT、Node-RED 和树莓派搭建本地控制，并规定断网仍可用、保留传统开关、配置集中、多入口访问、谨慎引入云设备。两次演讲展示了车库门、洒水控制器、空气质量和总控面板等实践，读者案例则揭示冰箱、电视、温控器和肉温计等被无意义联网锁死的功能。由此补充的规则包括把第三方依赖视为风险、明确哪些功能必须离线可用、优先本地协议，并用 Tailscale 等方式安全远程访问。

2. .name 域名获祖父条款保护

🔗 neil.fraser.name: .name Grandfathered

尼尔·弗雷泽宣布，经过漫长且昂贵的抗争，Verisign 撤回终止计划，不再关闭约 22,000 个 .name 域名和邮件转发；虽然三级 .name 新注册将停止，但所有现有域名和邮件转发将无限期保留，包括其网站。文章强调这是团队协作成果，从发起行动、赴 ICANN 现场陈述、提交正式复议请求、律师施压到多方支持信，均有人参与，并感谢 ICANN 内部敢于反对官僚做法的个人。

3. AlphaProof Code：AI 首次深度形式化验证 Signal 协议核心代码

🔗 deepmind.google: AlphaProof Code

Google DeepMind 推出 AlphaProof Code，以多 LLM 智能体框架结合人类专家，对 Signal 加密协议的实际运行代码进行 形式化验证，首次实现 AI 对广泛部署密码协议如此深度的验证。系统将安全目标转化为数学规范，由 Gemini Carbon 智能体生成超 600 万行 Lean 证明，自动检查后仅需人工复核约 1% 代码；四周期限内完成传统上需专家团队数年的任务，并证明编译代码满足关键安全属性。团队还重新引入两个已修复漏洞，系统均给出机器可检查的不安全性证明，显示其能区分正确与有缺陷代码；成果有望推广至医疗设备固件、电网软件等关键系统，并以开源形式发布验证工件。

4. Blender 5.3 发布：原生高斯泼溅与渲染工作流大升级

🔗 blender.org: Blender 5.3 released with Gaussian Splat support

Blender 5.3 正式带来原生 3D Gaussian Splats 支持，可从 PLY、SPZ、glTF 导入并以点云存储，结合 Geometry Nodes 处理，在 EEVEE、Cycles 与 Workbench 中预览和渲染；同时新增 Principled BSDF 色散、DLSS Ray Reconstruction 降噪、EEVEE 材质灯光节点与全景相机、合成器效果堆栈、项目制资源管理、扩展资产库、Grease Pencil 绘制选择与雕刻填充、视频序列器波纹编辑，以及 Outliner 排序和侧边栏搜索等体验改进。

5. AI 写码，正在制造脆弱的代码库

🔗 evanxmerz.com: AI usage generates a fragile codebase

文章认为，AI 编程工具虽能快速生成代码，却常带来浅层测试、过度复杂实现和代码审查草率等问题；团队长期依赖 AI 还会导致人类理解下降，开发者难以识别抽象冲突与长期技术债。其后果是事故频发、故障恢复更慢、错误只在真实用户处暴露，并最终损害产品质量与用户体验。作者强调，高质量 SaaS 产品仍需人类开发者从长期维护和真实用户视角把关，不能把代码库完全交给 AI。

6. Val Town 宣布逐步关停并将开源

🔗 blog.val.town: Val Town is winding down

Val Town 因无法在云计算领域竞争而宣布逐步关停，并向用户致歉。自2026年11月10日起，平台暂停计费并停止新注册和套餐升级，现有订阅继续免费服务，年付用户将获部分退款；12月10日进入只读模式（不含 SQLite 与 Blob 存储），2027年1月10日所有其他服务终止，2月1日开源 Val Town。官方提供迁移至 Cloudflare、Vercel、Netlify、Render 的指南，并可通过邮箱或 Discord 求助。作者感谢团队、投资者和用户四年支持。

7. Gemini 4 Carbon 正式登场：更强智能体与网络安全能力

🔗 blog.google: Gemini 4 Carbon is now available

Gemini 4 Carbon 面向开发者、企业、科学家和消费者开放，是谷歌迄今最强的前沿模型，重点强化网络安全能力与长周期智能体工作流，在复杂知识工作、软件工程和科学推理中表现领先。它在 CursorBench 4.0 等基准排名第一，且单任务成本显著更低；Google Antigravity 预览 /swarm，可将单条提示转为可实时追踪的多智能体团队，用于架构设计、协调与审计。模型通过 API、Gemini 商业版和 Ultra 订阅提供，定价与 Argon 相同；同时覆盖高精度文档分析、全栈开发、3D/UI 设计、漏洞发现与修补、科研推理，并强化安全防护以降低滥用与提示注入风险。

8. 专利威胁逼停 DisplayLink Linux 驱动开发

🔗 lwn.net: Synaptics patent claims stop work on DisplayLink drivers

开发者 Mike Lothian 为改善 DisplayLink 扩展坞在 Linux 上的表现，借助 LLM 开发 Vino 驱动，却遭 Synaptics 专利侵权指控、停止开发要求和递增至每周 2.5 万美元的索赔威胁。Synaptics 列出 125 项专利，要求撤回内核邮件列表和代码托管平台材料；OIN 以其 Linux 系统定义不涵盖编解码器为由未提供 OIN 保护。Lothian 已撤下 GitHub 仓库，Vino 暂不能提交上游，Linux 用户仍难获得功能对等。

9. Ableton Live 13：步进音序器与 ARA 2 领衔升级

🔗 ableton.com: Ableton Live 13

Ableton Live 13 围绕创作、声音设计与混音加入 Step Sequencer、ARA 2 支持、Drum Synth、Capture Automation、Contextual Browsing，以及 Rack 更新、Looplet、Transient Shaper、Clipper、Envelope Clips、新 Rack 类型、Device Slots、核心库和 Softube 效果。Push 3 新增 Custom Layouts、步进音序器布局、Performance Mixer 与 Device Mode 升级，Push 2 支持部分改进。Live 13 分 Intro、Standard、Suite 三版，Suite 含 Melodyne essential 等；预计 2027 年初发布，Live 12 用户可 20% 折扣预购，新用户购买或升级 Live 12 可在发布时免费获得对应版本，公测限量开放给 Standard 与 Suite 用户。

10. 丰田复活Scion品牌，将在美国销售Kei小卡车

🔗 theautopian.com: Toyota brand Scion is back and it’s going to sell a kei truck in America

丰田宣布以Scion by Toyota名义复活Scion，定位为探索出行新概念的“自由实验室”。首款产品KEI-01实为换标丰田Pixis/Daihatsu Hijet Jumbo Cab，搭载660cc发动机与CVT，因按美国低速车辆标准认证，极速低于25mph且仅限限速35mph以下道路使用；它有600磅载重、三向折叠货斗、4WD和空调，计划2027年底起以车队试点小批量销售。另有两款概念车：SxS越野概念车和BXE个人户外出行概念车。

11. .NET 11 运行时：运行时异步登场，硬件基线全面上调

🔗 learn.microsoft.com: What’s new in the .NET 11 runtime

.NET 11（RC 2）的运行时更新集中在硬件门槛与异步模型两条主线。最低硬件要求全面上调：x86/x64 基线由 x86-64-v1 提升到 x86-64-v2，Windows 上的 Arm64 要求支持 LSE 指令集，ReadyToRun 目标在 Windows 与 Linux 上升级至 x86-64-v3，旧设备将直接无法启动并提示缺少指令集。最受关注的新特性是预览版 运行时异步（Runtime Async V2），由运行时自身接管挂起与恢复，取代编译器生成的状态机类，使实时调用栈从 13 帧缩减到 5 帧，显著改善堆栈可读性、调试体验与开销，并已支持 NativeAOT 与 ReadyToRun 编译，还带来延续对象复用、分层异步编译、Task 工厂内建折叠等性能提升。此外还有一批 JIT 优化，包括更激进的边界检查消除、冗余 checked 算术上下文移除、switch 表达式折叠、x64 上更快的 Math.BigMul，以及新增 SVE2 与 AVX-VNNI-512 内建指令。

相关报道：devblogs.microsoft.com (HN)

12. 让编码代理告别 2019 年 JavaScript，拥抱现代 Web 原语

🔗 github.com: Show HN: Get your coding agent off ~2019 JavaScript, onto modern web primitives

Modern Web Guidance 是面向编码代理的 Web 平台技能集，由 Chrome、Edge、Firefox 和 MDN 团队等维护，通过 CLI 将现代浏览器 API、最佳实践和兼容性数据注入代理上下文，减少对旧模式和臃肿 JavaScript 的依赖。它提供安装向导、搜索/检索指南和遗留模式扫描，覆盖 CSS 布局、HTML/DOM、JavaScript API、性能、可访问性、表单与内置 AI 等约 250 项现代特性，并强调原生能力、性能与无障碍以及轻量回退。

13. 全天候监控如何困住孩子与父母

🔗 theatlantic.com: What constant surveillance is doing to children and parents

从婴儿监视器、智能摇篮到 Life360 和 Find My，父母对孩子的全天候监控已从照护便利延伸至青少年乃至大学阶段。文章指出，位置追踪虽能带来协调便利和安全幻觉，却可能阻碍青少年完成独立发展这一重要任务，也让父母难以放手、陷入持续焦虑。研究显示，被追踪的学生常感到不被信任，亲子关系可能陷入恶性循环；而青少年风险行为整体下降、焦虑抑郁上升，或与风险容忍度降低有关。作者认为，技术让父母每一次担忧都能轻易付诸行动，最终孩子和父母都被“数字脐带”束缚。

14. 星链 Mini 2

🔗 starlink.com: Starlink Mini 2

页面围绕“星链 Mini 2”呈现，但当前可见内容主要是一则浏览器提示：必须启用 JavaScript，否则页面的 内容展示 与 功能使用 可能受到限制，甚至完全无法访问。这意味着用户若遇到空白、按钮无响应或信息加载不完整，应先检查浏览器设置并开启脚本支持，再重新加载页面以查看完整内容。由于正文未给出更多产品规格、价格或上市信息，摘要只能确认该页面依赖脚本运行，无法进一步概括设备细节；访问前建议使用支持 JavaScript 的现代浏览器并保持网络连接正常。

15. 皇后区公共图书馆遭勒索软件攻击，部分服务中断

🔗 connect.queenslibrary.org: Queens Public Library under ransomware attack

11月11日退伍军人节全部分馆闭馆；目前各馆按计划开放，但因勒索软件攻击出现严重网络中断，网站、移动应用、多数开放分馆的公共电脑及数字媒体服务受影响，免费Wi-Fi、借还书机和七家分馆公共电脑已恢复。读者仍可借还资料，但续借服务暂停，且不收取逾期罚款。虚拟和线下活动可能受影响，图书馆正努力恢复系统，并呼吁读者查看更新或致电求助。

16. 瓦伦西亚等距像素地图：整城化身模拟城市

🔗 tinyvalencia.com: Show HN: Valencia, Spain in Sim City/Isometric View

Tiny València 是一个以 等距像素艺术地图 呈现瓦伦西亚的项目，灵感来自《模拟城市》和 Isometric NYC。地图中每栋建筑都是真实建筑，以固定俯视角逐街区绘制，覆盖从农田到阿尔布费拉湖的整个市域，仅少数缺少 3D 影像的农田飞地未包含。制作上，项目先用真实 3D 城市数据从固定等距相机渲染，再由像素风格图像模型 逐块重绘，让相邻瓦片无缝衔接，海洋、港口水域和阿尔布费拉湖也采用同一风格。页面支持拖动、缩放、双击放大，以及随机位置、全图、全屏、搜索和游玩快捷键，地址栏会保存当前视图。项目 免费无广告，靠 Patreon 支持租用 GPU 和服务器；数据来自 Catastro、IGN、OpenStreetMap 及 Cesium ion 的 3D 参考。

17. AMD Zen 6 家族：为性能猛兽供能

🔗 chipsandcheese.com: AMD’s Zen 6 Family: Feeding the Beast

Zen 6 是 Zen 5 的迭代升级，前端允许单线程使用双解码簇，分支预测更准且误判恢复更快；执行引擎调整整数与向量吞吐，VNNI 翻倍、256 位加载提升。最大变化是 乱序结构分化：Zen 6 面向高频，Zen 6c 用更大的 ROB、寄存器文件、调度器和加载队列吸收延迟，并配 32 核 CCD 与 128MB L3。SPEC CPU 2026 估算显示，9686F 单线程约领先 Zen 5 9575F 21% 整数、18% 浮点；9996 在低约 900MHz 下仍大致追平，同频时 Zen 6c 在部分负载更优。

18. 2026年全球化石碳排放预计小幅下降

🔗 news.exeter.ac.uk: Fossil CO2 emissions decrease in 2026

最新《全球碳预算》预计，2026年化石燃料二氧化碳排放下降0.4%至382亿吨，但土地利用变化排放上升使总排放达433亿吨。石油排放因伊朗冲突引发的能源冲击下降1.9%，太阳能、风能和电动车满足全球新增能源需求的三分之二，却仍不足以带来持久下降。剩余碳预算仅约1500亿吨，不足当前不到四年排放量；报告强调，清洁能源部署必须进一步加速，才能推动全球排放达峰并持续下降。中国、美国、欧盟排放预计分别下降0.9%、1.3%、1.5%，印度预计增长4.4%。

19. HolyArrs：15MB 的自托管媒体中心，六大工具合而为一

🔗 github.com: Show HN: A 15 MB self-hosted Netflix and Spotify for your media server

HolyArrs 是一个面向个人媒体服务器的自托管应用，主打以 约15MB镜像 替代 Sonarr、Radarr、Lidarr、Bazarr、Prowlarr 和 Overseerr 等 六大媒体工具，实现单登录、单端口和单处排障。它支持浏览影视与音乐、搜索来源、版本选择、请求审批、字幕管理和播出日历，并可与 qBittorrent、Plex、Jellyfin 等现有下载器、媒体服务器及索引器配合，也支持从旧工具迁移配置。当前它不能独立下载、不含 AI/MCP 功能，手机和电视原生应用尚未推出。通过 Docker 快速部署，应用免费开源，适合希望减少多应用维护成本的用户。

20. Claude 白板、表格与数据功能上线

🔗 claude.com: Claude Whiteboards, Claude Sheets, and Claude Data

Claude 推出 Beta 版 Claude 白板与 Claude 表格，并将 Dashboards 正式升级为 Claude Data，面向所有付费方案开放。用户可在 Claude 内直接完成头脑风暴、表格生成编辑和数据分析，团队成员能实时共同编辑，也可导出至 Excel、CSV 或 Lucid、Miro、Airtable 等合作工具继续处理。白板支持把讨论整理为带负责人和时间线的工作板；表格可生成标签页、公式、格式与下拉菜单并追踪修改；Data 新增认证查询、数据故事、实况共享、缓存刷新和版本追踪。三款功能均支持网页、桌面和移动端，企业管理员可调整默认开关。

21. Palantir聘前民主党参议员泰斯特，应对新国会审查

🔗 text.npr.org: Palantir hires a former Democratic senator as it faces scrutiny in new Congress

Palantir在民主党将掌控国会、科技业面临审查之际，聘请前蒙大拿州民主党参议员乔恩·泰斯特担任顾问。泰斯特称协议属咨询而非游说，并称公司有“好故事”要讲、相信隐私；Palantir否认协助大规模监控，称只提供工具供机构整理自有数据。但参议员怀登等民主党人仍就国土安全部合同和移民监控问题追责，AI Now研究所的艾布拉欣批评科技公司用金钱和“旋转门”规避问责。Palantir持有约20亿美元联邦合同，其与ICE/DHS相关的移民追踪工具及CEO卡普对民主党的批评，使大规模监控争议成为新国会审查焦点。

22. 最刁钻的 Tarball？

🔗 stoppels.ch: The Hardest Tarball?

它通过 单次 GNU tar 调用和 pax 扩展头把硬链接 size 覆盖为 512 字节，使归档出现“硬链接是否携带数据”的歧义解释。不同 tar 工具与库解压后产生 8 类不同结果，包括忽略大小、写入额外数据、跳过数据乃至拒绝解析，暴露了 POSIX 与实现间的兼容性问题。作者还将其纳入包含 134 个疑难 tarball 的 haampie/tar-minefield 测试集与在线表格。

23. 别买AR眼镜：别把广告戴到脸上

🔗 blog.yaros.ae: Don’t buy AR glasses

作者认为，AR若走向主流，厂商很可能像当年把网页变成游戏化与恶化的广告场一样，把广告、弹窗、暗黑模式搬进眼镜。眼镜天生适合全天佩戴，这会让注意力经济进一步贴到用户脸上，甚至催生现实世界弹窗。因此，除了短期便利，普通人没有充分理由购买AR设备，也不该让自己长期依赖始终在线的HUD；应继续使用手机、保持抵制，别主动走进赛博朋克式反乌托邦。

24. Tailscale 的 DNS IPv6 地址暗藏“Tailscale”

🔗 reddit.com: Tailscale’s DNS IPv6 spells out “Tailscale”

根据 Hacker News 评论而非原文（原文链接未获取）概括：文章应讨论 Tailscale 的 DNS IPv6 地址能拼出“Tailscale”。评论补充，Tailnet 名称由“tail”和“scale”两个词表随机组合，充满双关与彩蛋，如 koi-koi.ts.net；Facebook 的 IPv6 地址也含 face:b00c。还有人用 ULA 前缀编码域名，并吐槽 IPv6 地址难记，因此讨论主要围绕 IPv6 命名彩蛋与可读性 展开。

25. 玻璃翼计划七个月：发现不少，修复与验证仍难服众

🔗 vulncheck.com: After 7 Months, Glasswing Overwelms Maintainers with Underwhelming Findings

七个月后，Anthropic 的 Project Glasswing 累计被追踪到 442 个 CVE，约占今年全部 CVE 的 0.5%，仅 2 个已在野利用；其披露台账列出 37,966 项发现，却只有 19.4% 公开、217 个修复，重复与撤回项持续累积，令 94.2% 真阳性率受质疑。新推出的 OSS Scanner 把验证负担转给维护者，curl 的 34 份报告中 19 份被判非漏洞、6 份低危、9 份待评估，假阳性率约 55.9%。整体看，AI 找漏洞有价值，但玻璃翼计划的成果与最初的高危叙事仍有明显落差。