No.01
OpenLogi
OpenLogi:本地优先的罗技鼠标配置工具
462 分
128 条评论
作者: amatheus
OpenLogi 是一个用 Rust 编写的本地优先罗技鼠标配置工具,主打替代 Logitech Options+:无需账号、无遥测,通过 HID++ 直接设置按键、DPI、SmartShift、滚轮模式和按应用自动切换的配置文件。它支持将 44 种内置动作、自定义快捷键、应用启动器和脚本绑定到物理按键,配置以 TOML 文件保存,并提供 macOS、Linux、Windows 的签名安装包。争议主要集中在成熟度、设备兼容性、蓝牙体验,以及网站文案疑似 AI 生成带来的信任感问题。
No.02
Cerebras CS-4
Cerebras 发布 CS-4 机架级 AI 推理系统
241 分
163 条评论
作者: sunils34
Cerebras 推出 CS-4 机架级推理系统,核心是每套三片 WSE-3 Turbo 晶圆级处理器和新的 Nexus 平台架构,宣称相比 GPU 生产系统推理最高快 30 倍、每瓦吞吐较 CS-3 最高提升 10 倍,并能在超过 10 万亿参数模型上实现每秒 1000 个以上 token。其设计重点包括模块化计算背包、近距离高密度供电、直连液冷、可编程晶圆 I/O,以及低至 2 微秒的晶圆间互连延迟,目标是让超大规模数据中心先部署电力冷却网络,再快速插入计算模块。争议主要在于官网未说明对比的 GPU 型号、数量、功耗和价格,社区也质疑 KV cache、上下文预填充、总拥有成本与生态成熟度。
No.03
Scientists stunned by children's lung recovery in ultra low emission zone
伦敦低排放区后,儿童肺功能快速追赶
201 分
142 条评论
作者: dabinat
伦敦研究人员追踪 3400 多名 6 至 9 岁儿童五年,发现 2019 年「超低排放区」实施后,伦敦儿童因污染受抑的肺部增长明显加速,四年后肺容量几乎追上污染较低的卢顿对照组;肺功能达到「临床受损」标准的比例从 14% 降至 9%。研究认为氮氧化物暴露下降是关键证据,显示清洁空气区可能迅速减轻儿童期污染伤害。独立专家肯定研究设计和长期健康意义,但提醒仍需考虑新冠、通勤方式变化及城市差异等因素;英国城市空气污染仍高于 WHO 指南。
No.04
Palomar: A registry of Lean verified mathematics
Palomar:Lean 形式化数学证明注册库
86 分
16 条评论
作者: matt_d
陶哲轩介绍 Palomar,一个面向 Lean 验证数学的注册库,目标类似形式化证明的预印本服务器。它登记外部 GitHub 仓库在特定提交上的快照,要求包含可读的「challenge file」、证明用的「solution module」和描述元数据的「formalization.yaml」。Palomar 会用 Lean Comparator 机械检查证明是否正好证明声明内容、是否无额外公理等,同时用大语言模型初步核对非形式化描述与 Lean 声明是否语义匹配。但作者强调这不是同行评审,不评价新颖性和数学价值。社区讨论集中在它与 theoremdb、Metamath、Isabelle AFP 的关系,依赖 GitHub 的合理性,以及提交激励问题。
No.05
Supersonic Trebuchet [video]
超音速投石机视频
82 分
15 条评论
作者: CharlesW
这段视频展示了 Tom Stanton 对投石机进行工程化迭代,试图把传统抛射机构优化到超音速。评论者认为亮点不只是结果,而是作者公开计算、原型失败与改进过程,并最终庆祝达到超音速。讨论集中在效率和机构设计:有人质疑卷轴末端变大是否浪费配重动能,认为通过对系统做更细的动态建模,效率或许能从约 40% 提升到 80%,速度还可再提高。也有人指出投石机的吊索展开会改变有效臂长,正是这种非线性带来高效率。评论还延伸到后院制造的合法边界、便携山地抛射装置的想象,以及 AI 是否会被用来优化成近似子弹的武器。
No.06
Being ambitious and being a dad
既要有事业野心,也要当好爸爸
438 分
257 条评论
作者: nichochar
作者回顾参加 YC 时刻意隐瞒自己已有 7 个月大的女儿,如今有两个孩子后,深感工作与生活争夺同一份时间。他承认孩子会显著降低产出,尤其在职业黄金期与幼儿最需要陪伴的阶段重叠时更明显;许多被崇拜的伟大建设者往往是糟糕父亲,而他拒绝通过外包育儿来换取事业成功。文章的核心主张是重新定义野心:不仅要建造伟大产品,也要成为伟大父亲。作者没有给出万能解法,只提出减少无意义消耗、明确工作目标、重视健康和能量、设定家庭时间规则,以纪律和复利来同时推进两种 ambition。争议点在于:是否真能兼得、亲子陪伴是否应追求数量、以及所谓成功是否值得牺牲家庭。
No.07
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
macOS 桌面上的 3D 果蝇,由 FlyWire 连接组驱动
253 分
95 条评论
作者: phoenix120
这个开源项目把一只 3D 果蝇放到 macOS 桌面上,并声称使用真实 FlyWire 果蝇连接组驱动神经活动,可能以 1 kHz 的「漏积分发放」模型运行,让光标等输入触发类似逃逸反应的行为。社区普遍认为它是很酷的可视化和黑客作品,也有人建议结合 NeuroMechFly 等身体仿真,让神经输出真正连接肌肉、实现行走或飞行。争议集中在宣传边界:一些评论认为当前更像把连接组当作复杂熵源或部分行为电路,而不是完整复制真实果蝇行为;README 中所谓「诚实说明」和疑似 AI 生成措辞也被吐槽。讨论还延伸到数字生命、意识模拟伦理、未来人脑连接组与 DNA 即 ROM 的可行性,以及为何只做 macOS 版本。
No.08
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
越南平洲晚唐沉船与海上贸易网络
34 分
0 条评论
作者: teleforce
文章介绍2013年越南广义省平洲海滩暴风后暴露的一艘晚唐沉船。其货物组合与勿里洞唐代沉船相近,包含长沙窑彩绘器、越窑青瓷、邢窑系白瓷和广东青釉器,但船体木构被认为更接近东南亚造船传统。广东罐底阿拉伯墨书祈祷语显示阿拉伯商人深度参与唐代海贸。器物风格与越窑「乾符」纪年碎片将沉船年代锁定在874至879年。作者进一步把它放入黄巢之乱、广州贸易受挫和商人转向安南、占婆等越南港口的背景中,认为该沉船是理解晚唐至五代海上贸易去中心化与转运网络的重要证据。
No.09
Where Human Sleep Went Wrong
人类睡眠为何走偏
3 分
0 条评论
作者: XzetaU8
文章采访进化人类学家 David Samson,讨论人类睡眠的悖论:睡眠对认知、免疫和情绪调节至关重要,但人类却是睡眠时间最短的灵长类,同时 REM 睡眠占比最高。Samson 以 Hadza 等狩猎采集社群为例指出,碎片化、较短、效率不高的睡眠并不必然意味着睡得差;西方医学对整夜连续睡眠的执念,可能过度病理化了正常的夜间警觉。他用「SHELL」解释人类下树后通过庇护、火、营地环境、自然光和轮值守望形成新的睡眠生态。现代失眠则可能来自进化错配:室内生活、久坐、恒温环境和蓝光削弱了光照与温度信号,使身体难以协调昼夜节律。文章价值在于挑战单一睡眠标准,但也提醒这不是临床建议。
No.10
Solo – a .so loader for static Linux binaries
Solo:面向静态 Linux 二进制的 .so 加载器
129 分
101 条评论
作者: zX41ZdbW
Solo 试图让完全静态链接的 Linux 程序在运行时加载主机提供的共享库,尤其是 OpenGL、Vulkan 等通常依赖 glibc 的驱动。它内置 x86-64 与 aarch64 的 ELF 加载器,并提供 glibc ABI 桥接,目标是在 musl 静态二进制、glibc 发行版、Alpine 乃至未来 Android/Bionic 间获得更强可移植性。争议集中在:这是否只是换名的动态加载器、是否带来 glibc 前向兼容和安全风险、是否不如直接面向旧版 glibc 构建;也有人认为它反映了 Linux 用户态 ABI、图形驱动和打包生态长期割裂的问题。另有评论质疑 README 与代码大量由 LLM 生成,作者则强调应讨论技术实现本身。
No.11
How does IKEA come up with names for its products?
IKEA 如何为产品命名
325 分
204 条评论
作者: NaOH
文章解释 IKEA 产品名并非随机瑞典语,而是一套由创始人英格瓦·坎普拉德时代延续下来的命名体系:为避免难记的编号,不同品类对应不同词源,例如沙发、卧室和客厅家具常用北欧地名,书架用男性名字,门垫等也有固定类别;新名称通常要求长度适中、易形成全球品牌识别,且偏好含 Å、Ä、Ö 等瑞典字母。评论认为这种命名让产品更有亲和力,也让懂瑞典语者产生额外趣味;但不少人指出跨语言审查并不完美,某些名称在荷兰语、捷克语、英语等语境中会变成尴尬双关或负面含义。
No.12
Meta's blockbuster trial draws parallels to big tobacco
Meta 重磅诉讼被类比为烟草业清算
210 分
158 条评论
作者: newsomix9xl
《经济学人》报道的这起针对 Meta 的重磅诉讼,被社区视为社交媒体版的「大烟草」时刻:核心不只是产品有害,而是 Meta 是否长期知道推荐算法和互动设计会强化成瘾、损害尤其是儿童心理健康,却仍以提高停留时长和广告收益为目标继续优化。讨论焦点包括内部研究和心理学团队证词可能成为关键证据,Section 230 是否仍能保护主动个性化推荐,以及如何区分正常产品改进、可用性优化和有害的「参与度最大化」。反对者担心边界难定,推荐音乐、影视或聊天机器人也可能被波及;支持者则主张按算法编辑责任、儿童保护和禁止未订阅内容推荐来约束平台。
No.13
AI usage patterns in software teams
Linear 数据揭示软件团队的 AI 使用模式
125 分
64 条评论
作者: giuliomagnifico
Linear 基于付费工作区的聚合数据称,2026 年上半年各职能 AI 功能活跃率均大幅上升,产品、管理层和不同规模公司都在快速采用。AI 已生成接近一半的 Linear issue,聊天与委派给 agent 成为新增工作层;但规划时间基本未变,既有协作时间也未减少。非工程角色提交 PR 的比例上升,连接编码 agent 的团队 PR 增长最明显。文章强调这显示 AI 与产出加速相关,却不能证明业务价值;社区也质疑 PR 数、平台内行为和易测指标不足以代表真实效率。
No.14
CUDA Shared Memory Swizzling
CUDA 共享内存 Swizzling:避免 Bank 冲突
42 分
0 条评论
作者: jxmorris12
文章讨论 CUDA 共享内存中的 bank conflict 问题,并介绍用「swizzling」替代 padding 的方法。padding 简单但会浪费共享内存;swizzling 则通过重排二维数组索引映射,让 warp 访问共享内存时尽量分散到不同 bank。作者以矩阵转置为例,说明在 32×16 float 共享内存布局中,普通列读取会产生 16 个 2-way 冲突,而 swizzling 后可显著降低冲突。文章给出基于「SWIZZLE_SIZE」、元素类型和 chunk 类型的 XOR 索引公式,并说明其需满足一一映射、NX 为 2 的幂,以及跨 32 行访问时最大化唯一 swizzled index 等性质。整体价值在于把 GPU 性能优化中较抽象的共享内存重排技巧公式化,适合关注 CUDA kernel 调优的人参考。
No.15
Berd
Berd:用于 AI Agent 构建的趣味桌面应用
3 分
0 条评论
作者: tosh
Berd 是一个面向 AI Agent 构建的桌面应用,网站用非常简短的介绍强调它的定位:怪诞、好玩,并服务于用 AI Agent 进行构建或开发的流程。现有正文没有提供功能细节、平台支持、工作流示例、定价、开源情况或与现有开发工具的差异,因此只能确认其核心卖点是把 AI Agent 构建体验包装成更轻松、具有玩具感的桌面产品。由于缺少进一步说明和社区反馈,尚难判断它解决的是 Agent 编排、代码生成、任务管理,还是更偏向可视化实验环境。
No.16
Finger: the 1971 social network that never died
Finger:1971 年诞生、至今未死的社交网络
197 分
60 条评论
作者: andros
文章回顾 Finger 这一诞生于 1971 年的互联网协议:它最初在斯坦福 SAIL 用来查看共享主机上谁在线、空闲多久,后来通过用户家目录里的「.plan」和「.project」文件,演变成可公开阅读的个人状态页和早期微博客。John Carmack 曾用它发布开发日志,卡内基梅隆的联网可乐机也用 Finger 返回库存和冷饮状态,成为早期物联网案例。协议极简:连接 79 端口、发送用户名、返回纯文本并关闭。文章赞赏这种无账号、无算法、由用户控制文本文件的社交形态,同时也暗示它因无加密、无会话、依赖多用户主机生态而难以适配现代网络。
No.17
Cursor launches Origin, GitHub alternative
Cursor 推出代码托管服务 Origin
563 分
408 条评论
作者: tomasreimers
Cursor 宣布推出早期测试版代码托管服务 Origin,面向付费用户提供仓库、拉取请求、代码浏览、GitHub 同步等基础能力,并计划加入面向代码代理的原生功能。用户可在 Cursor 的 Codebase 标签中创建仓库,也可连接 GitHub 组织并实时同步仓库;GitHub 仍可作为同步仓库的事实源,PR 评论、回复、评审和合并可在两边流转。Origin 还集成 Vercel、Depot、Buildkite 等应用,支持预览部署与 CI。争议焦点在于它是否真能替代 GitHub、是否只是锁定 Cursor 生态,以及 AI 公司托管私有代码带来的训练、隐私和供应链风险。
No.18
Show HN: Automatically detect and patch walking-dead states in Sierra games
展示:自动检测并修补 Sierra 游戏中的死局状态
46 分
19 条评论
作者: wkfauna
这个项目旨在为老 Sierra 冒险游戏自动识别并修补「walking-dead states」:玩家看似还能继续游玩、实际已因漏拿物品或错误使用道具而无法通关的软锁局面。评论推测其做法是分析反编译后的游戏逻辑图,生成补丁目录,再用玩家自有游戏副本通过 ScummVM 或 DOSBox 运行。社区普遍认为这是显著的体验改进,尤其针对 Space Quest、King’s Quest 等经典作品中漏拿宝石、金缰绳、迷宫前置物等恶意设计。争议点集中在两方面:一是这种严苛设计究竟是高风险玩法还是不公平惩罚;二是项目 README 和代码大量借助 AI 生成,部分人认为影响了展示作品的可信度与审美。
No.19
Turbovec – Google's TurboQuant for vector search in Rust
Turbovec:用 Rust 实现 Google TurboQuant 向量搜索压缩
241 分
31 条评论
作者: fittingopposite
Turbovec 是一个 Rust 项目,试图把 Google 的 TurboQuant 向量量化思路用于本地向量搜索,核心卖点是显著压缩嵌入向量存储,在较低内存占用下保持可接受的召回质量。评论中有人认为 1000 万文档约 4GB 的量级对本地、隐私优先搜索和开发调试很有吸引力,也有人讨论浏览器 WASM、代码库索引和 agent 工作流应用。但争议也很明显:TurboQuant 论文在 OpenReview 上被指存在学术不端;有人质疑同等 bit 数下不如 Matryoshka embedding 或 RaBitQ;还有人批评 README 像 AI 生成、文档不足。
No.20
Looking for Missed Alarm Bugs in a Formal Verification Tool
在形式化验证工具中寻找漏报缺陷
10 分
0 条评论
作者: luu
作者讨论如何测试 LLVM 优化验证工具 Alive2 是否会漏报真实错误。形式化验证并非魔法,工具本身也可能有缺陷;误报较容易通过检查失败案例发现,漏报则需要构造两段签名相同但行为可证不同的 LLVM IR。团队尝试两条路径:改造 YARPGen 生成无未定义行为的函数及其轻微变异版本,并用实际运行筛掉行为相同的样本;以及借助超优化器 Minotaur 在大量候选程序中被动制造可能不满足精化关系的案例。结果目前几乎没有发现 Alive2 与 Z3 的漏报,说明其核心目标表现可靠,但作者认为函数属性等较少被现有方法覆盖的区域仍可能藏有问题。
No.21
A 25-year-old video patent just expired, ending a legal headache for Linux
一项 25 年前的视频专利到期,Linux 少了一个法律包袱
167 分
57 条评论
作者: theanonymousone
文章指出,西门子 2001 年在巴西提交的 MPEG-4 Visual 相关专利 BR PI0109962-0 已于 2026 年 7 月 19 日到期,意味着 MPEG-4 Part 2、Xvid 等相关技术不再因这项专利而存在全球范围的遗留顾虑。过去 Linux 发行版因专有编解码器和专利授权问题,常需借助第三方仓库分发多媒体支持;虽然 Fedora 等发行版早已发布 xvidcore,且该巴西专利并未造成重大实际阻碍,但它仍是开源分发中的一个法律不确定性。文章强调,这并不代表 MP4 全面摆脱专利限制,因为现代常用的 H.264/AVC 属于 MPEG-4 Part 10,仍受专利约束。
No.22
And then the men with guns tell you to do it anyway
枪口之下,技术防线还能守住吗
294 分
191 条评论
作者: _djo_
作者从 2011 年埃及革命期间 Vodafone 被迫群发亲政权短信讲起,指出技术系统即使有加密、权限和防滥用设计,也挡不住现实中的国家强制力。文章延伸到英国紧急警报系统:它需要快速、定向、可信、抗灾,又要防止误发和政治滥用,但这些目标彼此冲突。作者认为,紧急广播确有公共价值,近期英国野火警报也算相称;真正难题在于,任何能无视用户意愿触达全民的基础设施,都可能从救命工具滑向宣传工具,而不存在一个纯技术方案能保证它「只能为善、不能作恶」。
No.23
λλ: A Programming Language for Silicon Photonics
λλ:面向硅光子的编程语言
4 分
0 条评论
作者: matt_d
这篇论文介绍「λλ」,一种面向硅光子电路设计的编程语言。硅光子用光在芯片上进行通信与计算,潜力在于高带宽、低能耗,但现有设计流程往往依赖底层版图、器件级仿真和手工连接,抽象层次较低、难以复用。根据标题推断,λλ试图把光子器件、波导、干涉结构等提升为可组合的程序构件,让开发者用语言级抽象描述、验证并生成硅光子设计。其价值可能在于缩短从算法或系统设想到物理实现的距离,也为光子计算、片上互连和专用加速器提供更系统的软件工具链。由于暂无社区评论,尚看不到对可制造性、性能开销、与现有EDA流程兼容性等问题的讨论。
No.24
The Amazon tax
亚马逊广告税
1137 分
617 条评论
作者: herbertl
文章批评亚马逊搜索广告已从帮助发现商品,变成对商家和消费者的「合法掠夺」。作者指出,亚马逊每周从搜索广告获得近十亿美元利润;商家不得不为保护本应自然获得的搜索流量而竞价,甚至为用户已明确搜索的书名付费。作者认为这类零和广告不会扩大需求,只会扭曲搜索结果、提高商品价格,并激励平台降低自然搜索质量、激励商家把预算从产品质量转向点击购买。评论区争议集中在:这是否只是传统货架费或广告逻辑,还是平台垄断下的租金抽取。
No.25
Claude writing a macOS driver for my obscure HP printer built only for Windows
Claude 帮旧款 HP 打印机在 macOS 上工作
183 分
152 条评论
作者: porridgeraisin
文章称作者用 Claude 为一台只有 Windows 支持的 HP 打印机做出 macOS 可用方案,并公开了仓库。评论区普遍把它视为 LLM 带来的「个人解锁硬件」能力:用户不必再完全受厂商驱动和平台限制,类似案例包括扫描仪、激光雕刻机、电子纸屏、USB 设备、BLE 灯和工业 3D 打印机。但争议也很集中:多人指出这并非真正从零编写 macOS 原生驱动,而是把现有 Linux 驱动放进 Docker 或类似封装中使用;支持者则认为实用价值大于命名争论,因为打印机从不能用变成能用。还有人担心这类一次性 AI 修复很少上游,普通用户未必受益。
No.26
We turned off Pub/Sub and nobody noticed
incident.io 关掉 Pub/Sub 后无人察觉
19 分
3 条评论
作者: patrickhamann
incident.io 介绍如何把事件驱动平台从单一 Google Cloud Pub/Sub 依赖改造成双消息代理架构,以满足 On-call 企业客户 99.99% 可用性目标。他们每天处理约 2.4 亿条消息、800 多个主题和 1000 多个订阅,Pub/Sub 已成为单点故障。得益于早期抽象出的「eventadapter」接口,团队在不改大量业务调用点的前提下引入 NATS,并构建主动主动的动态负载均衡:按消息 ID 哈希和权重在两个 broker 间分流,故障时自动切换。文章强调高可用责任不能外包给云服务商,最终他们成功关闭 Pub/Sub 且客户无感知。争议点在于 NATS 的长期治理信任。
No.27
Show HN: Interactive, animated architecture of any HuggingFace models
展示:交互式查看 HuggingFace 模型架构
71 分
7 条评论
作者: lizhaoliu
ModelMap 是一个用于可视化 HuggingFace 模型结构的交互式工具,能把任意模型的架构以动画图形方式展开,帮助用户直观看到模块层级和内部组成。作者在评论中解释,图并非只从 config 静态解析,而是在 PyTorch 的 meta device 上实际构建模型,因此无需分配真实权重也能得到模块和参数信息。社区认为它对理解模型、调试 LoRA 和微调很有帮助,也有人惊喜地发现工具还会估算模型服务成本。讨论焦点包括未来是否展示张量形状、逐层参数量,以及与类似项目 hfviewer.com 的差异。
No.28
Tiny satellite will use the dark side of the Moon as a shield
小型月球卫星将借月背屏蔽地球噪声探测宇宙暗时代
37 分
5 条评论
作者: NordStreamYacht
剑桥大学牵头的国际团队计划发射英国开发的微型卫星 CosmoCube,利用月球背面屏蔽地球电离层、广播和通信干扰,在 10 至 50 MHz 低频段探测早期宇宙氢原子的「21 厘米线」。该信号来自大爆炸余辉之后、第一批恒星出现前约 1.5 亿年的「宇宙暗时代」,迄今尚未被直接观测。卫星将在两小时月球轨道中约 40 分钟处于月背静默区,两年任务预计积累 1000 小时数据,并通过校准器、贝叶斯方法和天线响应建模剔除仪器漂移与银河前景噪声。任务获英国航天局资助,目标五年内发射,强调以低成本小平台探索暗物质和宇宙黎明,但月背无线电静默环境可能随各国探月任务增多而变稀缺。
No.29
Sticky wage norms and the real wage cost of unexpected inflation
工资惯性与意外通胀的实际工资代价
353 分
211 条评论
作者: jplusequalt
这篇论文讨论「工资规范黏性」如何让意外通胀转化为实际工资损失。评论透露其核心发现:2021 至 2024 年美国留在原岗位的劳动者中,约 37% 实际工资下降;另有评论称只有 57% 跑赢或持平通胀,且不少靠跳槽实现。争议集中在统计口径:论文把总薪酬限定为基本工资加奖金,未充分纳入 RSU、期权、医保、401k 等福利,可能低估科技行业波动。社区还讨论高生活成本地区购买力跌幅、通胀是否等同于劳动者隐性税、跳槽对涨薪的重要性,以及平均数掩盖分布差异和不平等扩大。
No.30
Apple announces changes for apps in the European Union
苹果调整欧盟应用分发与支付规则
169 分
226 条评论
作者: newusertoday
苹果宣布与欧盟委员会密切协作后,统一面向欧盟应用开发者的商业条款,10 月 1 日生效。新方案取消按安装收取的「核心技术费」,改为对 App Store 外分发应用的数字交易收取 5%「核心技术佣金」;App Store 内购佣金为 26%,小企业等多数开发者为 15%,替代支付与外链购买也分别设 20%、15% 或优惠费率。苹果还允许欧盟开发者同时提供内购和替代支付,但要求选项维持 12 个月,并新增儿童支付保护、扩大替代应用市场和网页登录分发资格。争议焦点在于苹果仍对外部分发和外链交易收费、保留公证审核,社区质疑这是否真正符合 DMA。
评论精华