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目标在企业级和高端细分市场表现优于整体。
每日HackerNews RSS
AMD预计将在第四季度首次超过Intel的销量。Hacker News的讨论主要将此归因于Intel的困境——执行不力、制造延迟和错失AI机会——而非AMD的决定性胜利。评论者指出AMD凭借EPYC/Ryzen、Instinct GPU和更好的性价比取得进展，同时也批评两家公司在AI traction和软件方面存在不足。有人认为AMD在AI和CUDA生态系统上仍落后于Nvidia，其内部文化和领导层也令人担忧。其他人则强调AMD的数据中心势头和Intel的潜在复苏。总体而言，AMD的里程碑反映了Intel的衰落和AMD在CPU/GPU上的稳步进展，而非明确的统治地位。
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 引脚、无线电频率/预设以及频道/节点密钥。它旨在用于学习和原型开发，而非生产或安全关键用途；必须验证无线电法规和硬件行为。
Hacker News
新帖 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
Mocktastic：Arduino 上的 Meshtastic 节点
(github.com/vapmuz)
31 分
由 kimi
1 天前
隐藏 | 过去 | 收藏 | 1 条评论
帮助
croes
1 天前
[–]
还有 ESP32
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
对微塑料和可持续性的日益关注正在推动新的无塑料咖啡产品。Lavazza 推出了 Tablì，一款售价 129 美元的机器，使用可堆肥的浓缩咖啡片剂，而非塑料/铝胶囊。Keurig 推出了搭载可堆肥 AltaRounds 胶囊的 Alta 系统，但套装售价 499 美元，且仍含塑料包装。Caraway 发布了一款售价 495 美元、全不锈钢和玻璃材质的咖啡机，冲泡路径中不含塑料，现已售罄，直至一月。行业领导者表示，消费者想要更少的塑料垃圾、健康保障和优质材料，而环保倡导者指出，包装仍可能造成污染。早期需求强劲表明，咖啡市场正朝着更可持续、减塑的咖啡机和咖啡胶囊方向转变。
HN 评论者讨论一篇 CNN 关于无塑料咖啡胶囊和咖啡机的文章。许多人偏好简单的低塑方法——Chemex/V60 手冲、法压壶、摩卡壶、冷萃、渗滤壶、Aeropress 或意式咖啡——理由是成本更低、口感更好、废料更少。其他人质疑健康影响，指出未过滤咖啡含有咖啡醇/二萜，而纸滤器可去除它们；还有人提到纸杯或胶囊中的微塑料。环境争论集中在消除小塑料部件是否与咖啡更广泛的水资源/森林砍伐足迹相比有意义，以及更换仍在使用的机器是否浪费。评论者还指出，许多“无塑”机器仍使用塑料水箱、密封圈或包装，而真正无塑的设备可能便宜但脆弱或不够方便。有人提到现有替代品，如 ESE 胶囊、可生物降解胶囊、玻璃/不锈钢冲煮器具和陶瓷磨豆机。总体而言，该帖对高端胶囊机持怀疑态度，但对更简单、耐用、基本无塑的冲煮方法充满热情。
Show HN: Codemap – 任意 Go 仓库的单页交互式地图 Show HN: Codemap – one-page interactive map of any Go repository
2 天前
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 和嵌套模块。
Hacker News 上出现了一篇 Show HN 帖子，介绍 Codemap——一个面向任意 Go 仓库的单页交互式地图，由 peter_retief 发布；该帖获得 44 点赞和 23 条评论。评论者建议提供类似 pkg.go.dev 的托管链接、支持 Go 之外的语言、类似工具以及 CLI/代理使用方式。作者表示目前仅支持 Go 但未来可能扩展；有人分享了一个 Perl 移植版。其他人就验证和代码质量展开讨论，一名评论者称输出粗糙且可能由 AI 生成；作者承认大量代码由 Claude 生成，而概念是他们自己的，并指出它有助于导航 AI 编写的代码。有些人称赞了这个想法，并建议添加 README 截图。
让用户信任自己的 MCP 客户端，而不打开钓鱼漏洞 Letting users trust their own MCP clients, without opening a phishing hole
2 天前
Stream Vessel 的 MCP 服务器在可用性与防钓鱼安全之间取得平衡。标准 OAuth 注册对未列入允许列表的重定向 URI 会失败，而接受任意 URI 又会引发钓鱼：攻击者可注册伪造客户端并窃取授权码。他们的方案保留了运营方允许列表与环回 URI，并允许每个用户为自己的账户信任最多 10 个精确的 HTTPS 重定向地址。注册接受任意 HTTPS URI，但授权时会检查该重定向是否为所有用户或该特定用户所信任。错误与拒绝从不重定向到不受信任的地址。添加地址需要输入其主机名；同意屏幕显示重定向主机及其允许原因；新增操作会发送邮件并审计；移除操作撤销授权与在途授权码；歧义主机名会被拒绝。它不能完全防止社会工程，但让信任扩展变得审慎、可见且可撤销。
Hacker News 上的一篇帖子链接到一篇关于让用户信任自己的 MCP 客户端而不产生钓鱼风险的文章。评论者关注安全：社会工程仍然是主要担忧，尤其是随着人们越来越多地使用 AI 并遵循他们无法完全判断的指令。有人指出，商业客户可能会锁定 MCP 并要求管理员批准，而消费者账户可能会保守地禁止任意 MCP 服务器。其他人质疑用户为什么会点击随机的 OAuth 链接并授予凭证。帖子还重新讨论了对 OAuth 2.0 的批评，包括称其不安全且缺乏互操作性的引言，但澄清批评者更喜欢 OAuth 1.0 并退出了项目。它指出 MCP 需要 OAuth 2.1，这解决了其中一些批评。总体而言，讨论围绕 MCP 信任、钓鱼/OAuth 风险以及在开放与安全之间取得平衡。
传统电子表格在插入或删除行时会破坏累计余额，因为公式引用的是“上一个单元格”，而不是上一笔交易。Grist 提供 PREVIOUS()，按指定顺序（例如日期）查找上一条记录，并支持分组，因此在编辑、排序和筛选时余额仍保持正确。NEXT() 和 RANK() 等相关函数扩展了这一能力。像 find.le() 这样的有序查找可实现最近匹配查询，例如生效工资率、佣金层级或税阶，并以二分查找速度而非慢速全表扫描完成。lookupOne 配合降序可检索组内最新记录。这些公式共同直接表达意图，使累计与最近匹配计算在无需手动复制或修复引用的情况下保持准确与快速。
Hacker News 的讨论围绕为电子表格（尤其是 Grist）添加窗口函数，以及更广泛的电子表格工具展开。用户推荐了 IronCalc 和 TreeSum 等替代方案，其他人则对电子表格的演进表示赞扬或批评。一位评论者指出 Excel 的 LAMBDA 能支持复杂公式，但 AI 生成的文本不受喜欢。一名开发者推广基于 Rust/Polars、拥有自有 DSL 的 OmaSheet；随后关于电子表格变得像数据库、“数据沼泽”风险，以及提取业务逻辑的价值的辩论展开。其他人讨论教授 SQL、编译型电子表格，以及 Grist 类似 Python 的语法是否令人困惑。总体而言，评论者认为电子表格在临时计算中仍会持续使用，但希望有更好的结构、性能，以及将逻辑移出脆弱单元格的方法。
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;
**摘要：Evergreen — 一种可证明安全的系统语言**
Jordan_bonecut 展示了 Evergreen，这是一种在 AI 辅助下构建的新系统语言，通过依赖类型/精化类型提供编译期可证明安全，并使用“planes”内存模型在不采用 Rust 风格生命周期的情况下跟踪内存关系。该语言允许编译期验证前置条件和后置条件，溢出行为未指定。
社区反馈围绕几个主题：
- **文档缺口**：多位评论者认为 README 和教程浅显、AI 生成且不清楚。作者承认了这一点，指出部分功能仍在演进，并承诺改进。
- **与现有工具对比**：用户将 Evergreen 与 Rust + Verus/Kani、SPARK/Ada 以及 Lean/Coq 比较，询问其差异。作者指出，它对内存关系有更严格的静态推理，并且比“外挂式”方法更干净地集成证明。
- **技术争论**：评论者质疑内存安全模型对分配、线程和 use-after-free 的处理；溢出语义与“比 Rust 更安全”的说法相矛盾；以及命名空间语法（`::`）。
- **宏大宣称**：多位用户质疑“比 C 更强大、比 Rust 更安全”等营销说法，因为没有基准测试或证明，并指出作者认可 AI 生成的陈述。
- **AI 辅助语言设计**：讨论包括新语言应面向人类程序员还是代理程序员，以及建议在 Lean/Coq 中形式化。
作者表示愿意接受反馈，并计划改进文档和添加标准库功能。
两名骑行者在肇事逃逸事故中丧生后，旧金山的一个名为 SFMTrA 的活动团体使用锥形桶，后来又用软撞柱安装了受保护的自行车道。该市通常会移除此类未经授权的道路设施，但决定将金门公园的安装正式化，计划在审查期间安装官方安全撞柱。该团体运用战术城市主义来改善安全、引起对危险区域的关注并向官员施压。其他城市反应不一：西雅图起初移除了活动人士的分隔柱，但后来计划重新安装；而一个纽约团体在地方遭到拒绝后自行画出了自行车道。游击式街道干预可能会面临罚款或移除，但有时也能促使官方支持。旧金山已有 27 英里受保护自行车道，似乎对进一步的安全改进持开放态度。
一篇 Hacker News 帖子讨论了 2016 年一篇关于旧金山将游击自行车道转为永久道的文章。评论者分享了全球范围内公民绘制未授权人行横道/自行车道的例子——常被移除或处罚，有时后来被正式化（柏林、德累斯顿、洛杉矶、日内瓦）。讨论涵盖了愿望路径/战术城市主义、官僚延误和法律风险。关于自行车基础设施的辩论随之展开：一些人认为自行车应走单独车道；另一些人引用成功模式（阿姆斯特丹、哥本哈根），并指出以汽车为中心的设计危害行人/骑行者。批评者质疑零死亡愿景成果和城市密度；支持者强调安全、空间效率，以及游击式修缮体现了需求。总体而言，该帖突出了基层基础设施行动主义，以及汽车文化、官僚体制与更安全街道之间的张力。
Debian 安全公告 DSA-6607-1（2026 年 11 月 4 日）报告了 apt 中的 CVE-2026-109518 漏洞，由 Max Justicz 发现。中间人攻击者可利用重定向后的 HTTP 下载续传/文件处理不当，替换已验证的软件包，导致以 root 权限执行任意代码。Debian stable（trixie）在 apt 3.0.4 中已修复；该更新还解决了越界访问问题。用户应升级 apt 软件包。
Hacker News 讨论了 Debian APT 的安全更新，该更新针对一个中间人漏洞，该漏洞可能允许攻击者在下载时替换已验证的软件包。问题涉及不正确的 HTTP 断点续传处理以及并行/硬链接下载。推荐的缓解措施是使用 `Acquire::Retries=0` 进行更新，但一些用户质疑如何安全更新不受信任的包管理器。评论围绕 HTTPS 展开：它有助于防御网络 MITM，但不能防止被攻陷的镜像，而包签名仍然重要。研究人员 justicz 认为面向互联网的代码应使用现代 AI 工具进行审计，并且关键软件应被重写或形式化验证。其他评论提到 apt-cacher-ultra 可降低暴露面、无人值守升级已在修补系统，以及不确定过去安装是否被攻陷。帖子还包括重复链接和技术问题，询问重定向/续传攻击如何工作。