No.01
Ten advances in mathematics and theoretical computer science
数学与理论计算机科学的十项进展
19 分
1 条评论
作者: milkshakes
OpenAI 文章以「十项进展」为线索,梳理近期数学与理论计算机科学中值得关注的成果,可能涵盖证明、算法、复杂性、组合与形式化推理等方向,强调这些领域仍在快速产生基础性突破。由于原文无法抓取,社区讨论主要围绕 AI 与数学研究的关系展开:唯一评论者认为数学家对技术带来的「存在性焦虑」被夸大了,相关成果反而让更多抽象概念进入公众视野,并激发非专业读者主动了解数学。争议焦点不在具体定理,而在这些进展是会削弱数学家的角色,还是扩大数学传播与参与面。
No.02
Elevators
电梯调度算法为什么这么难
1226 分
291 条评论
作者: Jrh0203
文章用可视化模拟解释电梯调度并不只是按按钮后派最近一台车。单梯可用类似磁盘调度的「SCAN」和「LOOK」算法,多梯系统则要在等待时间分布、p90 长尾、早晚高峰流向、满载和防扎堆之间取舍。Otis 的「RSR」会给每台车打分,并每 5 秒重新优化,因此比静态分配更灵活;但在高流量、小楼或车总是满载时,简单「LOOK」反而可能更好。文章还指出「目的地派梯」虽然提前知道乘客去向,却因绑定固定电梯、失去重优化弹性,在多数场景等待时间可能更差,只有超高楼和大梯组等边界场景占优。
No.03
Flint: A Visualization Language for the AI Era
Flint:面向 AI 时代的可视化语言
95 分
31 条评论
作者: vinhnx
Flint 似乎是微软提出的一种 JSON 式图表描述语言,目标是在 AI 生成图表的场景下,用统一规格表达可视化意图,并渲染到不同后端,如 ECharts、Vega-Lite 等。评论区的核心争议在于:既然 LLM 已能直接写 Plotly、JavaScript 或 Python 图表代码,为什么还需要新的抽象层?支持者认为统一中间层有助于跨后端切换、让 AI 后续读取和修改更稳定;反对者则质疑「AI 时代」只是营销话术,JSON 对 LLM 并不一定友好,且缺少 linter、LSP、schema 校验等工程配套。许多人拿 ggplot 和「Grammar of Graphics」作参照,认为好图表 API 的关键是表达力和语法设计,而不只是再造一个 JSON DSL。
No.04
Ten Ways NAS Is Getting Enshitified
NAS 正在被锁死的十种方式
48 分
37 条评论
作者: giuliomagnifico
文章认为,消费级和准专业 NAS 正从强调模块化、本地所有权和长寿命,转向成本削减与生态锁定:x86 机型焊死 LPDDR 内存、1GbE 长期滞后且多千兆加价、硬盘和 NVMe 兼容性被厂商验证限制、OS 闪存固定化、PCIe 通道缩水、旧平台换壳重发,以及硬盘容量供给两头挤压、DRAM-less SSD 在持续负载下掉速等。作者批评这些做法抬高总拥有成本并削弱用户控制;评论区则有人认同硬件锁定问题,也有人认为 NAS 正变成更省电紧凑的专用设备,或主张直接 DIY。
No.05
How to Exist
如何安然存在
164 分
87 条评论
作者: walterbell
文章提出一个看似简单却困难的练习:静坐三分钟,不做任何事,并对当下体验完全满意。作者认为,人常对「当下」过敏,总想通过吃、刷手机、争吵、胡思乱想等方式逃离单纯存在;即使享受期待已久的快乐,也会急着进入下一口、下一刻。解决方法不是宏大的冥想体系,而是以半次呼吸为单位,练习放松身体、接纳所有感受,逐步让自己能在无防御状态中停留。评论区认可其对冥想的简明解释,也质疑「存在」一词、被动与主动的矛盾,以及这种体验是否具有普遍性。
No.06
qm – Multiplayer agent harness for work
qm:面向工作的多人 AI Agent 协作框架
543 分
113 条评论
作者: tosh
qm 是 YC Software 发布的开源多人 Agent 工作框架,核心卖点是把个人 Agent、共享房间、组织级上下文和权限边界组合起来,让团队能异步分配任务、共享输出,并在各自云账号中部署。评论区认为它抓住了「multiplayer agents」的真实难题:范围控制、上下文不过载、与 Slack、邮件、告警等工作流集成;也有人质疑它只是追逐 Buzz、Claude Cowork、OpenClaw 等趋势,UI 和定位不够清楚,可能是「烧 token 的解法」。围绕贡献流程和「anti-slop」设计技能,大家还讨论了 AI 项目要求人类写需求、由核心团队用 Agent 实现是否合理。
No.07
The development pipeline is a production system
开发流水线也是生产系统
67 分
22 条评论
作者: firefoxd
文章主张,对开发团队而言,开发流水线本身就是一种生产系统:代码无法编译、CI/CD 故障、测试套件失败、QA 环境宕机,都会直接阻断团队向客户交付价值,因此应像客户侧生产事故一样获得高优先级响应。作者借鉴制造业装配线停机和 IT 服务中断管理,建议把从需求提出到上线交付的所有环节都纳入可用性视角。争议在于,社区有人认同大型公司已把无法发布视为事故,也有人认为作者混淆了生产与开发概念,且没有充分讨论优先级、值班成本和修复策略。
No.08
Software for One
只为一个人而写的软件
91 分
68 条评论
作者: awaxman11
作者认为,AI 编程把个人软件从浪漫想象变成现实:应用可以像家常饭一样,只服务自己和亲友。他用 Next.js、Claude Code 等工具做了睡眠计划、跑步训练、营养、爵士练习和病历工具,强调低成本、易维护、可短暂使用,以及聚合多源数据后由 LLM 生成个性化洞察。文章也指出当前门槛仍偏技术化,依赖 API、部署和数据库,但趋势是普通人只用自然语言就能构建个人软件。争议集中在成本、维护、平台封闭、安全和这些需求是否过度复杂。
No.09
Progressive Web Components
渐进式 Web Components
145 分
25 条评论
作者: hosteur
作者认为 Web Components 仍是跨框架设计系统的理想基础,但传统实践常带来布局抖动、未样式化闪烁、SSR 支持差、依赖客户端 JS、与 React Server Components 等框架配合不佳及可访问性问题。为此他发布 Elena:一个 2.6kB、零依赖的库,主张「HTML 和 CSS 先行」,再用 JS 渐进增强交互、响应式更新和事件处理。文章区分复合、原始和声明式三类渐进组件,并强调可用 Light DOM 降低 Shadow DOM 隔离带来的障碍。争议焦点在于 Web Components 本身复杂度、Shadow DOM 破坏样式和可访问性,以及相比 Lit 等库是否真正带来新能力。
No.10
Google fixed more Chrome bugs in June than over the past two years, thanks to AI
谷歌称 AI 让 Chrome 安全漏洞修复量激增
496 分
512 条评论
作者: Garbage
谷歌介绍 Chrome 安全团队如何把 LLM 用于漏洞发现、分流和修复:从 fuzzing 增强、Big Sleep 到基于 Gemini 的代理框架,并用 Chrome 知识库、SECURITY.md、critic agent 和受限运行环境降低误报与风险。其自动化流程可复现漏洞、补充严重性和归属信息,估计每月节省数百小时;多代理修复与测试生成也已接入 CI。谷歌称 Chrome 149 和 150 共修复 1072 个安全漏洞,超过此前 23 个里程碑总和。争议焦点在于这些统计是否夸大、AI 是否也引入新漏洞、C++ 内存安全与 Chrome 复杂度是否才是根因。
No.11
The Absurdity of Albert Camus
加缪与荒诞的意义
102 分
51 条评论
作者: apollinaire
文章应围绕阿尔贝·加缪的「荒诞」思想展开:人在渴望意义、秩序与来日希望的同时,又面对沉默的宇宙和必然的死亡。《西西弗神话》以「必须想象西西弗是幸福的」收束,强调不靠宗教或终极解释逃避,而是在无意义中清醒地反抗、生活。《局外人》《鼠疫》等作品则把这种哲学放入叙事与伦理处境。评论争议集中在加缪是否真正摆脱了对意义的执念、其审判场景是否过于刻意,以及荒诞主义与佛教、斯多葛主义、存在主义的差异。
No.12
Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide
AMD MI450 上的注意力解码优化指南
18 分
0 条评论
作者: matt_d
文章以长上下文、智能体式 LLM 推理中的注意力解码为案例,说明单 token 生成阶段瓶颈已从算力转向 HBM 读带宽。AMD 介绍 MI450 相比 MI350 的片上资源、HBM 容量与带宽提升,以及新增的「TDM」异步张量搬运、工作组集群、跨 WGP 协同和 multicast 加载等特性。作者用更底层的 Triton 风格 DSL「Gluon」展示如何为 MQA 解码设计高性能 kernel,重点优化张量布局、数据加载、流水线和 Split-k 并行,并称早期优化版本可达到 MI450 峰值 HBM 带宽的 85%。文章价值在于把新硬件能力与注意力解码内存瓶颈直接对应起来,但正文更偏厂商技术指南,暂无社区评论提供外部验证或质疑。
No.13
Run Kimi K3 using 29 GB of RAM at 0.50 tok/s
用 29GB 内存以 0.5 tok/s 运行 Kimi K3
233 分
95 条评论
作者: marcobambini
该项目声称可在普通 Mac 等低内存设备上运行 Kimi K3:通过将模型权重放在 SSD、只保留较小的驻留部分,把内存占用压到约 29GB,但在 4k 上下文下速度仅约 0.5 tok/s。评论区关注点集中在实用性与成本:有人认为可用于夜间批处理、会议或代码审查总结,也有人计算其电费和吞吐远逊 GPU 集群,长输出甚至不适合交互。技术上,读者质疑它与 llama.cpp mmap、SSD offload、deltafin 等方案的差异,并指出其可能使用 3-bit residual 量化而非完整原始 Kimi K3。另一个争议是项目 README 明显带有 LLM 生成痕迹,冗长、低信号,甚至影响社区对代码质量和作者审阅程度的信任。
No.14
A tiny holdout building in the middle of Macy’s is back in view
梅西百货中间那栋小钉子楼重见天日
14 分
3 条评论
作者: donohoe
纽约梅西百货 Herald Square 旗舰店西北角一栋五层小楼,因拆除覆盖逾百年的广告牌而重新显露。它源自 20 世纪初梅西从 14 街迁往 34 街时的地产争夺:梅西买下周边地块,却未能拿下杜安·佩尔持有的 30×50 英尺角地;竞争对手 Siegel-Cooper 老板亨利·西格尔抢先购入,并试图以此交换梅西旧店。梅西拒绝后绕楼建店,使这处「钉子楼」成为曼哈顿零售战争与企业地产博弈的象征。该楼自 1920 年代起长期出租外墙给梅西做广告,如今因业主可能改租给其他公司而短暂露出原貌。
No.15
A week in Matrix
Matrix 社区运维的一周
50 分
28 条评论
作者: Kesseki
作者以一周七天的故障日记,展示运营 Matrix 社区时遇到的真实摩擦:空间房间会被误当聊天室触发全员通知,外部封禁列表难以追踪和本地覆盖,房间可见性依赖管理员所在服务器,Draupnir 因 Dendrite 配置和 IPv6 联邦问题失效,房间权限还会因状态不同步而分裂。文章核心批评并非 Matrix 完全不可用,而是其联邦、加密、空间、审核等复杂机制在大型社区和自托管场景下暴露出高昂排障成本,与官方宣传中的顺滑体验形成强烈反差。
No.16
Getting 25 Gbps Thunderbolt Ethernet on My Mac Studio
在 Mac Studio 上折腾 25Gbps 雷电以太网
183 分
95 条评论
作者: speckx
作者想把 Mac Studio 从内置 10GbE 升级到 25GbE,但官方或成品雷电适配器价格高昂,于是购买了基于服务器拆机 OCP 2 网卡和雷电 3 转接板的廉价方案。测试中先遇到 NAS 端 iperf3 版本太旧导致只能跑到 15Gbps,升级后单向约 20Gbps、双向接近 25Gbps;更大的问题是无风扇外壳散热极差,网卡像被关进小烤箱。作者最终用 3D 打印风道、Noctua 80mm 风扇和板载 5V 供电解决温度,低速运行十分钟后低于 36℃。但实际 Samba 拷贝只有约 1.4GB/s 读、1GB/s 写,相比内置 10GbE 提升有限,瓶颈可能来自雷电 3、macOS SMB、NAS CPU 或缺乏 RDMA 支持。
No.17
June in Servo: real world compat, media queries, SharedWorker, and more
Servo 六月进展:兼容性、媒体查询、SharedWorker 与嵌入式 API
133 分
46 条评论
作者: iamnothere
Servo 0.4.0 汇总了六月创纪录的 558 个提交,重点推进 Web 平台兼容性、安全和可嵌入能力。新版加入实验性「attr()」、多种媒体查询、SharedWorker、Pointer Capture、CustomElementRegistry 等 DOM API,并改进 WebGPU、无障碍、文本选择、Web Animations 和文件拖放等功能。安全方面更新 SpiderMonkey 修复多项漏洞,改进 SubtleCrypto 常量时间实现,并修复 file:// 目录列表 XSS。实际网站兼容性有所提升,lichess、Zulip、Speedtest 等显示更好,Google Maps 和 OpenStreetMap 仍有交互问题。项目还开始设计稳定 C ABI,降低把 Servo 作为预编译库嵌入其他应用的门槛。评论区则围绕构建困难、浏览器竞争、项目成熟度和优先级展开分歧。
No.18
Long Range Wi-Fi – Pushing 2.4 GHz Wi-Fi to the limits (2019)
把 2.4GHz Wi‑Fi 推到远距离极限
47 分
30 条评论
作者: rzk
文章用一套接近理想的机场跑道环境测试 2.4GHz Wi‑Fi 的远距离能力:用 20dBm 的 802.11n USB 网卡、12dBi 全向天线和 14dBi 八木天线,在美国和加拿大免执照 EIRP 限制内搭建笔记本到 Phidget SBC4 的链路,并用 iperf3 与信号扫描记录表现。结论是,在视距、低干扰、干燥环境下,普通 0.1W Wi‑Fi 设备配合合适天线可达到约 1400 米;原配 2dBi 小天线也能在 430 米保持可用但不稳定。评论提醒这更像平坦场地的基础远距实验,实际可用性会受 ACK 时序、天气、遮挡、延迟和法规限制影响。
No.19
Big Food vs. the People
大型食品公司如何用诉讼阻挠公共健康政策
225 分
143 条评论
作者: jruohonen
Lighthouse Reports 联合多国媒体和学者统计,2010 至 2025 年间,墨西哥、巴西、哥伦比亚、美国、英国、印度共有 239 起针对营养标签、垃圾食品广告限制、含糖饮料税等公共健康政策的诉讼,累计诉讼年限达 595 年。文章认为,可口可乐、百事、亿滋等大型食品集团及行业协会以宪法权利、竞争规则、消费者权益等名义拖延、削弱政策,给政府造成法律成本并产生寒蝉效应。争议在于,报告把多数案件集中于墨西哥等背景处理得不够充分,也引发读者对企业诉权、监管效率和倡议组织立场的讨论。
No.20
What liberal arts education is for (2024)
博雅教育到底有什么用
39 分
39 条评论
作者: mr_wiglaf
作者用大学时精读《罗马书》的宗教学课程说明,博雅教育的价值不在某门课的直接职业用途,而在训练细读、追问意图、理解他人心智模型和综合多视角的能力。这些能力后来在软件需求澄清中变得极其实用:越早发现歧义,越少返工。文章区分「可预知的实用」职业教育与「不可预知但长期有用」的博雅教育,并强调博雅不是人文学科清单,而是一种面向未知未来、培养完整人的教育哲学。争议集中在其历史上的精英性、现实成本、与 STEM 教育是否同样能培养这些能力。
No.21
Golang proposal: container/: generic collection types
Go 提案:container 包加入泛型集合类型
147 分
112 条评论
作者: jabits
Go 团队提出在标准库新增「container/」下的泛型集合类型,社区从标题和讨论推断其目标是提供 set、typed heap 等长期缺失的基础容器,并用标准库接口隐藏一部分泛型和迭代器复杂度。支持者认为这是迟来的必要补齐,能减少普通业务代码自己定义泛型类型或使用不安全替代方案;反对者则认为 Go 当初以简单克制为卖点,如今逐步补上泛型、集合、迭代器,暴露出早期设计与后续演进之间的不协调。争议集中在:Go 的泛型是否适配语言哲学、标准库是否太晚追赶 Java/Smalltalk 等语言已有能力,以及这种演进会让 Go 更实用还是走向复杂化。
No.22
Increasing the lifespan of a bulb makes it worse in every other way
白炽灯寿命越长,其他性能往往越差
67 分
70 条评论
作者: tonyg
文章反驳了把白炽灯寿命限制视为单纯「计划报废」的流行叙事。钨丝灯的亮度、色温、效率与寿命存在物理权衡:温度越高,光更白、更亮、更省电,但钨丝蒸发和结构退化更快;温度低则可极长寿,却昏暗、偏红且效率很差。Phoebus 卡特尔确有价格操纵等反消费者行为,但一千小时标准也部分是为避免厂商迎合消费者对长寿命的直觉偏好而牺牲照明质量。文章强调,灯泡案例不适合作为计划报废的简单范例,制造品常是多重妥协的结果。
No.23
Demystifying DRAM Read Disturbance: RowHammer and RowPress Phenomena
揭示 DRAM 读干扰:RowHammer 与 RowPress 的机制鸿沟
48 分
26 条评论
作者: Jimmc414
这篇论文聚焦 DRAM 读干扰中的「RowHammer」与「RowPress」现象:频繁访问某些内存行会导致未访问位置发生位翻转,威胁系统安全与可靠性。作者指出,既有研究一部分偏实验表征,一部分偏器件级物理建模,但两者在位翻转方向、数量以及触发首次错误所需激活次数「ACmin」等关键指标上存在解释断层。论文通过系统的 TCAD 仿真,对照真实芯片观测,更新了两类现象的器件级错误机制,并指出哪些建模参数会显著影响仿真是否贴近实测。其价值在于为未来 DRAM 读干扰测试方法和缓解方案提供更严谨的物理基础。
No.24
When Internal Memory Fails: A No-Solder Wii U Recovery
无需焊接修复内置存储故障的 Wii U
7 分
1 条评论
作者: edgar_ortega
作者接手一台卡在 Wii U 标志、疑似报废的主机,用 Raspberry Pi Pico 通过「UDPIH」进入恢复路径。排查显示冷启动、ECO 模式和区域配置并非根因;系统日志暴露「MLC」读取错误、共享字体文件读取失败,并指向 Hynix eMMC 低层介质故障。作者因此放弃逐个替换文件,选择社区的无焊接「ISFShax + redNAND」方案:在早期启动阶段加载「minute」,修补 IOSU,把内部 MLC 访问重定向到 SD 卡分区,同时保留主机上的 SLC/SLCCMPT。文章价值在于展示了谨慎诊断、避免破坏性操作,以及旧硬件可维修性的社区知识路径。
No.25
Let's make the worst Htmx
动手做一个最糟糕的 htmx 克隆
93 分
30 条评论
作者: RebelPotato
文章用几十行 JavaScript 复刻 htmx 的核心机制:通过 HTML 属性声明请求方法、触发事件、目标元素和替换方式,把事件监听、fetch 请求与 DOM 更新串起来。作者逐步加入表单提交、swap 策略、MutationObserver 自动扫描新增节点、自定义 trigger 语法、相对目标选择,以及类似 htmx 的 beforeRequest、afterRequest、beforeSwap、afterSwap 事件和 HX-Trigger、HX-Redirect 响应头支持。价值在于用极小实现揭示 htmx 的本质:它并非魔法,而是对常见网络交互的声明式封装。争议点集中在是否会把交互都变成网络往返、复杂前端逻辑仍需 JavaScript 或 Alpine 等补充。
No.26
Loops (YC W22) Is Hiring a Product Educator
Loops 招聘产品教育与技术内容创作者
1 分
0 条评论
作者: chrisfrantz
Loops 正在招聘一名美国远程的产品教育与技术内容创作者,采用合同转正式形式。该岗位面向现代软件公司的邮件平台产品,负责把功能发布、客户工作流和使用场景转化为视频教程、YouTube 内容、邮件、社交媒体和文档等教育材料。候选人需具备至少 1 年产品营销、技术内容或客户教育经验,近期有公开视频作品,并活跃于 X、LinkedIn 或 YouTube。工作重点包括讲解 SaaS 生命周期邮件、用户引导、试用转化和流失预防流程,并在 90 天内建立稳定发布节奏。招聘流程为两轮面试和付费测试,原文未引发社区讨论。
No.27
The most official water costs $120k a gallon
最官方的水,每加仑 12 万美元
176 分
144 条评论
作者: surprisetalk
文章解释了为什么计量学中的「水」并不只是普通 H2O:氢、氧同位素比例不同,会让水的冰点产生现代仪器可测的细微差异。为统一温度与同位素测量标准,国际原子能机构在 1960 年代采纳以海水平均同位素比例为基础的「维也纳标准平均海水」VSMOW,并以南极雪水制成 SLAP 作为轻水参考。VSMOW 供应有限,5 毫升售价 159 美元,折合每加仑约 12 万美元。它曾支撑开尔文定义,至今仍通过三相点池为高精度温度校准提供可追溯基准。
No.28
Tailscale didn't stop the Hugging Face intrusion
Tailscale 反思 Hugging Face 入侵:零信任没有挡住被盗凭证
537 分
198 条评论
作者: bluehatbrit
Tailscale 复盘 Hugging Face 遭 AI agent 入侵事件:攻击者并未利用 Tailscale 漏洞,而是在已取得生产 worker、Kubernetes 节点 root 和 136 个密钥后,使用可复用 Tailscale auth key 把 181 个外部节点加入 tailnet。文章认为,在 AI agent 高速自动化攻击时代,长期凭证和集中可读密钥库已不可接受,应转向动态凭证、凭证注入代理、工作负载身份联合、TPM 绑定节点密钥、流日志告警和 Tailnet Lock。争议在于:这是安全厂商诚实承担责任,还是借事故营销高级功能。
No.29
Authorize, don't authenticate
授权应用,而不是向应用证明身份
82 分
31 条评论
作者: marcua
作者主张把个人数据从应用数据库中解耦:传统登录意味着用户向应用证明身份,才能访问存放在应用方的数据;更好的模式是用户拥有或选择数据库托管方,再通过 OAuth2 授权应用访问自己的数据库。作者用 ayb 演示了无登录待办应用,应用只获取令牌、运行迁移并把数据写入用户数据库,且可随时撤销。文章承认这仍需信任数据库托管方,但认为开放源码、标准 SQLite/DuckDB 格式、可导入导出和托管选择能降低锁定。难点在协作文档、社交时间线等数据归属不清且聚合成本高的场景。
No.30
Is AI reasoning right for the wrong reasons?
AI 推理是否只是误打误撞地答对?
156 分
181 条评论
作者: retupmoc01
文章梳理大型推理模型的悖论:它们在数学奥赛、研究问题和复杂基准上表现惊人,却也会在简单条件下崩溃,或靠表层捷径通关。核心争议在于「思维链」是否真实反映模型内部推理。多项研究显示,推理文本可能不忠实、部分无因果作用,甚至可被错误痕迹或无意义符号替代而不明显影响结果。Melanie Mitchell 与 Kambhampati 等人认为,LRM 确实提升任务表现,但不能把中间 token 拟人化为真实思考。文章的价值在于把「有效」与「可解释、可验证、可泛化」区分开:AI 推理可能既有用,又不等同于人类意义上的可靠推理。
评论精华