每日HackerNews RSS
Show HN：我做了一个工具，可以逐个零件给预装电脑定价 Show HN: I built a tool that prices a pre-built PC part by part
18 小时前
Hacker News 发帖介绍 pcdealcheck.com，一个自费开发的工具，通过粘贴链接评估预装电脑商品。它使用 AI 识别组件，并用自定义的每日更新价格引擎生成价值评级、带日期的组件价格估算和可分享报告。评论将其比作 PCPartPicker 的反向方法，面向预装机，并建议加入二手设备来源、迷你电脑、B&H 支持和更广地区。创建者表示新检查目前仅限美国，计划扩展，并希望以联盟链接和提醒功能发展为业务。用户报告访问问题和部分商品失败；创建者承认配额/API 限制。总体而言，这是一个用于快速判断预装电脑是否划算的原型。
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目标在企业级和高端细分市场表现优于整体。
Hacker News 讨论 AMD 预计首次在第四季度 outselling Intel。许多人将其归因于 Intel 的制造和执行失败，而 AMD 受益于 EPYC/Instinct 数据中心需求以及强劲的消费级 CPU/GPU 产品。评论者还批评两家公司错失 AI 机遇，尤其是 Intel 终止 Optane，以及 AMD 缺乏类似 CUDA 的生态系统吸引力。AMD 内部担忧包括重返办公室要求、薪酬、股价下跌和领导层变动。其他人指出 AMD 依赖台积电，以及 Intel 作为美国制造商的战略重要性。该帖还涉及 Intel 过去的反竞争行为、制造问题以及 ARM 的竞争。总体而言，AMD 的营收里程碑既反映 Intel 的困境，也反映 AMD 的增长，同时就两家公司在 AI 驱动的需求和零部件价格上涨背景下是否能保持竞争力展开辩论。
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
）
28 分
由
kimi
11 小时前
|
隐藏
|
历史
|
收藏
|
1 条评论
帮助
croes
8 小时前
[–]
还有 ESP32
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
对微塑料和可持续性的日益关注正在推动新的无塑料咖啡产品。Lavazza 推出了 Tablì，一款售价 129 美元的机器，使用可堆肥的浓缩咖啡片剂，而非塑料/铝胶囊。Keurig 推出了搭载可堆肥 AltaRounds 胶囊的 Alta 系统，但套装售价 499 美元，且仍含塑料包装。Caraway 发布了一款售价 495 美元、全不锈钢和玻璃材质的咖啡机，冲泡路径中不含塑料，现已售罄，直至一月。行业领导者表示，消费者想要更少的塑料垃圾、健康保障和优质材料，而环保倡导者指出，包装仍可能造成污染。早期需求强劲表明，咖啡市场正朝着更可持续、减塑的咖啡机和咖啡胶囊方向转变。
Hacker News 上围绕一篇关于无塑料咖啡胶囊和咖啡机的 CNN 文章的讨论。评论者比较了多种低塑料冲煮方法，包括法压壶、梅森罐冷萃、Chemex、手冲滤杯、布滤/金属滤网、摩卡壶、渗滤壶、Aeropress、Flair 手动意式机和速溶咖啡。一些人指出健康与口味权衡，例如未过滤咖啡中的咖啡醇以及纸滤器去除油脂，而另一些人质疑胶囊咖啡机是否改善口味或环境影响。讨论串争论在咖啡器具中减少塑料是否具有意义，考虑到纸杯中的微塑料和水系统中的塑料，以及消费者选择能否推动改变还是监管更有效。多位用户推荐廉价无塑料方案，如玻璃或不锈钢手冲和法压壶，而另一些人认为高端无塑料咖啡机可能是地位或营销驱动。总体而言，参与者分享实用替代方案，并对咖啡胶囊和高端“无塑料”产品都持怀疑态度。
Show HN: Codemap – 任意 Go 仓库的单页交互式地图 Show HN: Codemap – one-page interactive map of any Go repository
18 小时前
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 展示了一个 Codemap 的 Show HN，这是一个 Go 仓库的一页交互式地图，获得 41 点和 18 条评论。作者说它目前仅支持 Go，但这个想法可以扩展到其他语言。评论者建议了托管版本，将其与 Whiteboard 和 T3 的 Guide 视图进行比较，并讨论了与 ctags 和 Tree-sitter 等工具的验证。一些人希望有供代理使用的 CLI，而另一些人提到 Go 内置的文档和列表工具。反馈包括对有用性的赞扬和对展示效果的批评；作者将其描述为可自由修改的个人导航工具。一位用户还要求在 README 中添加截图。
让用户信任自己的 MCP 客户端，而不打开钓鱼漏洞 Letting users trust their own MCP clients, without opening a phishing hole
18 小时前
Stream Vessel 的 MCP 服务器在可用性与防钓鱼安全之间取得平衡。标准 OAuth 注册对未列入允许列表的重定向 URI 会失败，而接受任意 URI 又会引发钓鱼：攻击者可注册伪造客户端并窃取授权码。他们的方案保留了运营方允许列表与环回 URI，并允许每个用户为自己的账户信任最多 10 个精确的 HTTPS 重定向地址。注册接受任意 HTTPS URI，但授权时会检查该重定向是否为所有用户或该特定用户所信任。错误与拒绝从不重定向到不受信任的地址。添加地址需要输入其主机名；同意屏幕显示重定向主机及其允许原因；新增操作会发送邮件并审计；移除操作撤销授权与在途授权码；歧义主机名会被拒绝。它不能完全防止社会工程，但让信任扩展变得审慎、可见且可撤销。
Hacker News 上的一篇帖子讨论了一篇文章，内容关于如何让用户信任自己的 MCP 客户端而不产生钓鱼漏洞。评论者围绕 OAuth 2.0 展开辩论，引用了主要作者 Eran Hammer 的严厉批评与离职，不过其他人指出他的批评源于更偏好 OAuth 1.0，而非完全否定 OAuth。安全顾虑集中在社会工程学：用户可能盲目遵循 AI 生成的指令，使得任意 MCP 访问存在风险。商业客户可能需要管理员批准自定义 MCP 服务器，而消费者账户可能直接限制它们。一位评论者质疑用户为何会批准随机的 OAuth 请求，除非是在活跃的 AI 会话中被提示，这引发了代理被污染的风险。总体而言，讨论突显了 MCP/OAuth 集成中可用性、信任与安全之间的张力。
传统电子表格在插入或删除行时会破坏累计余额，因为公式引用的是“上一个单元格”，而不是上一笔交易。Grist 提供 PREVIOUS()，按指定顺序（例如日期）查找上一条记录，并支持分组，因此在编辑、排序和筛选时余额仍保持正确。NEXT() 和 RANK() 等相关函数扩展了这一能力。像 find.le() 这样的有序查找可实现最近匹配查询，例如生效工资率、佣金层级或税阶，并以二分查找速度而非慢速全表扫描完成。lookupOne 配合降序可检索组内最新记录。这些公式共同直接表达意图，使累计与最近匹配计算在无需手动复制或修复引用的情况下保持准确与快速。
一个 Hacker News 帖子讨论了 getgrist.com 上一篇关于在电子表格中添加窗口函数的文章。用户分享了 ironcalc、omasheet、pyspread、codcel 等替代方案，并就电子表格设计展开了辩论。一些人称赞基于 Python 的方法；另一些人则批评 Grist 的 PREVIOUS() 和点符号等混合语法显得笨拙。评论者指出，电子表格在商业中造成“数据沼泽”问题，其主要价值在于提取计算而非添加 Python。LLM 被提到在编写 Excel LAMBDA 函数方面出人意料地出色。总体而言，电子表格仍无处不在，但其语法和数据管理限制激发了对新工具和 DSL 的持续实验。
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 开发的一种早期、AI 辅助、可证明安全的系统编程语言。它强调编译期证明义务/前置条件，以及一种追踪值的“平面”内存模型，试图避免 Rust 风格的生命周期限制，同时仍防止无效指针和释放后使用。作者描述了精化类型/依赖类型类似特性、自定义枚举布局和安全保证，并提供显式的 `trustme` 逃生舱。
Hacker News 评论者认为这个概念有趣，但批评文档粗糙、AI 生成、解释不清，缺少规范、基准测试和生态系统/互操作计划。多人质疑其“比 C 更强大”和“比 Rust 更安全”这类夸大的说法，指出其在 sync/send 等方面支持不完整，可能存在健全性边界情况。其他人将它与 Rust、SPARK、Lean 和 Coq 进行比较。作者承认了这些反馈，并计划改进文档、增加对比并开发标准库特性。
两名骑行者在肇事逃逸事故中丧生后，旧金山的一个名为 SFMTrA 的活动团体使用锥形桶，后来又用软撞柱安装了受保护的自行车道。该市通常会移除此类未经授权的道路设施，但决定将金门公园的安装正式化，计划在审查期间安装官方安全撞柱。该团体运用战术城市主义来改善安全、引起对危险区域的关注并向官员施压。其他城市反应不一：西雅图起初移除了活动人士的分隔柱，但后来计划重新安装；而一个纽约团体在地方遭到拒绝后自行画出了自行车道。游击式街道干预可能会面临罚款或移除，但有时也能促使官方支持。旧金山已有 27 英里受保护自行车道，似乎对进一步的安全改进持开放态度。
Hacker News 上的一个帖子讨论了 2016 年一篇关于旧金山将非法的游击自行车道转为永久设施的文章。评论者分享了类似的草根行动：柏林学生绘制的人行横道后来被官方安装，一位艺术家添加的高速路标志最终被加州交通运输部采用，以及在洛杉矶和日内瓦绘制人行横道的行动者。帖子辩论自行车道应该设在道路、人行道还是独立路径上，有些人认为完全分离的基础设施可行（引用荷兰和哥本哈根），而另一些人认为由于空间、天气和成本原因，这在大多数城市不切实际。批评者指出以汽车为中心的设计和官僚制度拖慢了安全改进，而支持者说游击城市主义绕过了繁文缛节。讨论还涉及游击园艺、期望路径以及私刑基础设施的风险，包括瑞士的监控。总体而言，该帖子突出了公民主导的修复与官方流程之间的紧张关系，对直接行动是改善安全还是制造危险存在不同看法。