Pierre Computer Company 于 2026 年 11 月 4 日在 X 上发布了一则公告。该帖获得 4.06 万次浏览及多次反应。回复显示，该公告可能涉及一次重大人才收购，欢迎包括 @fat 和 @mdo 在内的人士；评论者称其为“可能最密集的人才收购”，并 jokingly joked about teaching OpenAI to make better release videos.
每日HackerNews RSS
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 美元、全不锈钢和玻璃材质的咖啡机，冲泡路径中不含塑料，现已售罄，直至一月。行业领导者表示，消费者想要更少的塑料垃圾、健康保障和优质材料，而环保倡导者指出，包装仍可能造成污染。早期需求强劲表明，咖啡市场正朝着更可持续、减塑的咖啡机和咖啡胶囊方向转变。
Hacker News 上围绕一篇关于无塑料咖啡胶囊和咖啡机的 CNN 文章的讨论。评论者比较了多种低塑料冲煮方法，包括法压壶、梅森罐冷萃、Chemex、手冲滤杯、布滤/金属滤网、摩卡壶、渗滤壶、Aeropress、Flair 手动意式机和速溶咖啡。一些人指出健康与口味权衡，例如未过滤咖啡中的咖啡醇以及纸滤器去除油脂，而另一些人质疑胶囊咖啡机是否改善口味或环境影响。讨论串争论在咖啡器具中减少塑料是否具有意义，考虑到纸杯中的微塑料和水系统中的塑料，以及消费者选择能否推动改变还是监管更有效。多位用户推荐廉价无塑料方案，如玻璃或不锈钢手冲和法压壶，而另一些人认为高端无塑料咖啡机可能是地位或营销驱动。总体而言，参与者分享实用替代方案，并对咖啡胶囊和高端“无塑料”产品都持怀疑态度。
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 展示了一个 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
2 天前
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 年一篇关于旧金山将非法的游击自行车道转为永久设施的文章。评论者分享了类似的草根行动：柏林学生绘制的人行横道后来被官方安装，一位艺术家添加的高速路标志最终被加州交通运输部采用，以及在洛杉矶和日内瓦绘制人行横道的行动者。帖子辩论自行车道应该设在道路、人行道还是独立路径上，有些人认为完全分离的基础设施可行（引用荷兰和哥本哈根），而另一些人认为由于空间、天气和成本原因，这在大多数城市不切实际。批评者指出以汽车为中心的设计和官僚制度拖慢了安全改进，而支持者说游击城市主义绕过了繁文缛节。讨论还涉及游击园艺、期望路径以及私刑基础设施的风险，包括瑞士的监控。总体而言，该帖子突出了公民主导的修复与官方流程之间的紧张关系，对直接行动是改善安全还是制造危险存在不同看法。
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 讨论涉及由研究员 justicz 发现的 Debian apt 中间人漏洞（该研究员也曾发现过类似 2019 年漏洞）。该漏洞涉及恢复 HTTP 下载时的不当文件处理：并行下载和硬链接可让攻击者在包的哈希校验之后交换包。APT 维护者和 Ubuntu 推荐的缓解措施是 `apt -o Acquire::Retries=0 upgrade`（或 update），因为某些镜像使用重定向；`Acquire::http::AllowRedirect=false` 也可能有帮助。用户也可以选择手动 scp `.deb` 文件并用 dpkg 安装。评论者指出 apt-cacher-ultra 可降低暴露风险，并就 apt 使用 HTTPS 展开讨论——HTTPS 会有帮助，但镜像并未完全可信，因此签名仍然必不可少。发现者认为，安全关键的复杂软件应被重写并形式化验证，并且现代 AI 工具使审计暴露于互联网的代码变得必不可少。该讨论还涉及 AI 红队测试、Project Glasswing，以及如何验证系统尚未被入侵。
周二，九个州的30多个地方投票反对数据中心项目及相关措施，表明对人工智能基础设施的广泛反弹。措施包括禁令、暂停令以及更严格的税收优惠规定，包括佛罗里达州埃奇沃特和俄亥俄州佩里。反数据中心信息也出现在许多民主党竞选活动中，而一些共和党人转向更严格的监管。反对意见已经影响到投资者和贷款机构，他们将地方阻力视为信用风险，同时也促使科技公司聘用社区联络员，并将数据中心重新命名为"计算园区"。
美国几场选举的选民否决了数据中心项目，反映出对人工智能基础设施更广泛的反弹。评论者提到秘密地方协议、保密协议谈判、公用事业费率可能上涨、水与污染影响、噪音以及长期本地就业有限。一些人辩护这些项目，认为它们能带来税收收入、建筑施工和经济增长，尤其在困难的农村地区；还说部分设施用水少于被替代农场或自带发电。批评者反驳说，自发电通常意味着化石燃料，承诺的收益不确定，科技公司通过不透明谈判和关于人工智能社会影响的承诺侵蚀了信任。争论还涉及邻避主义、联邦与地方监管，以及数据中心是否应只在有社区利益协议、公平公用事业条款、环境保障且无税收减免的条件下获批。