五百六十七 一零二九二七五七七三五三三六零五八八九九

新的档案研究显示，罗莎琳德·富兰克林是有意拍摄“照片51”，作为“照片49”的改进后续，而非偶然成像，表明她认识到其重要结构数据。富兰克林在“照片49”中记录了可能的螺旋特征，并制作了更清晰的“照片51”作为展示图像。她的笔记反驳了她未能解读自己结果的说法。她当时正致力于区分DNA的A型和B型结构，并优先研究信息更丰富的A型。在她发表之前，莫里斯·威尔金斯把她的B型结构照片给詹姆斯·沃森看；随后沃森、弗朗西斯·克里克和威尔金斯建立了双螺旋模型，并获得1962年诺贝尔奖。富兰克林于1958年去世，早于该奖，她的贡献后来才更加清晰。文章还指出，她可能认识到的是螺旋结构，而非一定是双螺旋结构。

FlashProve 是一个使用 zkSNARKs 的可证明 AI 推理开源原型。它允许提供方承诺模型权重，并证明每个响应来自该模型，而不泄露权重。这解决了诸如调控 AI 发展节奏、篡改检测、文本溯源和确保提供经批准模型等信任问题。对于 Llama 4 Maverick（400B MoE，4-bit），它在单个 H100 上以约 110 tokens/秒生成证明，1,024-token 请求的证明大小约 19 MB，约为 vLLM GPU 时间的 70–95 倍。证明在 CPU 上几秒内完成验证。系统采用事后批处理并隐藏了运行的专家。它包含代码、技术报告、协议规范、C++ 和 Lean 验证器，以及用于完备性、健全性和零知识的 Lean 证明。局限包括快速代码无形式化保证、仅支持整数/贪心解码、不隐藏架构、侧信道和 1,024-token 上下文。基于 Apache 2.0 协议发布。

Replay 的使命是实现可靠、自动地检测和修复所有 Web 缺陷。这需要编码代理、用于查看和根因分析缺陷的可观测性，以及将它们连接起来的运行框架。Replay 的核心技术是一个面向 Chromium 和 Node.js 的时间旅行调试器，它记录非确定性输入并支持确定性重放，将执行过程拆解为可查询的语句、状态和依赖数据库——为代理提供“完美可观测性”，使其无需猜测。 基于此调试器，Replay QA 是一个可直接接入的工具，用于探索和测试应用、从部分数据复现用户会话，并发现多种缺陷（功能损坏、故障、性能、安全）。对于每个缺陷，它会结合录制中的支持证据识别根因。其自有后端也被录制，因此检测到的失败会被调试、修复，并由软件工厂转化为持久测试用例。 在一个对主要应用构建商推广的 40 个应用进行的实验中，Replay QA 发现了 900+ 个缺陷。与仅提供复现步骤（迫使代理猜测根因）的工具不同，Replay QA 提供由证据支持的确切原因——例如缺失的 onClick 处理器或多因素布局偏移——使代理能够直接修复缺陷。Replay QA 已正式可用，可免费试用，并提供集成、定时运行和 API。

在10月科技股抛售将纳斯达克100指数推入回调区间后，AI情绪转为看跌，英特尔下跌47%，主要科技股大幅下跌。尽管今年AI总支出预计超过7300亿美元，投资者仍质疑其能否带来回报。ZeroHedge正在举办一场辩论，看涨投资者Gene Munster将AI视为一场早期且被低估的革命；看跌投资者George Noble则称其为资本密集型泡沫，回报不佳，到2030年超大规模云服务商盈利可能为负。活动将探讨这一下跌是崩盘信号还是买入机会。

Kimi K3.1 Pro 是 Moonshot 的开源权重、原生多模态智能体模型，也是其迄今最强大的 3T 级模型，基于 Kimi K3 通过大规模联合强化学习进行后训练。它采用 2.8T 参数的 MoE 架构，激活参数 104B，共 93 层，并具备 100 万 token 上下文窗口，以及 KDA/Gated DSA 注意力和 MXFP4/MXFP8 量化。它提升了编程、3D 创作、金融研究、事实准确性以及智能体能力。基准测试显示，它在编程、智能体、多模态、推理和网络安全任务中表现具有竞争力或领先。它支持 reasoning_effort low/high/max（默认 max），在 platform.kimi.ai 提供 OpenAI/Anthropic 兼容 API，并要求在多轮使用中保留完整的助手消息，包括 reasoning_content 和 tool_calls。采用 Kimi K3.1 Pro License 发布；请联系 [email protected]。

伊朗伊斯兰革命卫队表示，四艘油轮在霍尔木兹海峡以南的禁航区被海军水雷摧毁，另有两艘船被扣押。尽管原油流量仍高于春季低点，该地区袭击有所加剧。中东石油出口从9月的1890万桶/日降至10月的1710万桶/日，通过霍尔木兹海峡、红海和阿曼湾的原油与凝析油流量降至1610万桶/日。分析师将下降归因于霍尔木兹海峡风险上升，但数据可能修订。由于安全担忧，船只关闭应答器，船货追踪日益困难，迫使油轮追踪者更多依赖卫星图像。

Y Combinator CEO Garry Tan 说他每年花费约10万到20万美元用于AI token，使用智能体进行编程、研究和日常任务。他的智能体已读取他的邮件、Dropbox、Apple Notes和治疗记录，并共享了23个 Claude Code 技能，称为“gstack”。他把智能体比作有帮助的“吉米尼蟋蟀”，会自主行动并预判需求。YC还使用内部智能体 Stray Light，具有个性和公司上下文。Tan认为如果成本下降，个人AI智能体可能成为主流，同时警告不要使用大型科技公司控制的智能体；他偏好用户控制、可编程的个人AI。

客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。此网站的必要组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的网络连接，禁用广告拦截器，或尝试使用其他浏览器。

PC Deal Check 是一款免费的美国公测工具，帮助买家判断电脑的要价是否合理。用户可以粘贴零售商链接，或上传价格和规格的照片；AI 会识别主要部件。自定义定价引擎会将要价与基于市场的组件估价进行比较，并给出交易等级。报告包含等级、带日期的组件估价和价格核查链接，可分享、发送邮件或打印。无需硬件专业知识或账户。例如，标价 1,399.99 美元的 PowerSpec G531 获得了 A 级，其部件估价约为 1,569 美元。该服务是价格参考，而非性能测试，用户应向卖家确认细节。功能和评分在公测期间可能会变化。

AMD公布第三季度创纪录营收133.77亿美元，同比大幅增长，净利润增长95%至24.3亿美元，摊薄每股收益1.46美元。数据中心营收达到85.5亿美元，增长97%，主要受Epyc处理器和Instinct AI加速器推动，现占总营收的64%。客户端与游戏营收下降8%至37.22亿美元，而嵌入式营收增长29%至11.1亿美元。AMD预计第四季度营收约170亿美元，可能首次超过英特尔预期的150–160亿美元。公司预计数据中心在2027年将占营收80%以上，服务器CPU营收将翻倍，AI加速器/机架营收将超过翻倍。PC出货量预计下降，但AMD目标在企业级和高端细分市场表现优于整体。

据英国《金融时报》报道，甲骨文取消了一项约70亿美元、为期五年的交易，该交易本将在东南亚数据中心向腾讯租赁多达10万颗先进AI芯片；此前特朗普政府官员向该公司表达了担忧。该租赁在现行规则下合法，据报道腾讯已支付约30%的预付款。腾讯在国内面临美国和中国的先进芯片限制；广东官员还敦促其支持国产芯片。尽管英伟达新近以口头方式施加的规则要求新合同中至少51%的服务面向非中国客户，而该规则本可豁免这份更早签署的租赁，取消仍发生了。另外，华盛顿正试图通过停滞的立法和可能的商务部规则关闭远程访问漏洞；同时特朗普批准了向中国出口H200芯片并抽取25%的美国分成，北京则倾向国产芯片。甲骨文最近筹集了200亿美元，字节跳动和阿里仍是东南亚数据中心的重要客户。

民主党在中期选举横扫后，Bernstein 分析师认为这对美国消费股和零售业整体有利。沃尔玛、Dollar General 和 Dollar Tree 等面向低收入群体的零售商，若民主党延迟或撤销 OBBBA 下的 SNAP 和 Medicaid 削减，可能受益。家居改善零售商（HD、LOW）和汽车配件售后零售商（AZO、ORLY）可能受益于汽油价格和利率的缓和。撤销高收入减税可能拖累 Target 等面向高收入消费者的可选消费零售商。关税风险仍存，住房与汽车暴露最明显，但家居改善下行风险有限，汽车配件零售商可以转嫁成本。更严格的移民审查可能缓解劳动力成本通胀。更稳定的政治环境可能降低宏观不确定性并支持零售商，包括沃尔玛的盈利能力。分析师给予 AZO、COST、DOL、DG、FIVE、LOW 和 WMT 优于大市评级，而 DLTR、HD、ORLY 和 TGT 为市场表现。标普 500 可选消费板块上涨 4%，华尔街预计福利支出将重新增加。

Pierre Computer Company 于 2026 年 11 月 4 日在 X 上发布了一则公告。该帖获得 4.06 万次浏览及多次反应。回复显示，该公告可能涉及一次重大人才收购，欢迎包括 @fat 和 @mdo 在内的人士；评论者称其为“可能最密集的人才收购”，并 jokingly joked about teaching OpenAI to make better release videos.

Mocktastic 是一个小型的、教育性质的 Meshtastic 兼容 LoRa 客户端，适用于 ESP32 开发板，已在配备 SX1276 无线电的 LilyGO T3 LoRa32 V1.6.1 上测试。它演示了在 C++ 中构建和解码 Meshtastic 数据包，并包含一个 DHT22 环境传感器示例。它支持两种编译时模式：DECODER 提供交互式串口 shell，用于在配置的频道上接收、解码和发送文本或直接消息；而 SENSOR 将开发板变为温湿度传感器，可发送测量数据并在私有频道上响应 `/dht` 消息。该项目使用 mbedTLS 和 Nano-Protobuf，并使用基于 Doctest 的主机测试来验证平台无关逻辑。设置需要在 `keys.h` 中配置 LoRa 引脚、无线电频率/预设以及频道/节点密钥。它旨在用于学习和原型开发，而非生产或安全关键用途；必须验证无线电法规和硬件行为。

对微塑料和可持续性的日益关注正在推动新的无塑料咖啡产品。Lavazza 推出了 Tablì，一款售价 129 美元的机器，使用可堆肥的浓缩咖啡片剂，而非塑料/铝胶囊。Keurig 推出了搭载可堆肥 AltaRounds 胶囊的 Alta 系统，但套装售价 499 美元，且仍含塑料包装。Caraway 发布了一款售价 495 美元、全不锈钢和玻璃材质的咖啡机，冲泡路径中不含塑料，现已售罄，直至一月。行业领导者表示，消费者想要更少的塑料垃圾、健康保障和优质材料，而环保倡导者指出，包装仍可能造成污染。早期需求强劲表明，咖啡市场正朝着更可持续、减塑的咖啡机和咖啡胶囊方向转变。

codemap 生成 Go 模块的单个自包含 HTML 地图。它显示每个包、内部依赖关系以及每个文件中的函数，不包括测试。用户可搜索、点击包以检查其使用内容和被谁使用，并对 GitHub 托管的模块直接跳转到函数的源代码行。输出是单个无需服务器的 HTML 文件，适合网站或 CI 构件。在 Go 1.24+ 的模块中运行 `go run github.com/peterretief/codemap@latest -o code-map.html`，或使用 GitHub Action。布局将依赖项放在依赖者下方，为顶层文件夹着色，并按函数数量缩放框宽度。它从名称中省略 `internal/`，并排除 vendor、testdata 和嵌套模块。

Stream Vessel 的 MCP 服务器在可用性与防钓鱼安全之间取得平衡。标准 OAuth 注册对未列入允许列表的重定向 URI 会失败，而接受任意 URI 又会引发钓鱼：攻击者可注册伪造客户端并窃取授权码。他们的方案保留了运营方允许列表与环回 URI，并允许每个用户为自己的账户信任最多 10 个精确的 HTTPS 重定向地址。注册接受任意 HTTPS URI，但授权时会检查该重定向是否为所有用户或该特定用户所信任。错误与拒绝从不重定向到不受信任的地址。添加地址需要输入其主机名；同意屏幕显示重定向主机及其允许原因；新增操作会发送邮件并审计；移除操作撤销授权与在途授权码；歧义主机名会被拒绝。它不能完全防止社会工程，但让信任扩展变得审慎、可见且可撤销。

传统电子表格在插入或删除行时会破坏累计余额，因为公式引用的是“上一个单元格”，而不是上一笔交易。Grist 提供 PREVIOUS()，按指定顺序（例如日期）查找上一条记录，并支持分组，因此在编辑、排序和筛选时余额仍保持正确。NEXT() 和 RANK() 等相关函数扩展了这一能力。像 find.le() 这样的有序查找可实现最近匹配查询，例如生效工资率、佣金层级或税阶，并以二分查找速度而非慢速全表扫描完成。lookupOne 配合降序可检索组内最新记录。这些公式共同直接表达意图，使累计与最近匹配计算在无需手动复制或修复引用的情况下保持准确与快速。

01 / 不变量驻留在你的代码中。将前置条件、后置条件和数据不变量放在它们所描述的代码旁。它们会成为编译器检查的义务。fn increment(n: usize) -> usize where n < usize::MAX ensures result > n { n + 1 } 02 / 理解内存的编译器。使用显式布局、所有权和借用引用。Evergreen 会跟踪内存平面何时存活，以及哪些使用仍然有效。let value: usize = 1; let cell = &mut value; *cell = 10; fact same = value == 10; 03 / 不影响性能的强大证明。证明、归纳引理和理想计算在检查后会被擦除。可执行代码保留它需要完成的工作。ideal let expected = integer::from(42); let value: usize = 42; fact matches = integer::from(value) == expected;

民主党赢得国会控制权，结束了特朗普政府的立法势头。市场最初抛售，随后反弹，但作者认为反弹更可能是选举对冲的机械性解除，而非基本面改善。他看到新的风险：德克萨斯数据中心可能延误，对加密货币、银行、私募信贷、科技以及马斯克公司更严格的审查，以及AI基础设施面临更对抗性的环境。他还指出，政治压力减弱可能让美联储将利率维持在更高水平更久，从而压制AI估值。虽然僵局可能支持宽慰性反弹，但他仍看跌，称估值、利率、AI支出问题和政治复杂性未变。他预计任何选后乐观情绪都会消退，市场将恢复下跌。

油价因特朗普伊朗政策的中期选举后不确定性而下跌，投资者权衡外交与重新打击。卡塔尔表示调解继续，而特朗普表示他没有立即进行更多打击的计划。美国库存数据显示原油库存连续第五周下降，馏分油库存暴跌至1亿桶以下，为2003年以来首次；战略石油储备释放加剧了库存减少，而原油日产量首次超过1400万桶。分析师表示，未来几天对外交势头能否改善能源市场，还是地缘政治风险溢价持续，至关重要，并指出选举并不保证局势降级。

民主党在中期选举中取得重大扫胜，翻转七个参议院席位，并可能以250多个席位拿下众议院，还赢下多个州长职位，包括吉娜·希诺霍萨在德克萨斯州击败格雷格·阿博特。他们在全国范围内拿下席位，包括德克萨斯州和密歇根州，而特朗普的重新划区在很大程度上适得其反。特朗普将败选部分归咎于伊朗战争和物价；选民也提到战争和汽油价格；他的支持率约为39%。他接受选举结果，保留否决权，并拒绝改组内阁。民主党计划对特朗普家族、国土安全部/移民海关执法局、爱泼斯坦、企业与加密货币问题进行积极监督，并发出传票。市场大多无动于衷；分析师认为金融、住房与加密货币面临风险，沃伦可能担任银行委员会主席，布朗的胜利削弱了加密货币影响力。共和党领导层陷入混乱；约翰逊、斯卡利斯和埃默面临不确定未来，而图恩可能继续担任参议院领袖。阿利托和托马斯似乎不太可能退休。总体而言，这是对特朗普政策和共和党的大规模否定。

两名骑行者在肇事逃逸事故中丧生后，旧金山的一个名为 SFMTrA 的活动团体使用锥形桶，后来又用软撞柱安装了受保护的自行车道。该市通常会移除此类未经授权的道路设施，但决定将金门公园的安装正式化，计划在审查期间安装官方安全撞柱。该团体运用战术城市主义来改善安全、引起对危险区域的关注并向官员施压。其他城市反应不一：西雅图起初移除了活动人士的分隔柱，但后来计划重新安装；而一个纽约团体在地方遭到拒绝后自行画出了自行车道。游击式街道干预可能会面临罚款或移除，但有时也能促使官方支持。旧金山已有 27 英里受保护自行车道，似乎对进一步的安全改进持开放态度。

Debian 安全公告 DSA-6607-1（2026 年 11 月 4 日）报告了 apt 中的 CVE-2026-109518 漏洞，由 Max Justicz 发现。中间人攻击者可利用重定向后的 HTTP 下载续传/文件处理不当，替换已验证的软件包，导致以 root 权限执行任意代码。Debian stable（trixie）在 apt 3.0.4 中已修复；该更新还解决了越界访问问题。用户应升级 apt 软件包。

民主党在众议院和参议院的多数席位，为国防以及数据中心/再工业化计划增添了不确定性。国防股在大西洋两岸下跌，高盛欧洲国防股票篮子最多下跌4.1%。分析师表示，这一全面胜利是国防支出最艰难的结果：国会可能推动结束战争并限制与IRI相关的资金，而 FY27–FY28 的国防预算总额可能趋于平稳。核现代化、弗吉尼亚级潜艇和弹药补充等关键项目相对更安全，但像“金穹”这样的特朗普品牌项目可能面临削减。《国防授权法》和拨款法案可能推迟，进一步持续决议或政府停摆的可能性上升。民主党加强监督还可能拖慢执行。总体而言，新国会为国防和数据中心投资超级周期增添了政策不确定性。

民主党赢得两院，形成分裂政府。特朗普保留否决权与行政权力，可能造成立法僵局。僵局限制支出与减税及财政修复，使期限溢价与长期利率保持高位；政府停摆或债务brinkmanship以及疲弱的财政刺激可能拖累股市。特朗普可能通过行政命令推行外交、贸易和移民政策。他对伊朗表现克制，但升级仍有可能；油价反映近期价格较低，但对2027年供应与运输成本的预期更高。民主党控制参议院还可阻止特朗普任命，包括潜在的美联储理事替换。

十月，美国服务业调查令人失望：标普全球服务业PMI从58.8降至56.1（低于57.9的初值），ISM服务业从54.9降至54.5（低于预期的54.8）。综合PMI从58.4放缓至55.9，但仍高于50，显示私营部门持续增长，且按标普全球说法，GDP年化增速超过4%。科技领先，消费相关行业和金融服务提供坚实支撑。然而，增长动能放缓，新订单大幅下滑，商业乐观情绪因可负担性、利率和政治不确定性而急剧下降。就业恢复扩张。通胀压力恶化：服务业收费价格涨幅位居四年最快之列，加上商品价格升高，表明通胀进一步高于美联储目标，并提高了12月加息概率。该报告引发了问题：沃什是否会加息，从而陷入数据中心拖累的衰退。

周二，九个州的30多个地方投票反对数据中心项目及相关措施，表明对人工智能基础设施的广泛反弹。措施包括禁令、暂停令以及更严格的税收优惠规定，包括佛罗里达州埃奇沃特和俄亥俄州佩里。反数据中心信息也出现在许多民主党竞选活动中，而一些共和党人转向更严格的监管。反对意见已经影响到投资者和贷款机构，他们将地方阻力视为信用风险，同时也促使科技公司聘用社区联络员，并将数据中心重新命名为"计算园区"。

Jonathan Turley认为最近校园袭击事件反映高等教育环境激进化。在犹他大学，跨性别学生Amber Grace据称袭击了一名大学共和党成员并损坏财物，据报道称共和党人应该被射杀；Grace面临轻罪袭击和财物损坏指控。在密歇根大学，Temulun Togochog据称袭击了一名支持以色列的演讲者和一名犹太保守派活动人士，拒捕，并被指控袭警和殴打。Turley说这些事件符合校园左翼政治暴力的更广泛模式，这种暴力由激进教职员工宣扬针对保守派、警察、特朗普支持者等人的暴力言论所助燃。他认为此类言论可能为暴力提供许可，尤其针对不稳定个体，并表示这些学生应被停学，同时应解决更深层的校园文化问题。