No.01
Virginia bans sale of geolocation data
弗吉尼亚州禁止销售地理位置数据
725 分
118 条评论
作者: toomuchtodo
2026年4月13日，弗吉尼亚州州长阿比盖尔·斯潘伯格签署S.B. 388号法案，修正弗吉尼亚消费者数据保护法（VCDPA），禁止销售地理位置数据。该禁令将于2026年7月1日生效。值得注意的是，VCDPA对「销售」的定义比其它州狭窄，仅指「控制者向第三方以金钱报酬交换个人数据」。此前，马里兰州和俄勒冈州已采用更广义定义——将「金钱或其它有价交换」均纳入禁止范围。加州、马萨诸塞州、佛蒙特州和华盛顿州等地也正在酝酿类似立法。此轮立法活动源于监管压力，包括2025年3月加州检察长的位置数据行业调查，以及2024年联邦贸易委员会禁止数据经纪人销售地理位置数据的和解协议。
No.02
CarPlay Is Additive
CarPlay 是附加功能
238 分
274 条评论
作者: sprawl_
科技博主 Casey Liss 批评 Rivian 拒绝支持 CarPlay 的立场。他自己是 CarPlay 的坚定支持者，「绝不会买不支持 CarPlay 的车」。针对 Rivian 首席软件官 Wassym 声称「CarPlay 会占据所有屏幕」的论点，Liss 反驳称普通 CarPlay 并非全屏独占（他展示了 Volvo XC90 的实拍照片），且 CarPlay Ultra 也有厂商 UI 透出机制。更重要的是，CarPlay 是可选的附加功能，原生 UI 做得好用户自然不用，用户需要的是选择权。他提到 iOS 27 将解决 CarPlay 与车辆自动驾驶系统路径共享的问题，并表示若 Rivian 支持 CarPlay，他愿意购买 R3X。
No.03
Right to Local Intelligence
本地AI权利倡议遭质疑：缺乏具体法律内容
192 分
68 条评论
作者: thoughtpeddler
Righttointelligence.org 是一个倡导「本地AI权利」的组织，主要诉求是推动各州立法为合法的本地AI所有权、研究和模型修改提供安全港保护，防范政府通过许可要求或禁令限制开源模型在个人设备上运行。然而评论者指出该网站缺乏具体法律条文的说明，标题中的「intelligence」被批评为煽动性用语。有评论担忧 OpenAI、Anthropic 等闭源公司会游说政府禁止开源 AI 以保护商业估值，也有人以微软曾试图禁止 Linux 的历史先例类比。另一派观点认为开源模型如 Llama 已广泛可用，中国的模型反而更加开放，因此质疑这项运动的实际必要性。
No.04
crustc: entirety of `rustc`, translated to C
crustc：历时3年将 rustc 完整转译为 C 代码
246 分
43 条评论
作者: Philpax
开发者 FractalFir 用 3 年时间打造了 rustc-to-C 转译器 crustc，可将 rustc 编译器完整转译为 C 代码。这是已知第 14 个 Rust 转 C 的尝试，主要目标是支持无 LLVM/GCC 支持的老旧/冷门硬件（如 Plan 9）。评论者看好其在移植调试和可自举构建（bootstrappable.org）方面的价值——更多人可借助 C 代码理解和调试 Rust 编译器移植问题。不过也有人质疑：转译后的 C 代码更接近编译器产物而非真正可读的源代码，能否满足自举标准存疑；且 beta 版转译器的可靠性难以让使用者信任。图灵奖得主 Ken Thompson 的「Trusting Trust」攻击再次被提及，或可借助此工具进行多样化双重编译（DDC）验证编译器是否存在后门。
No.05
The Safari MCP server for web developers
Safari MCP服务器：让AI Agent直接调试Safari网页
65 分
8 条评论
作者: coloneltcb
Safari Technology Preview 247引入了Safari MCP服务器，这是一个连接AI Agent与Safari浏览器的Model Context Protocol实现。开发者无需在窗口间切换或反复描述浏览器状态，Agent即可直接访问DOM、网络请求、截图、控制台输出等信息，从而自主完成调试工作。其典型用例包括：在Safari中实时开发、跨浏览器兼容性测试、性能分析（JavaScript计时与资源加载）、无障碍问题检查（标签、ARIA、对比度）以及表单/交互状态验证。配置方法为安装Safari Technology Preview并启用远程自动化，然后在Claude、Codex或其他MCP兼容客户端中添加safaridriver路径即可。该服务完全本地运行，数据不经过Apple，只发送到用户指定的Agent。社区反响显示Chrome此前已有类似方案（ChromeDevTools MCP），且有开发者正尝试为Firefox等浏览器构建类似工具链。
No.06
Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory
Linux 6.9 起 LUKS 挂起功能不再清除内存中的磁盘加密密钥
453 分
200 条评论
作者: IngoBlechschmid
安全研究员 IngoBlechschmid 披露了一个 LUKS 磁盘加密的安全漏洞。自 Linux 6.9 内核起，当执行「cryptsetup luksSuspend」挂起操作时，系统不再从内存中清除磁盘加密密钥。这意味着攻击者若能物理获取一台仍处于挂起状态的已加密笔记本，可以直接读取内存中的密钥，从而解密磁盘。问题根源在于一次内核代码重构意外移除或跳过了相关清除逻辑。该 bug 影响了使用 Debian「cryptsetup-suspend」附加组件的发行版（其他发行版的默认配置不受影响，因为它们本就期望密钥留在内存中）。有评论指出休眠（Hibernate）可从根本上解决此问题——断电后内存数据必然丢失；也有人建议利用 Intel TXT 或 AMD SME 等硬件内存加密技术作为防护。
No.07
Reality has a surprising amount of detail (2017)
现实有着令人惊讶的细节量
237 分
84 条评论
作者: vinhnx
作者通过年少时帮父亲建造房屋的经历（更换围栏、挖沟渠、铺地板、建楼梯），引出核心观点：现实世界在任何领域都充满令人惊讶的细节，即便是最简单的事也有大量 nuances。以建地下室楼梯为例，从切割角度、测量划线、木材翘曲、螺丝固定、钻导向孔到最后发现螺丝长度不对——每一步都分解出更多子步骤和 tricky details。作者指出，人们常误以为「简单」或「个人失败」的东西，其实是人类认知的盲点：我们倾向于将「现实本身的复杂性」误解为「自己的笨拙」。他将细节分为「看不见的」（invisible）与「透明的」（transparent）两类——前者指我们根本不知道存在的细节，后者指我们本应注意到却忽略的细节。这种现象遍布一切领域，从烧水（不是「水在100°C沸腾」这么简单）到软件开发都有体现。核心结论：随着学习，要注意哪些细节真正改变了你的思维方式。
No.08
14× faster embeddings: how we rebuilt the ONNX path in Manticore
Manticore 如何用 ONNX Runtime 实现嵌入推理 14 倍加速
36 分
6 条评论
作者: snikolaev
Manticore Search 团队在 27.1.5 版本中彻底重构了 ONNX 推理路径，使嵌入生成速度提升约 14 倍。原来基于 SentenceTransformers/Candle 的方案在各种线程和批处理配置下始终只能达到 5–11 docs/sec，新方案在同硬件同模型下跃升至 70–230 docs/sec。核心优化有两点：关闭「intra_op_spinning」选项，以及放弃在 worker 内部批处理文档。团队发现 Linux/macOS 上 ONNX Runtime 的 C Run() API 本身是线程安全的，因此用「UnsafeCell」包装 Session，实现了真正无锁的并发调用——避免了 Mutex 序列化瓶颈和 Session 池的冷启动开销。对用户而言 API 完全兼容，使用 ONNX 模型的表会自动切换到新路径，单客户端延迟从 200+ ms 降至约 14 ms（8 并发下约 56 ms）。
No.09
Podman v6.0.0
Podman 6.0.0 正式发布：网络栈全面现代化，Quadlet 大幅进化
498 分
201 条评论
作者: soheilpro
Podman v6.0.0 于近日正式发布，这是该项目的重大版本更新。本次的核心改进包括：网络基础设施全面现代化，逐步用 Netavark、Pasta、nftables 替换 slirp4netns 和 iptables，并新增实验性的 Pesto 无根端口转发功能；Podman Machine 新增多提供商无缝切换体验及 `podman machine os update` 命令；Quadlet 获得重大升级，新增 REST API 支持、改进的文件追踪和卷单元功能；配置处理也得到优化提升了多用户环境的管理体验。社区反馈热烈，用户普遍对 Quadlet 与 systemd 的深度集成、无根容器安全性以及无 Docker 守护进程的架构表示赞赏，但也有用户指出与 Docker 的兼容性问题（如 SELinux 处理差异、偶尔的权限问题）以及 macOS 上不如 OrbStack 流畅的体验。
No.10
Exapunks (2018)
Exapunks：Zachtronics 经典编程解谜游戏
276 分
93 条评论
作者: yu3zhou4
Exapunks 是 Zachtronics 于 2018 年发布的编程解谜游戏。玩家通过阅读模拟地下计算机杂志「TRASH WORLD NEWS」学习黑客技术，在虚拟网络中进行编程挑战。游戏延续了 TIS-100、Shenzhen I/O 的风格，将编程逻辑封装成谜题，要求玩家阅读杂志教程后编写代码完成任务。评论社区普遍认为 Exapunks 捕捉了编程的核心乐趣，是 Zachtronics 系列中最具代表性的作品之一。部分玩家指出，游戏与职业编程的相似度过高导致难以继续游玩，而新手建议从 Opus Magnum 入手。Zach Barth 离开 Zachtronics 后创立 Coincidence Games 继续活跃，团队成员则另立门户继续开发游戏。
No.11
Underwater Suit-Wearing Cyborg Insect Capable of Diving and Terra-Aqua Travel
可潜水两栖的穿戴潜水服赛博蟑螂研究
24 分
2 条评论
作者: gscott
本研究来自Nature Communications，研究团队为陆生蟑螂设计了一款微型潜水服，使其能在水下生存并保持运动能力。该潜水服由柔性防水外壳、氧气发生模块和氧气输送管组成。氧气通过过氧化氢在二氧化锰催化分解产生，仅生成水和氧气两种无害产物，可持续供氧约3小时。输送管将氧气直接送达蟑螂的胸节气门，绕过其无法在水中呼吸的生理限制。此设计无需电子元器件，结构紧凑，兼具生物适应性与工程防护优势，未来可用于搜索救援、管道检测等复杂地形任务。评论中读者对实验体的存活时长表示担忧，并联想到赛博朋克2077的视觉风格，也有评论担忧此技术被政府滥用进行间谍活动。
No.12
Immich 3.0
Immich 3.0 发布：iOS 同步大幅改进，E2EE 争议持续
357 分
169 条评论
作者: hashier
Immich 3.0 正式发布，这是一款开源自托管照片/视频管理应用，被社区普遍认为是最接近 Google Photos 的替代方案。新版本重点改进了 iOS 后台同步机制，现在上传工作可以并行执行，解决了此前 iOS 用户反馈的同步失败、存储占满等问题。社区讨论的核心争议仍是端到端加密（E2EE）：支持者认为云托管场景下服务商不应看到用户数据；反对者则认为自托管环境下全盘加密已足够，E2EE 会带来密钥管理负担。另一个主要痛点是从 Google Photos/iCloud 的导入体验，社区建议使用 immich-go 工具处理 Google Takeout 数据。此外，有用户指出 Immich 与 Ente Photos 的定位差异：前者适合可信硬件上的自托管，后者适合需要加密云存储的场景。外部库（External Libraries）只读索引功能受到好评，但不支持嵌套相册限制了其在专业照片管理场景的适用性。
No.13
An American Privacy Emergency
美国隐私紧急状态
286 分
88 条评论
作者: flowercalled
2026年6月4日，美国商务部长发布DAO 216-26指令，禁止在人口普查和经济数据中使用差分隐私等现代隐私保护技术，只允许1970年代的数据粗化和抑制技术。该指令由Project 2025推动，绕过法律程序，其实质目的是使政府无法隐藏公民身份等信息。Cynthia Dwork等学者指出，禁止噪声注入技术将破坏近30年的多项数据发布，包括2020年人口普查使用的差分隐私系统。更重要的是，即使采用数据粗化，通过简单的代数运算仍可反推敏感信息——例如某地区只有一家酿酒厂时，发布员工数即直接泄露该企业数据。学者警告，新规既削弱隐私保护，又降低数据可用性，可能导致企业因无法评估市场风险而减少投资。
No.14
Mystery identity of 'Green Boots' climber is finally solved after DNA test
珠峰'绿靴子'身份之谜解开：遗骸确认系印度登山者多尔吉·莫鲁普
96 分
55 条评论
作者: FireBeyond
珠峰「绿靴子」遗骸身份之谜历经近30年后终于揭晓。印度 Indo-Tibetan Border Police（ITBP）通过 DNA 比对确认，这具因绿色登山靴而闻名的冰冻遗骸属于印度登山者多尔吉·莫鲁普（47岁），而非此前普遍认为的同组队友塔瓦格·帕尔乔（28岁）。莫鲁普于1996年5月10日随六人 ITBP 探险队从北坡冲顶，遭遇暴风雪，包括莫鲁普在内的三名登山者在「死亡区」（8000 米以上）遇难。由于该区域氧气稀薄、救援风险极高，遗骸被留置原地，在冰封中保存至今，成为珠峰东北线路著名「地标」，无数登山者途经时均可见到。ITBP 现正寻求专业高海拔救援队，计划今夏从中国西藏侧将遗骸运下山。
No.15
Ask HN: Is anyone experimenting with different ways of using LLMs for coding?
HN 问：有人在尝试 LLM 编程的不同方式吗？
26 分
38 条评论
作者: yehiaabdelm
这是一篇 HN 社区关于 LLM 编程工作流创新实践的讨论帖。原帖询问是否有人在尝试不同于常规的 LLM 编码方式，引发了 37 条丰富回复。核心议题包括：1）多巴胺困境——Claude Code、Codex 等工具持续刺激多巴胺反馈，反而阻碍了传统意义上的心流状态；2）有人转向让 LLM 扮演「结对编程伙伴」而非自主 agent 的角色，强调人类保持控制感；3）有人尝试自定义 harness 或 CLI 工具，发现标准工具之外有大量可调参数；4）任务编排层面，有人用「规范驱动开发」结合 GitHub tickets 和任务图执行；5）也有少数人完全放手让 LLM 主导，自己转型为审查者和协调者。争议焦点在于：LLM 辅助编程是否必然牺牲 flow state，以及自主 agent 到底是否靠谱。
No.16
How working with a blind client revealed invisible accessibility gaps
与盲人客户合作后，我才意识到无障碍访问的盲区
4 分
0 条评论
作者: fortyseven
一位开发者在为有视障员工的企业构建 Microsoft Power Automate 采购审批工作流时，被客户的盲人无障碍专家带着做了一遍真实用户测试，结果大出意料——光是平台本身就造成大量障碍。SharePoint 只读模式会在每个字段后重复朗读「(read only)」；Power Automate 审批应用完全不被屏幕阅读器识别；JAWS 阅读 Outlook 审批邮件存在兼容问题；SharePoint 还会在同一页面生成多个 H1 标题，扰乱屏幕阅读器的导航逻辑。作者花了 18 小时（原本预期两小时）逐一应对：能修的修，不能修的就为客户编写针对性培训文档，注明已知局限和绕行方法。作者深刻体会到，大多数软件由能看能听的人建造和测试，无障碍问题因此长期隐形——直到有人亲身经历并带你走一遍，才能看清那片「看不见的风景」。
No.17
Cowboys, Frontiersmen, Settlers, Townspeople, Cityfolk
牛仔、拓荒者、定居者、城镇居民与市民：组织发展的五种人格类型
11 分
1 条评论
作者: mooreds
文章借用 Wardley 的「先驱者、定居者、城市规划者」框架，扩展为五种组织发展阶段及对应人格类型：牛仔（初创混沌期，追求生存）、拓荒者（ MVP 期，开始建立秩序）、定居者（找到产品市场契合，业务趋于稳定）、城镇居民（规模化，效率至上）、市民（大企业或退出阶段，流程机械运作）。作者认为每个人格都有其舒适区，组织成长过程中若人员类型错位会导致效率下降——例如牛仔难以适应成熟企业的流程约束，而早期规模化招聘在业务下滑时会迅速失效。文章提醒高管应选择适合当下的角色而非执着于头衔，核心原则是「带你走到这里的东西，不会带你走到那里」。
No.18
Postgres transactions are a distributed systems superpower
Postgres事务：分布式系统的超级武器
169 分
68 条评论
作者: KraftyOne
DBOS博客指出，将工作流状态与应用数据共存于同一Postgres数据库中，是解决分布式系统难题的强大思路。通过在同一个事务中完成检查点写入与应用数据更新，可消除「步骤完成但未记录检查点」的窗口，从而为数据库操作提供「恰好一次」执行语义，无需应用层幂等性逻辑。在跨系统原子更新场景中，用数据库UDF在事务内将工作流入队，替代传统outbox表+独立轮询进程的方案，简化了架构。但评论者质疑：这本质上是把一切押注在单一Postgres实例上，并未真正解决跨系统通信问题，且外部副作用仍需额外幂等性保障。
No.19
A Special Wireless-Free Nikon Camera Is Publicly Available for the First Time
尼康首款公开销售的无无线功能相机 Z6 III面世
53 分
29 条评论
作者: HardwareLust
尼康近日首次通过零售渠道公开发售一款去除了WiFi和蓝牙芯片的特别版Z6 III相机。这是尼康首次将原本仅供应政府及企业客户的定制相机推向公众市场，旨在评估此类产品的潜在需求。该机型售价$3,079.95，比同规格普通版贵近$400，原因在于专用小批量生产及硬件改造成本较高。尽管功能更少、价格更高，但它为需要在高安全或强RF敏感环境中使用高端相机的用户提供了更易获取的解决方案。评论社区的争议焦点集中在：移除硬件与软件禁用的本质区别、营销策略的合理性，以及400美元溢价是否值得。
No.20
The short leash AI coding method for beating Fable
「短 leash」AI编程法：如何超越Fable级别代码质量
118 分
138 条评论
作者: Riseed
作者基于一年研究提出「短 leash」AI编程方法，核心是专家开发者全程参与、保持对AI的控制权。具体做法：规划阶段制定详细任务分解、让AI展示diff而非直接执行、频繁审查和拒绝不合适的修改、每完成子任务立即提交、最后进行AI与人工双重审查。作者批评当前流行的「vibe coding」（多代理并行、YOLO模式）导致代码低效丑陋且无人察觉，认为AI无法超越训练数据进行真正推理。文章强调AI审查应与人工审查结合，PR作者必须逐行审查AI生成的代码并署名负责。此方法适用于安全关键系统，目标是让专家开发者借助AI提升效率而不牺牲质量。
No.21
Why Switzerland has 25 gbit internet and America doesn't
自由市场的谎言：为何瑞士拥有25Gbps网络而美国没有
453 分
285 条评论
作者: talonx
文章核心论点：自然垄断行业（如光纤基础设施）应作为中立共享资产建设，而非任由市场竞争。瑞士模式——光纤由公共/半公共实体建设、每户专用4芯点对点光纤、任何ISP均可接入中立hub——实现了真正的竞争和世界领先网速。美国却形成了领地性垄断（ Comcast/Spectrum/AT&T 各占一方），德国则是重复建设（overbuild）导致资源浪费。评论争议焦点：1）瑞士人口密度约美国的2.5倍、国土面积小于西弗吉尼亚，规模不可比；2）25Gbps并非全覆盖、实际需求存疑；3）美国也有Ziply Fiber等提供更高速服务的提供商；4）LLM生成图表的准确性问题；5）认为作者回避了基础设施成本谁来承担的关键问题。
No.22
Claude-real-video － any LLM can watch a video
展示：让任意 LLM 都能分析视频的关键帧提取工具
129 分
41 条评论
作者: cortexosmain
这是一个让 LLM「观看」视频的工具，通过将视频切分为关键帧（默认 2fps）后以图片序列形式发送给 LLM 分析，解决了 Claude 不接受视频文件、ChatGPT 仅读字幕、Gemini 固定 1fps 采样会遗漏快速动作的问题。核心争议在于：1）帧数据实际会被发送至 API 提供商，「视频留本地」说法不准确；2）Gemini 在 token 效率和成本上明显优于 Claude，且支持直接输入 YouTube 链接；3）工具命名（Claude 在名称中）引发争议，被批应为通用方案；4）评论质疑关键帧不等于视频——运动轨迹、物体持续性难以从静态帧推断；5）有人报告用 Claude 分析交通罚单视频效果不错。整体评价分化：有人认为是昂贵且低效的方案，有人则认可其实用性。
No.23
Superpowers 6
Superpowers 6 发布：AI编程代理框架速度提升50%成本降低60%
137 分
51 条评论
作者: seahorseemoji
Superpowers是一个基于AI代理的编程技能框架，其6.0版本通过Anthropic的Fable工具进行自动化优化，在约36小时实验和$650 token消耗下，将构建速度提升50%、成本降低60%。核心优化包括：合并代码审查与规格合规两个agent、预生成审查数据包以减少git命令调用、以及调整orchestrator对不同任务的agent分配策略。该版本基于25次自动化实验迭代开发，在Codex和Claude Code等主流编程代理上验证有效。社区反应两极分化：支持者认为其brainstorm和TDD流程显著提升代码质量，是「游戏改变者」；反对者批评其token消耗过大、现代模型本身已足够强大、且缺乏与「不使用Superpowers」的基准对比。
No.24
Great Salt Lake Tracker – Grow the Flow
大盐湖实时水位追踪器：干旱危机可视化
96 分
36 条评论
作者: cfowles
大盐湖是犹他州水资源、健康、经济和环境的晴雨表，水位变化直接影响空气质量、野生动物栖息地、矿产开采和全州供水。该追踪器由 Grow the Flow Utah 组织推出，汇总 USGS 两大监测站（Saltair Boat Harbor 和 Saline）数据，展示湖面与最低健康水位（4198 英尺）的差距、裸露湖床面积、盐度（12-16% 有利于卤虫生存）以及南北两臂的实时高程。评论焦点集中在：一、有人惊讶发现卫星图上湖面有「数字拼接缝」，实为早年修建的铁路路基所致；二、有人建议引入海洋管道引水，但多数人认为能耗与成本过高不可行；三、有人指控该项目背后存在政策博弈和水权租赁套利；四、更多人认为根本解决之道在于改革过时的水权法律，而非超级工程。
No.25
This is my attempt to get Vulkan going on NetBSD
在 NetBSD 上启用 Vulkan 渲染的尝试
101 分
25 条评论
作者: segaboy81
开发者 segaboy81 分享了一个在 NetBSD 上运行 Vulkan 的非官方项目。该项目目前仅实现编译和链接目标，尚不能实际运行 Vulkan 程序。它使用 Mesa 的 Lavapipe 软件渲染器实现 Vulkan API，因此属于 CPU 渲染而非硬件加速。社区反馈指出：FreeBSD 已有成熟 Vulkan 支持，建议直接移植；pkgsrc 和 wip 中也已存在相关组件；安装脚本使用 ftp 下载不够常规；项目可能借助了 AI 辅助编写；评论者对其实际价值和必要性存在分歧，有人认为这是有意义的早期工作，也有人觉得只是 Lavapipe 软件渲染并无太大意义。
No.26
FoundationDB's Flow – Bringing Actor-Based Concurrency to C++11
FoundationDB 的 Flow：将 Actor 模式引入 C++11
61 分
8 条评论
作者: sourdecor
FoundationDB 为实现高性能与可扩展性目标，开发了 Flow 编程语言，将 actor-based 并发模型引入 C++11。Flow 通过引入 ACTOR、Future/Promise、wait()、state、PromiseStream/FutureStream、waitNext()、choose…when 等关键字和原语，支持异步消息传递和高效的并发协作。Flow 编译器将异步函数预处理为带回调的 C++ 类，输出标准 C++11 代码，兼具原生性能与可维护性。此外 Flow 还与模拟工具深度集成，支持覆盖物理接口和故障模式的确定性仿真测试。社区评论聚焦于 Flow 与现代 C++20 协程的对比：有观点认为协程是更先进的主流方案，也有人指出协程并非所有场景的最优解，actor 模型在构建复杂异步协调逻辑时仍有其独特价值。
No.27
EFF letter to FTC on X consent order [pdf]
EFF 致信 FTC 反对 X 撤销隐私违规令
136 分
50 条评论
作者: Terretta
2022 年 FTC 命令要求 X Corp. 就误导 1.4 亿用户将账户安全信息（电话、邮箱）用于定向广告的违规行为定期报告，罚款 1.5 亿美元。2025 年 5 月 15 日，X 向 FTC 请愿要求撤销该命令，声称已建立全新隐私安全项目且进入 AI 领域需解除监管枷锁。EFF 联合 DPEF、NCL、EPIC 等组织致信反对，指出 X 的论点站不住脚：2024 年将 AI 模型 Grok 接入平台且未经用户有效同意即用数据训练，2025 年还发生大规模数据泄露，均证伪其「全新隐私文化」的声明；且合规成本对估值 2000 亿美元的 X 而言不过九牛一毛。EFF 强调 FTC 命令约束企业实体，不因人员更替而消失，AI 时代更需要隐私监督而非放松，敦促 FTC 拒绝该请愿。
No.28
Show HN: zkGolf – Competitive optimization of formally verified circuits
展示: zkGolf – 形式化验证电路的竞争性优化竞赛
57 分
9 条评论
作者: rot256
zkGolf 是一个零知识证明（ZK）电路优化竞赛平台，旨在让开发者以竞争方式优化经过形式化验证的 SNARK/STARK 电路。平台名称借鉴「golf」寓意——追求最少约束、最优性能。评论者 sigbeta 指出，ZK 电路其实是各种物理电路的广义抽象，因此这类优化具有广泛意义。社区讨论聚焦于两个议题：一是「circuit」术语在 ZK 领域指「程序」而非硅芯片设计，这对非从业者可能造成困惑；二是 rirze 质疑项目是否本质上是为了收集训练 Lean 证明的数据集，chews 则反驳称人类正在推进 LLM 尚不擅长的前沿领域，蚊子般的贡献也有价值。整体而言，这是一个将形式化验证、零知识证明与 gamified 竞赛结合的有趣实验。
No.29
Perform DFU Restores on Apple Silicon Macs with Macvdmtool (2021)
使用 macvdmtool 在 Apple Silicon Mac 上执行 DFU 恢复
19 分
3 条评论
作者: gregsadetsky
macvdmtool 是 AsahiLinux 项目推出的开源工具，可让 Apple Silicon Mac 或配备 T2 芯片的 Intel Mac（2018 年后）跳过繁琐的按键组合进入 DFU 恢复模式。文章详述了具体步骤：准备两台 Mac（主机必须为 Apple Silicon，负责运行工具），在主机上安装 Xcode 命令行工具和 Apple Configurator 2，克隆并编译 macvdmtool，再用 USB-C 数据线连接两台设备，通过「sudo macvdmtool dfu」指令让目标 Mac 进入 DFU 模式，最后用 cfgutil 配合 IPSW 文件完成恢复。评论中有人指出 Intel Mac 无法作为主机的原因是它更接近标准 PC 架构（UEFI），而 Apple Silicon 本质上是 iPhone/iPad 架构；另有用户纠正称配备 T2 的 Intel Mac 实际上也有 DFU 过程，因为主要处理器就是 T2 本身。
No.30
Lightning Memory-Mapped Database Manager (LMDB) 1.0
LMDB 1.0 发布：高性能嵌入式键值存储数据库
80 分
42 条评论
作者: radiator
LMDB 是基于 Btree 的内存映射数据库管理系统，模型参考了 BerkeleyDB 但大幅简化。其核心特性是将整个数据库暴露在内存映射中，数据获取直接返回映射内存，无需 malloc 或 memcpy，兼具极高性能与内存效率。LMDB 支持完整 ACID 事务语义，采用写时复制策略确保数据页永不覆写，无需崩溃恢复流程；多版本并发机制使读操作无锁进行。不同于其他需要写前日志或追加写入的数据库，LMDB 自动在库内追踪空闲页并复用，数据库不会无限膨胀。新版本 1.0 新增增量备份、页级校验和与加密、裸块设备支持及两阶段提交等企业级功能。社区讨论围绕其可靠性与 mmap 机制展开，部分用户报告大数据库（数百 GB）写入会逐渐变慢，但维护者指出将缓存管理委托给 OS 是设计选择而非缺陷。
评论精华