2026-07-19 Hacker News Top Stories #
- LG 显示器通过 Windows Update 在用户无操作时静默安装推广软件,引发隐私和权限担忧。
- 作者利用 JPEG 渐进式扫描特性将多图像打包进同一文件,实现网络慢速加载时的动画效果。
- 凯撒护士指责职场监控和人工智能工具损害了患者护理质量,工会要求合同保障。
- GPT-5.6 借助提示词证明了凸优化领域缺失三十年的下界,并完成形式化验证。
- 许多 AI 公司 logo 采用圆形辐射设计,无意间与肛门形态相似,作者建议打破同质化。
- 分享运行 SQLite 的经验,包括 WAL 模式、统计信息重要性、分批删除数据及备份方法。
- Zilog Z80 处理器迎来 50 周年,文章回顾其历史、影响及学习底层技术对职业生涯的价值。
- 欧盟禁止大企业销毁未售出服装和鞋类的规定正式生效,旨在推动循环经济减少浪费。
- 作者认为融入群体的关键是主动组织活动,现代社会社交疏离源于搭便车者过多。
1. LG 显示器通过 Windows Update 静默安装软件,无需用户同意。 (LG monitors silently install software through Windows Update without consent) #
LG 显示器通过 Windows Update 静默安装推广软件,无需用户同意。据 Gamers Nexus 测试,以 LG UltraGear 34GX900A-B 为例,系统更新后自动安装 LG 扩展和软件包,并弹窗推广 McAfee 30 天试用(到期转为付费订阅)。32 次启动中 31 次出现 McAfee 弹窗,另一次推广 LG 自家工具。
该行为不限于新显示器,三年前购买的 LG UltraFine 32UN880-B 同样收到弹窗。用户投诉最早可追溯至 2024 年,近期涉及更多型号。该应用在 Microsoft Store 中申明可访问互联网和所有系统资源。报告还指出,戴尔也采用类似自动安装方式。
HN 热度 958 points | 评论 495 comments | 作者:baranul | 13 hours ago #
https://news.ycombinator.com/item?id=48956688
- LG 显示器在用户无交互情况下,通过 Windows Update 静默安装第三方软件,且该软件具有完整系统权限和互联网访问,无沙箱隔离,随系统启动,即在插入显示器时自动安装,甚至已接旧型号也会被推送。
- 打印机、鼠标、平板等制造商自 Windows Vista/7 起就通过类似方式插入垃圾软件,例如 Razer 鼠标一插入就下载 1.5GB 含遥测数据的臃肿软件。
- 微软本有机制阻止此类行为(为保护品牌声誉),但并未使用,反而通过 Windows Update 主动推送这种“驱动”,纵容厂商。
- 用户可以手动从临时文件夹提取驱动文件,再通过设备管理器安装,避免安装多余垃圾软件。
- Windows 95 到 XP 时代虽也有问题,但存在真正的技术创新;而如今 Windows 已沦为“shit-ware”,需要付费才使用,个人设备转向 Linux。
- 微软多年来持续出现反消费者行为,如 Ask Jeeves 工具栏等反复强制诱导安装。
- 这种通过 Windows Update 安装驱动的方式比以往更恶劣,因为它属于系统更新渠道,微软在主动助长。
- 这种行为在法律上可能构成恶意软件,但厂商会辩称是附带的实用工具;微软也难以定义恶意软件而不误伤自身产品。
- 微软本可制定驱动规则书,违规厂商只能提供开源驱动甚至被禁止分发,但并未执行。
- 罗技鼠标虽会提示安装垃圾软件并加入启动项,但并未自动静默安装。
- Razer 鼠标甚至需要联网才能正常工作,行为极度反用户;其产品常被批评为质量低下、价格虚高。
- 部分用户推荐中国游戏鼠标(如通过 EloShapes 找相似形状)作为替代,价格合理且使用最新传感器。
- 罗技公司实际上非常注重创新和人机工学,如 MX Master 的电磁滚轮,但 Logi Options+ 软件仍是垃圾。
2. Regressive JPEGs(Regressive JPEGs) #
https://maurycyz.com/projects/bad_jpeg/
这篇文章探讨了 JPEG 渐进式扫描的特性及其创造性应用。作者解释了 JPEG 文件如何通过多个“扫描”(scans)分段存储压缩数据,以支持低分辨率预览逐步完善为全质量图像。通过手动构造扫描序列(例如只包含 DC 系数的全精度单扫描帧),可以实现将多个图像或视频帧打包进同一 JPEG 文件中。当通过网络缓慢加载时,浏览器会依次渲染各扫描内容,从而产生动画效果。文章还分析了不同浏览器对扫描数量的限制(Chrome 约 90 帧,Firefox 更多),并指出这种方法仅用于娱乐(如 ASCII 艺术视频),无实际应用价值,因为无法控制播放速度。文中提供了生成此类图像的代码链接(merge.c)和在线演示。
HN 热度 647 points | 评论 65 comments | 作者:vitaut | 20 hours ago #
https://news.ycombinator.com/item?id=48954851
- 可以用类似方法处理 PNG 图片,服务器控制每帧发送延迟实现动画
- 通过 HTTP 响应头"Refresh"让客户端自动刷新获取动画帧
- 有人用无限 GIF 实现实时视频流
- 有人指出 Motion JPEG 已有浏览器原生支持,可用于流媒体
- 多数网站会剥离 APNG 的动画,却允许 GIF,令人沮丧
- 已有 H.264 等视频编码,何必用图片搞动画
- 曾有人在 20 年前用动画 GIF 为地图应用添加空气质量实时图层
- 这种技术既古怪又有趣,适合 HN 周末的“非主流”内容
- 可用于隐写术:在渐进加载早期显示人类可读内容,最终帧隐藏给 AI 看的信息
- 进度条可以利用这种网络延迟特性
- 某些论坛禁止此类行为,因有人用它隐藏不当内容
- 可以动态生成 JPEG,分块发送,配合服务端定时实现近似帧率
- 很多网络摄像头已用 multipart/x-mixed-replace 实现 MJPEG 流
- 可以用 Service Worker 模拟慢速连接来控制播放节奏
- 渐进式 JPEG 的编解码在移动端(如 iOS)可能不稳定,表现各异
3. 凯撒护士称人工智能和监控正在使他们的工作和患者护理变得更糟 (Kaiser nurses say AI, surveillance are making their jobs and patient care worse) #
Kaiser Permanente 的咨询护士表示,职场监控和 AI 正在损害他们对患者的护理质量。多名现任和前任护士称,超过 15 分钟的患者通话会频繁受到管理层批评,并影响月度绩效评分。Kaiser 还使用软件预测护士日常生产力,以及用 AI 系统评估其同理心和语气。加州护士协会在合同谈判中将 AI 列为核心议题,3 月曾因此罢工一天。Kaiser 辩称 AI 用于患者安全,不按平均通话时间评估绩效。一名护士分享案例:曾与自杀倾向患者通话超一小时,却因时长被质疑。另一护士因担心监控,不敢为刚确诊癌症的老年患者提供额外的安慰时间。
HN 热度 541 points | 评论 365 comments | 作者:gnabgib | 1 day ago #
https://news.ycombinator.com/item?id=48952880
- 大部分投诉是关于呼叫中心指标和配给护理的压力,而非 AI 本身,AI 共情试点已终止
- 部分医护人员认为 LLM 工具在翻译、总结笔记、快速查询方面有价值,能节省时间
- 应具体评估每种 AI 技术,而非全面禁止或简单贴标签
- 自动化和计算机化问题由来已久,管理层利用 AI 炒作推动裁员和自动化,批评者也用相同标签导致混淆
- 语言不精确是故意的,炒作方希望保持黑箱神秘,利于诈骗
- 诈骗者包括大型 AI 公司(如 X、OpenAI、Anthropic)
- 允许 AI 但不强制在指标驱动的工作场所是矛盾的,最终会强制使用并把责任转嫁给员工
- LLM 总结存在风险,可能误解或产生幻觉,且书写过程本身有助于思考,不应禁止也不应强制,应由使用者自行决定
- LLM 语音转文字模型会编辑或产生幻觉,不适合医疗转录
- 担心使用差模型(非 SOTA)会带来更严重错误和幻觉
4. GPT-5.6 使用了一个提示词,从而弥合了凸优化领域长达三十年的差距 (GPT-5.6 used a prompt to close a 30-year gap in convex optimization) #
https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
作者在一次 148 分钟的连续对话中,让 GPT‑5.6 Sol Pro 使用和 OpenAI 证明 CDC 猜想时类似的提示词方法,成功给出了一直缺少的凸优化下界证明,填补了自 1996 年以来该领域在复杂度上的缺口,并且这个证明已经用 Lean 做了形式化验证,验证通过。作者是加州大学伯克利分校工业工程与运筹学系的教师,有应用数学博士学位,这个结果目前还没有经过同行评审。
问题本身是关于确定性零阶凸优化的,也就是算法只能拿到函数值,不能得到梯度,想知道找到 ε‑最优解最少需要多少次函数值查询。1996 年 Protasov 给出了一个上界,证明 d² 次查询就足够,但之前最好的下界只是 Ω(d),和允许用梯度的模型一样,所以大家一直不清楚梯度到底有没有额外帮助。作者自己已经为这个问题断断续续忙了一年左右,也试过用 GPT‑5.4 和 GPT‑5.5 都没有成功。在看到 OpenAI 的 CDC 结果后,他仿照那个提示词的思路写了一份大约十页的详细提示,让模型去尝试不同的构造。GPT‑5.6 Sol Pro 在 148 分钟后给出了一个初步证明,证明了在精度量级大约 d⁻³ 下的二次下界,作者自己检查后又在 Lean 中做了形式化验证,顺利通过。证明用的函数族和核心不变量的设计在他看起来也合情合理,和凸优化复杂度中一些已有的经典结果有相似之处。
作者认为,这类下界证明往往关键在于找到合适的困难函数和对抗性回答策略,一旦找到,后续的证明步骤大多会用到已有的凸几何或优化工具,并不算完全原创的新技术。所以他的看法是,这个结果并不说明 AI 创造了全新的数学方法,而是说明那些用现有技术就能解决的问题,现代 AI 已经有能力处理。他并不觉得数学或理论计算机科学的研究者会被取代,但今后再去碰那些低悬甚至中等难度的果实可能就不太划算了,真正需要的是那些必须靠全新思路才能突破的问题。
HN 热度 477 points | 评论 308 comments | 作者:mbustamanter | 11 hours ago #
https://news.ycombinator.com/item?id=48957779
- 该证明表明凸 Lipschitz 函数在球形域上的下界时间复杂度与 30 年前的算法一致,需要 Ω(d²)次函数评估。
- 大多数现代统计学习(AI)模型基于凸有界 Lipschitz 函数的优化。
- 现代 AI 模型的目标函数是非凸的,但优化器(如 ADAM)直接源于凸优化文献,且在极小值附近因函数趋于凸而依然有效。
- ADAM 在简单凸问题上不如梯度下降加线搜索高效,甚至可能不收敛。
- 理解技术领域的核心概念后,看似高深的术语会变得清晰。
- 技术语言是简化内部交流的工具,多数内容可用通俗方式向非专业人士解释。
5. 为什么 AI 公司 logo 看起来像肛门?(2025) (Why do AI company logos look like buttholes? (2025)) #
https://velvetshark.com/ai-company-logos-that-look-like-buttholes
AI 公司 logo 普遍像肛门?文章指出,许多 AI 品牌使用圆形、中心开口、辐射线条的设计,例如 OpenAI、Anthropic Claude 等。原因包括:圆形代表完整和友好,设计师无意中模仿生物形态,以及行业跟风。文章还对比了历史上的设计趋势,并给出避免同质化的建议,如使用尖锐角度、负空间、避免径向对称等。附有一些意外“撞脸”肛门的经典 logo 案例。
HN 热度 410 points | 评论 139 comments | 作者:miniBill | 12 hours ago #
https://news.ycombinator.com/item?id=48956924
- 这种圆环状 logo 趋势远早于 AI 时代,1990 年代英国杂志 Private Eye 就嘲讽过公司花大钱将 logo 改成圆圈。
- Naomi Klein 在《No Logo》中解释,这是从具体业务转向外包、品牌化和金融化的抽象化表现。
- 只有 Claude 的 logo 看起来像屁眼,其他只是圆形,并非都像。
- 每个圆形都像屁眼吗?车轮、披萨、镜头、摩天轮?这是罗夏测试。
- OpenAI 的 logo 更像“开放的”,可能传达了开放性的含义。
- 很多评论者(包括作者)自己联想到了屁眼,暴露了自身。
- 屁眼在自然界中常见,胚胎发育就是从原肠胚(形成屁眼的雏形)开始的。
- 有些无脊椎动物用同一个孔进食和排泄(如腔肠动物)。
- 从进化角度看,肛门是最早发育的结构之一,数百万物种本质上只是管子。
- 这些 AI logo 缺乏区分度,品牌难以识别,Meta 和 Gemini 最糟糕。
- 这是千禧年主义的设计巅峰:力求无冒犯性,因此什么都没表达。
- Claude 的 logo 反而是最有想象力的。
- OpenAI 的 logo 线条不连贯,像 AI 搞砸的所罗门结。
- 原文说 OpenAI 的 logo 有渐变是错的,实际是黑白的,没有渐变。
- OpenAI 官方 logo 描述称“直角引入精确性”,但 logo 是六边形没有直角,是个笑话。
7. 运行 SQLite 学到的一些东西 (Learning a few things about running SQLite) #
https://jvns.ca/blog/2026/07/17/learning-about-running-sqlite/
Julia Evans 分享了她在小型网站上使用 SQLite 作为数据库的一些经验教训。她发现即使对于小网站,SQLite 仍是一个复杂数据库,需要正确运维。
- 开启 WAL 模式:像许多博客推荐的那样,她首先启用了 WAL 模式。
- ANALYZE 很重要:对一个 4000 行的表进行全文搜索时,查询需要 5 秒,运行 ANALYZE 后降至约 0.05 秒。ANALYZE 生成统计信息帮助查询规划器做出更好选择。
- 清理数据库的挑战:批量删除大量行时,操作超过 5 秒超时会导致其他写入进程崩溃。她的解决方案是分批小规模操作,或考虑在维护时停机。
- 备份方式:她使用了两种方法:一是用 restic 执行
VACUUM INTO后备份;二是用 litestream 进行增量复制,并设置保留期 400 小时。 - 使用多个数据库:在另一个项目 “Mess with DNS” 中,她将表拆分到三个独立的 SQLite 文件,这很有帮助。该项目已运行 4 年(自 2022 年)。
HN 热度 319 points | 评论 82 comments | 作者:surprisetalk | 1 day ago #
https://news.ycombinator.com/item?id=48950122
- SQLite 的
.expert模式能自动推荐索引并显示查询计划,避免手动分析字节码。 - 在 Oracle 等数据库中删除大量行会生成巨额 undo 日志,最好通过分区操作实现快速清除。
- 任何数据库(包括 MySQL、PostgreSQL、Cassandra)处理百万级更新或删除时都必须分批执行,否则会拖垮性能。
- SQLite 的
EXPLAIN QUERY PLAN比原始字节码更简洁,但缺少成本估算、缓冲区信息和执行分析,被认为是最无用的查询计划工具。 - 一部分人认为“真实数据库”应作为独立服务运行并支持多并发写,而 SQLite 定位更接近
fopen,不适合与之比较。 - 备份到 S3 的凭证管理令人头疼,可使用
s3-credentials工具生成仅限特定桶的读写凭据,或用 Restic 结合 Cloudflare R2 等替代方案。 - 写权限并不阻止覆盖已有文件,但可通过版本控制或随机前缀降低风险,适合日志场景以防止泄露凭据导致删除。
- 表中只有 10k 行却出现慢删除很可能是 ORM 的 n+1 问题,而非 SQLite 本身性能不足。
- 在 LLM 时代,Julia Evans 这类真实探索式的写作风格值得欣赏。
8. Zilog Z80 迎来 50 周年 (The Zilog Z80 has turned 50) #
https://goliath32.com/blog/z80.html
Zilog Z80 处理器于 1976 年 7 月正式发布,距今已 50 年。它广泛应用于 8 位微型计算机(如早期个人电脑、家用电脑)及工业嵌入式领域。Z80 与 Intel 8080/8085 二进制兼容,推动了 CP/M 和 Microsoft BASIC 等软件标准的形成。其衍生架构包括用于初代 GameBoy 的 Sharp LR35902,以及 Zilog 后续推出的流水线高速 eZ80。作者本人曾设计基于 Z80 的 DIY 计算机,并分享了与老师交流的趣闻,以及从电子产品目录中发现 Z80 仍被销售的经历。
文章还追溯了 Z80 的前身:从 Datapoint 2200 终端使用的 TTL 处理器,到 Intel 未能及时交付的 8008 芯片。8008 采用 DIP18 封装、14 位地址、32 个 I/O 端口,内部有 8 级硬件返回地址栈,寄存器组为 A、B、C、D、E、H、L 及伪寄存器 M。而 8080 在 8008 基础上改进了架构,用内存栈替代了内部返回栈,并放弃了二进制兼容性限制。
HN 热度 271 points | 评论 108 comments | 作者:st_goliath | 1 day ago #
https://news.ycombinator.com/item?id=48951461
- 1978 年开始用 Z80 套件学习硬件和软件,至今记忆犹新
- 从 6809 自学,从第一原理学习计算机对职业生涯帮助很大,这种学习方式不可替代
- 学习底层计算机知识就像学习第一语言一样印象深刻
- 同意从底层学习,即使没有大学学历也能在 IT 领域获得成功
- 推荐游戏 Turing Complete,从 NAND 门构建 CPU 并定义自己的汇编语言
- 类似的资源还有 Nand2Tetris
- 感谢推荐
- Z80 和 6502 都是公司拒绝的产品,希望有类似的 FORK86-64 出现
- 现在有 RISC-V,软件兼容性已不那么重要,因为硬件性能过剩
- 为 ZX81 构建了外部外设
- 开源了 Z80 汇编器,支持创建 tap 文件和加载画面
- ZX81 用户最初对 Z80 指令集一头雾水,后来理解了 CPU 如何运行程序
- 用 BASIC 的 GOTO、GOSUB 等概念类比理解 Z80 汇编
- BASIC 只有一个累加器寄存器(A 寄存器)
- ZX81 套件让成为所在城市的 TI 先驱,1KB 内存运行飞行模拟器
- ZX81 的 1KB 国际象棋(672 字节)是传奇
- ZX81 的“快速模式”展示了硬件与软件之间的有趣权衡
- ZX Spectrum 时代 128KB RAM 是奢侈品
- Z80 与 8080 在奇偶标志上不完全兼容,可能影响使用未定义指令的程序
- 奇偶标志不兼容是明智的,Z80 将其作为溢出标志扩展,而 RISC-V 缺少溢出检测是有问题的
9. 欧盟禁止销毁未售出服装和鞋类的规定正式生效 (EU ban on destruction of unsold clothes and shoes enters into application) #
从 2026 年 7 月 19 日起,欧盟大型企业禁止销毁未售出的服装、服装配饰和鞋类;中型企业从 2030 年起执行相同规定。该措施依据《可持续产品生态设计法规》(ESPR),旨在减少浪费,推动循环经济。
企业必须优先通过销售、捐赠或修复再利用来保持产品流通。销毁仅在产品不安全、损坏、假冒或慈善机构拒绝接收等少数情况下允许,且需提供证明并公开年度报告。
国家主管部门负责执法,违规可处以罚款。企业需保存记录五年。小微企业和微型企业豁免。
据统计,欧盟市场约 4-9% 的纺织品在未使用前即被销毁,每年达 26.4 万至 59.4 万吨。纺织品是首个被纳入该禁令的产品类别。
HN 热度 265 points | 评论 261 comments | 作者:robtherobber | 10 hours ago #
https://news.ycombinator.com/item?id=48958269
- 批评官僚主义,认为每个小要求看似合理但累积起来对企业负担过重,尤其不利于中小企业,导致过度官僚化和市场固化
- 法规合理,其目的类似禁止倾倒有毒污泥,豁免报告只针对想豁免的企业
- 法规只是升级了最简单处理方式的障碍,未使其他选项更易操作,造成企业实际困难(如存储、捐赠、税务问题)
- 法规只影响大企业和中等企业(有过渡期)
- 欧洲过度监管是懒人思维,美国官僚主义可能更严重
- 以德国为例说明欧洲官僚主义严重
- 反驳以偏概全,需要全面比较而非用单一国家代表整个欧洲或欧盟
- 欧洲食品标准严格,虽可能阻碍创新但带来信任和高质量
- 人们总是把自己的道德强加于人,呼吁不要限制自由
- 法规分阶段实施:大企业先执行,中等企业有过渡期
10. 你若搭建,他们自来 (If You Build It, They Will Come) #
https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
本文作者分享了自己多次尝试融入新社交群体的经验,发现最快最好的方式是主动组织与该群体核心活动相关的事件。他指出,任何群体中,对社交活动的需求都远大于供给,组织活动就像在海滩上送冰淇淋一样容易吸引人。许多人抱着消费者心态,认为社交场景会自动出现,但事实上每次活动都有人付出了组织工作。组织者会敏锐地注意到谁在承担这些负担。作者认为现代社会的社交疏离源于太多只想享用而不愿生产的搭便车者,虽然在宏观层面难以解决,但在自己的社区范围内,通过主动供应就可以改善。
HN 热度 222 points | 评论 80 comments | 作者:barry-cotter | 8 hours ago #
https://news.ycombinator.com/item?id=48959090
- 人们对社区和公共设施往往持消费者心态,认为其理所当然,直到开始衰败才意识到维护的珍贵。
- 应当从小教育孩子维护事物,以培养对维系运转工作的尊重。
- 现代经济压力加剧,个人时间精力被榨干,难以投入社区建设等无形价值。
- 腐败和政客的失信行为破坏公众信任,导致更多人觉得“别人都捞了,我也该捞”,进一步侵蚀公民义务。
- 网络社群中的人和技术变化极快,不同年龄段或技术领域的人难以保有共同话题,社群易碎片化。
- 公共交通逃费问题复杂,票价只覆盖小部分运营成本,主要依赖公共资金,不应简单指责逃票者。
- 组织社群必须发自热爱,且脆弱易受伤害——当别人不参与或不回报时容易陷入负面情绪。
- 美国过去有大量基层社交组织,但代际传承断裂,许多生活技能和社群传统未能传给年轻人。
- 互联网替代了线下社群建设,虽然网上也有社区精神,但没能教会人们维持线下关系的技能。