最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
catlang 将代码编译为巨型 SQL：用范畴论把 PostgreSQL 17 变成通用计算引擎
开发者 Sandy Maguire 开源了实验性编程语言 catlang，它先将类 Arrow 源码脱糖为无变量的纯范畴论中间语言，再直接编译为单条可在 PostgreSQL 17 中运行的巨型 SELECT 查询。这不是另一门替代 SQL 的查询工具，而是一场验证编译器中间层极端解耦能力的架构实验，同时暴露了纯代数模型撞上关系型数据库时的工程裂痕。
NASA InSight 单台站定位 146° 远震，证实火星水手号峡谷断层仍在活动
哥伦比亚大学与帝国理工学院团队重分析 NASA 洞察号记录的 S0976a 火星背面震动，证实太阳系最大峡谷水手号峡谷地下 15 至 45 公里处发生了一次约 3.6 级的走滑火震。这打破了火星古老峡谷属于死寂化石的定论，但这项极限单台站推导引入了地表断层密度作为先验条件，在证明构造活动成立的同时，也暴露出绑定具体断层时的循环论证边界。
AMD 2026 Q3 狂揽 134 亿美元创纪录，深扒数据中心暴涨 97% 背后的隐性代价
AMD 2026 年 Q3 总营收达 133.77 亿美元，数据中心业务同比暴涨 97% 至 85.46 亿美元，创下公司史上最盈利季度纪录。但在高增长表象下，AMD 与 Nvidia 仍存十倍体量差距，且 34.71 亿美元调整后净利仅转化为 5.54 亿美元自由现金流，并背负 10.97 亿美元客户认股权证费用，展现出争夺 AI 大客户的激进代价。
加州签收NTIA的BEAD计划14.2亿美元拨款，拒认14年全州监管豁免
加州公用事业委员会于2026年11月2日签署接受联邦BEAD计划14.2亿美元宽带拨款，但附信拒认特朗普政府要求放弃全州网络中立性与费率监管的第50条限制。NTIA次日强硬宣告抗议附信无效，加州随即冻结向下分发资金。这是一场用14.2亿农村基建补贴撬动最高160亿存量监管拆迁的博弈，加州在州法死锁与经济账失衡下已无退路。
Nexus Mods 拒绝一刀切封禁 AI，设 60 天死线逼作者自证人类主导
全球最大 PC 游戏模组平台 Nexus Mods 于 2026 年 11 月 3 日发布 AI 治理新政，拒绝全面封禁 AI，但设定了截至 2027 年 1 月 2 日的 60 天合规宽限期。新规将 AI 标签细分为三类，要求声称 AI 辅助的创作者必须公开所用模型并提交人类主导开发的证据，同时默认开启防 AI 训练权限锁，成为首个对海量 UGC 资产实施强制自证与确权的社区平台。
Canva重组波及22%共1271人，年收40亿美元仍被AI成本反噬
Canva宣布波及1,271名员工（占比22%）的架构重组，合并产品、增长与平台三大团队并收紧悉尼线下办公。这场调整并非源于业务萎缩，而是其估值下调至349亿美元、前期激进调用外部大模型导致成本高企后，在IPO前夕对AI单位经济模型与组织冗余的一次集中修正。
Soniox STT v6 上线回声过滤，555ms 终稿背后藏着 1110ms 首字代价
Soniox 发布 STT v6，支持将 Agent 播报文本同步传入语音识别模型，用于过滤免提残余回声并消除短回答歧义。这套方案靠 500 毫秒至 1 秒的词级时间窗对齐，并不能取代底层声学回声消除，且伴随着 1110 毫秒的首 Token 延迟代价。
NVIDIA DGX Spark 跑 Ling-3.0-flash 提速 42.5% 却未赢 M4 Max
NVIDIA 通过 Humming MXFP4 内核、LM Head 在线 FP8 量化与 NEXTN 投机解码三项优化，将 DGX Spark 运行 124B 参数模型 Ling-3.0-flash 的单并发解码速度推至 53.89 tokens/s，增幅达 42.5%。这并未让它在纯吐字速度上超越 Apple M4 Max，但补齐解码短板后，GB10 芯片凭借长文本预填充的算力统治力，在本地 Agent 与长思考链场景拿回了端到端总耗时优势。
Sonos 27.3 实装 50 个 Presets 快捷预设，27voice 免费 AI 语音内测
Sonos 在 2026 年 11 月 3 日推送 27.3 更新，上线最多 50 个一键控场的 Presets 预设，并预告免费的对话式 AI 助手 27voice 即将开启早期测试。为了换取大模型听懂模糊描述的能力，Sonos 放弃了旧版语音纯本地处理的隐私传统；在 Alexa+ 与 Gemini 推进订阅收费时，Sonos 选择用云端算力成本补贴硬件，守住客厅音乐控制权。
The Little Book of Generative AI Foundations v2 发布：195 页零代码串起生成模型
学者 Tianhua Chen 在 arXiv 更新了《The Little Book of Generative AI Foundations》v2 版，将篇幅扩充至 195 页并补齐了全书可视化图解。这本零代码小册子从 PCA 一路推导至扩散模型，打通了不同流派的数理断层；但它实质上偏向连续概率建模而非 Transformer 架构，且尚缺公开勘误验算。
The Internals of PostgreSQL 11周年更新至19-beta，这3处旧章陷阱藏不住了
PostgreSQL 知名免费内核指南《The Internals of PostgreSQL》迎来发布 11 周年，作者铃木启修在 2026 年补齐了异步 I/O 与逻辑复制两大章节，并宣布文档覆盖至 PostgreSQL 19-beta。然而代码级核查显示，这部由个人维护的指南采取的是增量补丁模式，缓冲区 freelist、HOT 更新与 VACUUM 等底层旧章节已滞后于 PG 16 至 19 的真实源码。依赖该指南或 2019 年中文实体书进行生产库调优的工程师，亟需对照最新源码排查认知偏差。
Anthropic 开源 FlashProve 0.16.0：用数学证明大模型身份需付 70 倍算力代价
Anthropic 开源了名为 FlashProve 的可证明推理原型系统，试图通过密码学承诺让用户验证大模型输出的真实身份。但 23 页技术报告与源码显示，该方案带来 70 至 95 倍的 GPU 算力开销，且仅支持 4-bit 整数模型与死板的贪婪解码，短期内毫无商业部署可能。
xAI与Crusoe抢购Boeing 747旧引擎发电，1GW年多烧1.13亿美元
受困于长达7年的电网排队与排期至2031年的新燃气轮机交付，xAI与为OpenAI建设Stargate的Crusoe正批量采购由退役波音客机CF6-80C2发动机改装的燃气轮机自建电源。相比高效率的联合循环电厂，这种简单循环航改机组每1GW算力每年要多烧1.13亿美元天然气并多排150万吨二氧化碳，但能把通电时间压缩到24个月，且xAI已将其直接写进密西西比州的永久电厂环评许可。
Jeff Bezos 假植发照曝光 Google SynthID 跨平台漏检漏洞，2023 年旧图靠传统版权水印证伪
2026年11月初疯传的杰夫·贝索斯“植发照”被证实篡改自2023年12月的圣巴茨岛度假旧照。更值得警惕的是，事实核查机构Lead Stories在样本中检出了Google SynthID水印，而The Verge测试的流传版本却毫无痕迹，说明AI隐形水印在跨平台流转中极易失效，最终锁定真相的依然是传统的狗仔队图片社版权水印与反向搜索。
Palantir Q3营收飙至23.13亿美元却遭冷遇，美国商业TCV环比跌31%暴露短单隐忧
Palantir 2026年第三季度总营收同比暴涨96%至23.13亿美元，美国商业营收达9.84亿美元首次超越美国政府营收。但次日股价不涨反跌，导火索是美国商业总合同价值（TCV）环比缩水31%至14.63亿美元。在33倍2027年预期营收的高估值下，企业AI采购转向千万美元级短周期合同，正把远期确定性变成华尔街最大的分歧点。
HackerTV 把 6454 个 Hacker News 推荐视频做成全天候电视台
开发者 dsalzman 用 Claude Code 在几小时内构建了 HackerTV，把 Karpathy 从 39,834 条 Hacker News 评论中洗出的 6,454 个 YouTube 视频改造成全天候播放的复古电视频道。项目不仅靠客户端时钟实现了零后端成本的全网同步直播，还借跨月提及频次绕开了 API 限制，用极简架构治愈了算法时代的选择疲劳。
Ballistic Ventures 拟募资 4.9 亿美元押注 AI 网安，72% 交易贴标签下谁在买单
前 Kleiner Perkins 合伙人创立的 Ballistic Ventures 向 SEC 提交文件，计划通过两只新基金共募资 4.9 亿美元投向网络安全。表面看美国涉 AI 网安交易笔数占比已冲上 72%，但底层数据未经人工审核，真实资金正向极少数头部大轮次集中。当垂直安全 VC 集体扩充弹药，光晒巨头并购名单已不够，机构 LP 最在意的是扣掉成本后的真实净现金回报。
Safari 27.3 beta 上线 Adaptive Dark Mode，填补 30% 暗黑空白
WebKit 团队在 Safari 27.3 beta 中推出引擎级自适应深色模式，针对 40% 深色网页加载需求与 10% 网页支持率之间的缺口，直接在底层将浅色网页转为深色。苹果借此封堵了浏览器指纹追踪漏洞，但向 JavaScript 隐瞒真实色彩的设计，结合测试版退出机制的缺失，也给前端开发者埋下了新的视觉兼容雷区。
OpenAI 挖走 Uber 十年老将 Jill Hazelbaker，FTC 传票19天后的公关分权
2026年11月3日，OpenAI宣布任命Uber总裁Jill Hazelbaker为首席企业事务官，直接向Greg Brockman汇报。这位刚在Uber升任总裁不到半年的公关老将，到OpenAI后却被剥离了公共政策与安全实权。面对三周前落地的FTC传票与密集诉讼，OpenAI买来了顶级的叙事防守能力，但真正的破局点仍在产品与安全决策本身。
Cisco 引入 OpenAI GPT-6 Astra 防御网络攻击，新题库得分骤降至 39.0%
OpenAI 披露思科已将 GPT-6 Astra 模型与 Daybreak 计划引入微服务边界与 Cloud Control 平台，用机器速度关联遥测信号并修补漏洞。但在公关案例背后，核心 AI 扫描器仍处于架构验证期，且底座模型在 2026 年夏季新题库上的得分从 100% 跌至 39.0%，企业采购不能只看定性宣传。
Apple 开放 Siri AI 接入第三方应用：iOS 27.3 仅发开发者预览，2027 春季才上架
苹果在 2026 年 11 月 3 日随 iOS 27.3 beta 向开发者开放了 Siri AI 的第三方应用接入预览，但普通用户最快要到 2027 年春季才能在 App Store 用上。相比谷歌 Gemini 已经落地的屏幕直接代操作，苹果死磕需要开发者主动编写接口的 App Intents 路线，不仅面临超级 App 的商业防备，还提前埋下了云端算力每日限额与付费扩展的伏笔。