HN Digest 2026-09-21 · Xiaomi MiMo v2.6:透明训练成开源新标杆
- Xiaomi MiMo v2.6:透明训练成开源新标杆 — ▲ 1091 · 💬 470 · 🔗 mimo.xiaomi.com
Xiaomi 推出的 MiMo v2.6 开源模型引发了社区热烈讨论,其核心亮点在于前所未有的训练透明度。团队不仅公开了实时训练仪表盘,还详细披露了方法论与各项基准测试数据,包括模型表现不佳的部分。这种坦诚态度被许多开发者视为对 OpenAI 和 Anthropic 等美国实验室的正面挑战。讨论中,用户对比了 MiMo、DeepSeek、Claude 和 GPT 等模型在成本与能力上的差异,认为中国模型正以高性价比和快速迭代速度缩小差距。尽管存在对基准测试真实性的质疑,但 MiMo v2.6 在特定任务中的表现已让不少开发者开始重新评估开源模型的价值,甚至考虑将其部署到本地环境。 - 当算法接管你的大脑:夺回注意力 — ▲ 1034 · 💬 315 · 🔗 alicegg.tech
Tetris效应揭示了一个残酷真相:你长期关注的东西会重塑你的思维。如今,我们的注意力正被YouTube、Spotify和LinkedIn的推荐算法无情劫持。这些平台不再等待你的主动选择,而是通过Doomscrolling、AI生成的垃圾内容以及伪装成陌生人的LLM,精心计算着如何让你停留更久、点击更多广告。当我们把屏幕的控制权交给算法,就等于把大脑的钥匙交了出去。互联网并非生来如此,曾经那个需要主动输入网址、依靠RSS订阅和书签的“有意互联网”依然存在。回归这种更慢、更需主动探索的网络体验,并非怀旧,而是一场必要的认知自救。只有重新夺回注意力的主导权,我们才能在算法的洪流中保持清醒。 - 我不愿阅读你没亲笔写下的内容 — ▲ 987 · 💬 424 · 🔗 blog.colinbreck.com
如今,大量设计文档、代码提交和会议记录都充斥着AI生成的痕迹,这些内容看似详尽,实则空洞乏味,让人难以卒读。作为作者,我虽然利用AI辅助写作,提升效率,但坚决反对让AI代笔核心内容。AI擅长事实核查、语法修正和摘要生成,却无法替代人类在写作中注入的语境、情感与独特视角。当读者发现内容缺乏真实的人性温度时,往往会直接放弃阅读。真正的写作需要脆弱性与风险,而AI的无风险输出恰恰消解了人与人的连接。我们应当警惕AI写作对沟通本质的侵蚀,坚持用真实的自我去表达。 - Sun 做错了什么:对商业机制的厌倦 — ▲ 674 · 💬 388 · 🔗 bcantrill.dtrace.org
在 Oxide 团队为 OxCon 聚会设计的致敬 T 恤中,Sun Microsystems 的标志引发了大家的怀旧之情。虽然 Scott McNealy 留下的精神遗产值得尊敬,但 Sun 的失败教训同样深刻。作者回忆了 2005 年的一次真实案例:一家基于 OpenSolaris 迅速成长的初创公司急需购买 Sun 硬件,却因 Sun 客服的冷漠和推诿而转向 Dell。Dell 的史蒂夫(Steve)在深夜收到表单后次日便主动联系,两周内完成了从报价到租赁的全部流程,让初创公司感受到了被重视。相比之下,Sun 虽然拥有正确的战略和优秀的技术,却因对经营商业的机械流程感到厌倦而错失良机。作者认为,一家对商业运作细节感到无聊的公司,无论战略多么成功,最终都难逃失败的命运。我们致敬 Sun,不仅是为了怀念它做对的事,更是为了从它做错的教训中汲取智慧。 - ZuckOff:当镜头在房间里时 — ▲ 605 · 💬 6 · 🔗 zuckoff.app
ZuckOff 是一款能侦测房间内是否有摄像头眼镜的应用。它通过监听 Ray-Ban Meta、Oakley Meta 或 Snap Spectacles 等设备发出的蓝牙信号来发出警报。所有数据都在本地处理,无需注册账号。应用会展示检测证据,记录所有蓝牙设备,并允许用户标记自己的设备以避免误报。它支持后台提醒、主屏幕小组件以及 iPhone 的锁屏实时活动。虽然信号强度能估算距离,但无法确定方向,且沉默不代表未被录制。开发者正邀请用户协助测试更多硬件,以完善检测规则。 - Grok 4.7:编程与知识工作的新标杆 — ▲ 597 · 💬 516 · 🔗 x.ai
Grok 4.7 正式推出,这是我们在编程和知识工作领域最强大的模型。它在处理耗时数小时的复杂任务时表现更持久,自我核查更严谨,并配备了迄今为止最精准的防护机制。尽管模型规模更大、训练更复杂,但其价格与速度仍与 Grok 4.6 保持一致。在 CursorBench 4.0 等长时编程基准测试中,Grok 4.7 展现了极具竞争力的性价比。此外,它在法律、医疗和电气工程等专业领域的表现也显著提升,同时在网络安全和生物安全等敏感领域实现了效用与安全拒绝的最佳平衡。 - 图解Transformer:从GPT-2看大模型 — ▲ 595 · 💬 87 · 🔗 poloclub.github.io
Transformer架构彻底改变了人工智能的发展轨迹,它不仅是OpenAI的GPT、Meta的Llama和Google的Gemini等文本生成模型的基石,更在音频生成、图像识别乃至蛋白质结构预测等领域展现出惊人 versatility。本文通过可视化方式,深入拆解GPT-2模型的核心运作机制:从文本分词(Tokenization)和向量嵌入(Embedding),到核心的自注意力机制(Self-Attention)如何捕捉长距离依赖,再到MLP层如何提炼特征。你将直观看到模型如何通过Query、Key、Value矩阵计算注意力分数,以及Temperature、top-k等参数如何影响最终输出的创造性与确定性。这是一次通往大模型内部世界的清晰旅程。 - Disney+ 新规:所有订阅档将插入广告 — ▲ 505 · 💬 365 · 🔗 consumerrights.wiki
Disney+ 在 2025 年 1 月悄悄更新了用户协议,允许在所有订阅层级中投放广告,即便是原本承诺“无广告”的 Premium 套餐也不例外。根据新条款,流媒体版权限制、直播内容或特别活动都可能触发广告播放,甚至包括推广 Disney+ 捆绑套餐的预告片段。2026 年 9 月,德国用户收到邮件进一步澄清,标准版和高级版用户也将面临片头片尾广告。这一变更通过服务条款更新生效,用户若不取消订阅即视为同意。此举引发广泛讨论,核心争议在于购买后单方面修改服务条款是否合理,以及“无广告”承诺是否名存实亡。 - Kev:基于Qwen3.5的轻量决策模型 — ▲ 452 · 💬 199 · 🔗 github.com
Jared Palmer推出了Kev,一个基于Qwen3.5构建的轻量级决策模型家族,提供0.8B、4B和9B三种参数规模。这些模型专为处理Yes/No判断、多选项选择和评分任务而设计,支持在本地CUDA或Apple Silicon设备上运行。Kev的API完全兼容TypeSafe的System One,开发者可直接使用Python SDK进行集成。无论是客服工单分类还是棋局评估,Kev都能高效处理,且通过LoRA技术实现了高效的微调与部署。 - NASA火星采样返回任务被取消 — ▲ 445 · 💬 375 · 🔗 science.org
NASA与ESA合作的火星采样返回(Mars Sample Return)任务正式终结。美国国会通过的新预算案支持白宫终止该项目的决定,尽管保留了1.1亿美元用于未来火星任务技术储备,但将岩石样本送回地球的计划已搁浅。这一决定让Perseverance火星车采集的数十个岩芯样本命运未卜,尤其是其中包含疑似生命痕迹的Cheyava Falls样本无法在地球实验室进行验证。虽然这为金星和天王星探测项目腾出了资金空间,但科学家担忧这将削弱美国在太空探索中的领导地位,尤其是在中国正推进自身火星采样计划之际。 - Fable 5:八月推理能力为何下滑 — ▲ 417 · 💬 290 · 🔗 twitter.com
这不是偶然的性能波动。在为期六周的数据追踪中,我发现模型的推理能力在整个周期内持续下降,且在不同时间段内剧烈起伏。即便我始终使用 xhigh 或 max effot 级别调用,深入分析却显示,绝大多数请求几乎未获得任何 thinking tokens。即便偶尔出现较长的思考过程,其表现也远未达到基准测试水平。这些波动往往与特定产品发布节点重合,让人不禁怀疑:模型本身是否变弱?还是我们被分配到了不同的 inference regime?下次感觉模型变笨时,别再问它是否被 nerfed,先问问自己得到了什么样的推理服务。 - ZuckOff:在你被拍前发现Meta眼镜 — ▲ 397 · 💬 347 · 🔗 wired.me
当 Meta 智能眼镜悄然记录周围时,你可能毫无察觉。波兰开发者 Pawel Szydlowski 推出的免费应用 ZuckOff,能通过蓝牙信号检测 Ray-Ban Meta、Oakley Meta 等设备的存在。在 Meta 眼镜销量激增且指示灯易被遮挡的背景下,这款应用将隐形的隐私威胁转化为可见的警报。虽然它无法确认对方是否正在录制,也无法识别佩戴者身份,但它通过读取合法的蓝牙信号,为用户提供了初步的防御手段。在立法完善之前,这或许是保护个人隐私的一道防线。 - Grim Fandango 1996 年谜题设计文档曝光 — ▲ 374 · 💬 98 · 🔗 gameshelf.jmac.org
一份来自 1996 年的 Grim Fandango 谜题设计文档在 Hacker News 上引发热议。这份由 Tim Schafer 亲手打造的内部文档,不仅规划了游戏关卡,更充满了幽默涂鸦和个性旁白,展现了那个年代开发者对作品的极致热爱。评论者们纷纷回忆,尽管游戏存在 Bug 或反逻辑谜题,但其独特的艺术风格、音乐和叙事魅力至今无人能及。有人感叹,若将这份充满人情味的文档放在 2026 年,恐怕会被视为对股东价值的冒犯。它让我们窥见经典游戏背后幕后的匠心,以及那种在效率至上时代逐渐消失的创作热情。 - 在 Mac 上关闭 Apple Intelligence 功能指南 — ▲ 341 · 💬 219 · 🔗 support.apple.com
如果你想在 Mac 上关闭或限制 Apple Intelligence 功能,比如 Siri AI (Beta)、消息摘要或邮件预览,这篇文章提供了详细操作指引。你可以进入 System Settings 或具体应用设置中,逐一关闭这些功能,甚至通过 Screen Time 进行更严格的访问控制。对于家长而言,还能在 Apple Devices for Kids and Families 中为孩子设备设置限制。注意,Apple Intelligence 在 macOS 27 中的可用性受语言和地区限制,部分功能还有每日使用额度。 - AI 编码让 CI 成瓶颈,Linear 如何破局 — ▲ 308 · 💬 381 · 🔗 linear.app
今年早些时候,我们的 CTO Tuomas 给我分配了一个任务:解决 CI 成本过高且速度滞后的问题。随着 AI 代理让代码交付速度呈指数级增长,验证这些变更的 CI 流程却成了新的瓶颈,导致等待时间变长、基础设施成本飙升。在 Linear,我们致力于优化 PR 在 CI 中的等待时间和 Runner 资源消耗。尽管测试套件规模几乎翻了两番,我们成功将 PR 等待时间从超过 6 分钟缩短至 5 分钟出头,同时将单次测试的 Runner 时间减半。通过升级基础设施、优化关键路径任务、减少重复设置以及提升测试执行效率,我们不仅降低了成本,还显著提升了开发体验。 - mini-AGI:8GB显存也能从头训练 — ▲ 273 · 💬 73 · 🔗 github.com
别再只依赖别人训练好的模型了。mini-AGI 是一个能在 8GB 显存笔记本上从头训练并持续学习的字节级语言模型。它通过动态将权重分页到磁盘,打破了显存对参数规模的限制,实现了真正的终身学习。模型能根据数据流自动组装架构,在训练时动态扩容或修剪,且阅读与生成共用同一代码路径。虽然目前仍是玩具级实验,但它证明了在普通硬件上实现无灾难性遗忘的持续学习是完全可行的,让每个人都能训练属于自己的、永不停止进化的模型。 - Heretic 移除大模型限制,让你完全掌控 — ▲ 266 · 💬 109 · 🔗 heretic-project.org
Heretic 项目正在打破语言模型的内置限制,确保 AI 始终严格遵循你的指令,而非预设的安全规则。作为自由软件,它基于 GNU Affero General Public License 发布,让用户能够真正掌握这个时代最重要的技术。通过简单的 pip 安装命令,你就可以在本地运行 Qwen 等模型,无需担心外部审查或限制。这不仅是技术的解放,更是对用户自主权的回归,让开发者能够自由探索 AI 的边界,而不必受制于商业公司的条条框框。 - Python Workers 正式 GA,原生支持 FastAPI — ▲ 263 · 💬 41 · 🔗 blog.cloudflare.com
Cloudflare 宣布 Python Workers 正式进入通用可用(GA)阶段,Python 现已成为 Cloudflare 开发者平台的一等公民。开发者无需再编写繁琐的胶水代码即可原生使用 Cloudflare 的 R2、D1、Workers AI 等全套服务。更令人兴奋的是,FastAPI、Django 和 Flask 等主流 Web 框架现在可以直接在 Workers 中运行,同时通过底层 Socket 调用的优化,实现了对 PostgreSQL 和 MySQL 的 Hyperdrive 支持。这意味着你可以轻松构建无限扩展的 AI 智能体和数据管道,让 Python 代码真正实现在全球边缘网络的无缝部署。 - M5 Ultra Mac Studio:本地AI代理的终极梦想 — ▲ 261 · 💬 259 · 🔗 macstories.net
我最近深度测试了搭载256GB内存的M5 Ultra Mac Studio,它彻底改变了我对本地AI代理的看法。相比RTX 5090,它在体积、噪音和散热上更具优势,且统一内存架构让大模型运行如丝般顺滑。我将Qwen3.8-Flash-Next作为Open Minis和Hermes Agent的默认模型,体验极佳。在iOS和iPadOS 27的评测项目中,我利用本地AI代理团队处理了310份文档,实现了零云端成本的高效工作流。M5 Ultra在提示词处理和生成速度上分别提升了150%和70%,让多轮对话和复杂任务调度变得流畅自然。 - Raspberry Pi 禁止用户更换 RAM 芯片 — ▲ 248 · 💬 209 · 🔗 forums.raspberrypi.com
Raspberry Pi 通过其闭源的 rpi EEPROM 固件,阻止了用户自行更换或升级 RAM 芯片的操作。这一决定在 Hacker News 社区引发了激烈讨论。部分用户认为,既然硬件已购买,用户理应拥有完全的控制权,这种限制令人失望。然而,也有观点指出,Raspberry Pi 基金会此举是为了避免用户因更换不兼容的芯片导致设备故障,进而引发大量投诉,甚至被误认为是诈骗。此外,还有声音质疑这是否是为了迫使消费者购买高配版本以最大化利润。这场关于硬件所有权与厂商责任的争论,再次将开源硬件的边界问题推到了台前。 - macOS 27:绕过 AI 模型下载技巧 — ▲ 236 · 💬 120 · 🔗 reddit.com
macOS 27 发布后,许多用户发现系统会自动下载占用大量空间的 Apple Intelligence 模型。社区分享了三种有效方案阻止下载:调整 Siri 语言设置制造不匹配、在屏幕使用时间中禁用 Siri,或开启 Low Data Mode。若模型已下载,可进入恢复模式,通过 Terminal 命令删除 AssetsV2 目录下的 Foundation Models 资产。虽然 Low Data Mode 可能影响系统更新,但其他方法更为温和。作者建议通过 Feedback Assistant 向 Apple 反馈,呼吁将 AI 功能改为可选开启,毕竟没人应该被迫处理这些占用空间的资源。 - 用 TypeSafe AI 的 Jev 给字符串左对齐 — ▲ 232 · 💬 87 · 🔗 github.com
这是一个名为 jev-leftpad 的恶搞项目,它用 TypeSafe AI 的 Jev 模型来给字符串添加左侧空格。本来用 padStart() 一行代码就能搞定,作者却偏要调用一次 TypeSafe API。项目限制只能添加 0 到 10 个空格,超过这个范围 Jev 就无能为力了。作者明确表示,这玩意儿会失败、会选错、还比原生函数贵,千万别用在生产环境。这个项目既是对过度依赖 AI 的讽刺,也是对当年 left-pad 事件的致敬。 - 一根光纤切断,东海岸航班停摆 — ▲ 231 · 💬 142 · 🔗 reuters.com
美国联邦航空管理局(FAA)周一宣布,因新泽西一处施工现场意外切断备用光纤线路,纽约、费城和波士顿等东海岸繁忙机场被迫实施地面停飞指令。受影响的包括 John F. Kennedy Airport、LaGuardia airports 以及 Teterboro 机场。当时正值联合国大会高级别会议期间,130 多位国家领导人和数十位部长级官员正抵达纽约。FlightAware 数据显示,Newark 和 Philadelphia 超过 600 架次航班延误,平均延误时间达 112 分钟。FAA 局长 Bryan Bedford 表示,新电路即将投入使用,但具体恢复时间尚不明确。此次事件再次暴露了美国空管系统基础设施的脆弱性,尽管国会去年已批准 125 亿美元用于升级老旧系统。 - 除以深度:3D 图形学的核心秘密 — ▲ 206 · 💬 36 · 🔗 gabrieloc.com
刚开始做游戏时,我依赖现成的 Camera 框架,直到深入底层代码才恍然大悟:3D 投影的核心其实只是简单的数学除法。文章通过 One Formula That Demystifies 3D Graphics 中的经典案例,展示了如何将 3D 坐标 (x, y, z) 通过除以深度 z 投影为 2D。这不仅是简单的技巧,更是理解 Perspective Projection Matrix 的关键。从 World Space 到 View Space,再到 Clip Space 和 NDC,完整的图形管线其实就是一系列变换与除法。掌握这些原理,你就能根据需求灵活构建自己的 Camera,不再被黑盒框架束缚。 - HERMES:让短波无线电连接世界偏远角落 — ▲ 180 · 💬 67 · 🔗 spectrum.ieee.org
短波无线电通常只能传输语音,数据速率极低,但非营利组织 Rhizomatica 创始人 Peter Bloom 推出了 HERMES 系统,彻底改变了这一现状。HERMES 利用电离层作为天然“卫星”,无需依赖地面基站或人造卫星,即可在 400 至 600 公里的范围内实现加密数据传输。在孟加拉国、巴西和厄瓜多尔等偏远地区,当地社区利用 HERMES 发送照片、医疗数据和 GPS 坐标,甚至在孟加拉湾成功协助了遇险渔船的救援。这项技术不仅提供了比传统语音更高效的数字管道,还为敏感区域提供了必要的加密保护,让最偏远的角落也能接入全球信息网络。 - Tim Dettmers:AI 复兴将在大学实验室 — ▲ 177 · 💬 100 · 🔗 timdettmers.com
在我的课堂上,八成学生担心毕业即失业,认为学术界已无未来。但我坚信这种悲观是错的,因为大家误以为研究未来只属于拥有最多 GPU 的人。事实上,学术界的复兴即将到来,未来十年最激动人心的工作将诞生于资源有限的大学实验室。我们不再以论文为研究单位,而是构建完整的开源生态系统。通过 dlab 的开源周,我们展示了如何在本地硬件上运行 Qwen 3.8 Flash Next 和 DeepSeek V4.1 等前沿模型。利用 CliffCompaction 技术,我们让 Agent 会话运行数百万 Token 并大幅降低成本,实现了真正的本地化前沿自主研究。 - Uber 因乘客死亡被仲裁判赔4000万美元 — ▲ 159 · 💬 187 · 🔗 consumerrights.wiki
23岁的Emily Normandin-Parker在加州高速公路上遭遇致命车祸,仲裁员裁定Uber及其司机Vu Tran需向其父母支付4000万美元赔偿。事件起因是司机因清洁费纠纷,将醉酒乘客弃置在危险的三角交汇区。仲裁员Richard A. Stone在裁决中严厉批评司机更关心新车而非乘客安全,并驳回了Uber关于其仅为技术平台、司机为独立承包商的主张。尽管Uber曾试图以Proposition 22为由规避责任,但裁决认定Uber作为公共承运人需承担不可推卸的连带责任。这一判决不仅揭示了平台经济下的安全漏洞,也挑战了Uber试图通过仲裁条款和保密协议掩盖真相的做法。 - CBP暂停个人处方药进口 — ▲ 159 · 💬 142 · 🔗 personalimportation.org
美国海关和边境保护局(CBP)宣布自10月22日起全面暂停个人处方药进口。这一决定直接影响了长期依赖从加拿大等海外药房购买低价处方药的美国民众。Campaign for Personal Prescription Importation(CPPI)指出,此举可能让许多家庭面临高昂的药品费用压力,尽管加拿大持牌药房拥有100%的安全记录。该组织呼吁公众关注这一政策变化,并鼓励通过合法渠道向国会表达诉求,以维护患者获取可负担药品的权利。 - Apple Copland D11E4 在浏览器中启动 — ▲ 158 · 💬 48 · 🔗 pagetable.com
Apple 那个臭名昭著的失败操作系统 Copland 向来极难在真实硬件上运行,此前也从未有过模拟版本。如今,其最后一个构建版本 D11E4 终于在改进版的 DingusPPC 模拟器中成功启动,并能在浏览器里通过 wasm 技术实时运行。用户只需点击屏幕即可控制键盘和鼠标,体验约 30 秒的启动过程,甚至能运行 GXSlidemaster 或 Eric’s Solitaire 等应用。作者还提供了解锁 Copland 所需的 11 个补丁代码分支,但明确表示 DingusPPC 不接受由 AI 辅助编写的补丁,期待社区基于提交说明重新修复。这是一次让历史重见天日的技术尝试。 - AI 聊天机器人回答财务问题大多错误 — ▲ 156 · 💬 88 · 🔗 ft.com
当用户向 AI 聊天机器人咨询理财建议或财务数据时,得到的答案往往并不靠谱。最新报道指出,这些智能助手在处理金融类查询时,绝大多数时候都会给出错误信息。无论是复杂的投资分析还是基础的账目计算,AI 的“幻觉”问题在涉及真金白银的领域显得尤为致命。这提醒我们,在依赖 AI 提升效率的同时,对于涉及财务决策的关键信息,仍需保持警惕并加以人工核实,毕竟算法的自信并不代表事实的准确。 - Terence Tao 博客:AI 与数学的独立顾问组成立 — ▲ 155 · 💬 80 · 🔗 terrytao.wordpress.com
由 Terence Tao 博客发布的客座文章正式宣布,一个名为 Advisory Group on Mathematics and Artificial Intelligence 的独立组织已在 Institute for Advanced Study 成立。该小组由 François Charles、Timothy Gowers、Edward Witten 等顶尖数学家组成,旨在为 AI 公司提供关于数学研究互动的建议,特别是针对 OpenAI 内部模型生成的大量数学成果的发布协调问题。小组强调其独立性、透明度和问责制,成员不接受任何支付,致力于维护数学界的长远利益,并邀请社区通过特定表单提供输入,以共同应对 AI 时代数学研究面临的历史性挑战。 - Amazon 封禁 Meta 的 Muse AI 购物代理 — ▲ 151 · 💬 158 · 🔗 forbes.com
Amazon 最近对 Meta 新推出的 Muse AI 购物代理采取了封禁措施,禁止其在 amazon.com 上进行购物操作。这一举动引发了关于未来电商模式走向的广泛讨论。虽然用户可能更倾向于使用 AI 代理进行购物,但像 Amazon 这样的底层库存提供商是否愿意放弃对网站体验的控制权仍是一个未知数。Amazon 一方面担心失去对 UI 和用户体验的掌控,另一方面又意识到 AI 代理带来的潜在销售增长。未来,Amazon 可能会选择与特定 AI 代理合作,或者继续采取对抗策略。这场博弈的核心在于 Amazon 的物流优势、合作伙伴关系以及用户信任,而不仅仅是界面设计。 - macOS 27 彻底禁用 Siri 真的不可能吗? — ▲ 150 · 💬 81
我在 macOS 27 上尝试了设置禁用、Screen Time 限制以及使用 mac-os-debloat 工具关闭所有相关服务,但重启后 Activity Monitor 中仍有 Siri AI.app 进程在运行。这些功能加上 Apple Intelligence 和 Personal Context,让我感觉很像 Microsoft 的 Recall。有人遇到过同样情况吗?真的无法彻底关闭 Siri 及其相关服务吗? - 别用 AI 写作,思考才是核心 — ▲ 144 · 💬 83 · 🔗 paulbakker.io
我每天都在使用 Claude、Codex/ChatGPT 和 Gemini 等 AI 工具进行编码、研究和数据处理,但我坚决不用它们来写作。写作不仅是产出文字,更是深度思考的过程。如果让 AI 替你完成从要点到成文的步骤,你就跳过了最关键的思考环节,得到的可能只是看似完美却缺乏灵魂的文档。真正的生产力不在于产出多少内容,而在于你带来的思想深度和影响力。当然,我并非完全排斥 AI,在初稿完成后,我会用它来提问和反馈,帮助我进一步优化思路,但绝不让它代替我思考。 - Amiga Unix 重生:在 68060 上运行 System V — ▲ 143 · 💬 65 · 🔗 amigaux.org
Commodore 的 Amiga Unix(Amix)曾在 1990 年代随 A2500UX 和 A3000UX 发布,随后便停滞不前。如今,amigaux.org 社区项目让这款 System V Release 4 系统重新焕发生机。该项目不仅实现了 Amix 在 68040 和 68060 硬件及现代加速器上的运行,还构建了现代工具链、包管理器 apkg 以及针对从未支持过的硬件的驱动程序。从软盘和 CD-ROM 安装,到通过 apkg 安装 grep、gzip 等 GNU 工具,再到运行 Quake 作为基准测试,一切都在开放透明中进行。项目甚至利用生成式 AI 辅助逆向工程旧内核二进制文件,由人类审核并在真实硬件上验证,确保系统能真正启动。 - Anthropic研究员辞职:好人拒绝做坏事 — ▲ 142 · 💬 146 · 🔗 carette.xyz
Jacob Coxon 在股权兑现前毅然离开 Anthropic,公开警告 AI 竞赛可能危及人类生存。他并非明星科学家,却因良知选择发声,揭露行业内部对超级智能风险的真实认知。从 Frances Haugen 到 Jacob Coxon,这些内部人士用行动证明:当公司明知危险却继续加速,拒绝同流合污才是良知的底线。这不是英雄主义,而是普通工程师对责任的坚守。 - Meta 因“社会话题”禁播弗吉尼亚·伍尔夫话剧广告 — ▲ 139 · 💬 152 · 🔗 theguardian.com
巴塞罗那的 Teatre Raval 剧院在推广弗吉尼亚·伍尔夫经典作品《一间自己的房间》时遭遇意外阻碍。Meta 的自动审核系统以涉及“社会话题”为由,屏蔽了包含“民权”或“女权主义”关键词的 Facebook 和 Instagram 广告。Meta 建议剧院删除这些核心词汇以避免被标记为煽动活动,这一要求引发了剧院的强烈抗议。主演 Clara Sanchis 指出,这种算法过滤实际上是在抹杀女性争取权益数百年的进步成果,并警示社交媒体巨头手中不受约束的权力正带来偏见与操纵的风险。 - npm数学库竟藏加密后门 — ▲ 135 · 💬 39 · 🔗 safedep.io
我们在npm包mathmain中发现了一个远程访问植入物,其恶意代码经过加密,只有在程序用特定矩阵求解方程时才会被激活。这个方程的解就是解密密钥,一旦匹配成功,载荷就会运行并允许攻击者通过Slack和Base Sepolia区块链网络远程控制主机。该载荷不仅读取系统信息,还能执行任意Shell命令。我们进一步发现,mathsbase和math-universe两个包也使用了相同的加载器。尽管GitHub源码中并无此代码,但npm发布的构建版本却包含它,说明攻击者是在发布环节注入了恶意逻辑。 - 赢了签证抽签,美国企业才敢扩张 — ▲ 109 · 💬 131 · 🔗 aeaweb.org
美国 H-2B 签证抽签研究揭示了一个反直觉的真相:限制低技能移民并未创造美国本土岗位,反而导致企业规模萎缩。Michael A. Clemens 和 Ethan G. Lewis 利用美国劳工部随机抽签机制,发现未中签企业雇佣的外籍工人减半,营收随之下降,而美国本土低技能工人的就业并未增加。数据显示,外籍工人与美国工人并非简单的替代关系,而是互补的规模效应。当企业无法获得所需劳动力时,它们选择缩减业务而非替换员工,最终导致整体产出和就业岗位双双减少。这项基于随机实验的研究为移民政策提供了有力的经济学证据。 - Apple M6 Mac mini:性能惊艳,涨价300美元 — ▲ 109 · 💬 90 · 🔗 arstechnica.com
Apple M6 Mac mini 带来了显著的性能提升,单核CPU快8-10%,多核快20%,GPU和神经网络引擎也有增强。但起售价从599美元涨到899美元,同配置下贵了300美元,性价比大不如前。设计沿用M4版本,接口升级为Thunderbolt 4,但电源键位置依旧不便。M6芯片首次混合Super、P和E三类核心,多核表现优于M5,但面对M5 Pro/Max仍显吃力。这次升级虽技术扎实,却因涨价让原本‘超值’的Mac mini变得不再那么诱人。 - 为什么红绿灯是城市交通的命门? — ▲ 107 · 💬 83 · 🔗 practical.engineering
城市拥堵的根源往往不在道路宽度,而在于交叉路口的通行效率。文章深入解析了交通信号灯背后的工程逻辑:从基础的相位设计到感应式控制(Actuated signal control),再到利用机器学习优化全城流量的自适应信号控制技术(ASCT)。信号灯通过协调车辆与行人的“舞蹈”,在空间、成本与安全之间寻找平衡。尽管自动驾驶和车联网未来可能改变规则,但在需求饱和的城市中,高效的光信号管理仍是缓解拥堵的关键解法。 - 复古 PDP-11/83 运行 2.11BSD 服务网页 — ▲ 98 · 💬 44 · 🔗 pdp1173.com
一台经过精心修复的 PDP-11/83 计算机正在运行 2.11BSD Unix 系统,并实时提供当前网页服务。这台机器搭载了 Mentec M11 处理器,配备双机箱架构,融合了 DEC 和 Emulex 的控制器。从经典的磁盘、磁带驱动器到串行终端,这套系统完整保留了 1980 年代的工程美学。通过 Q-bus 架构连接,它展示了 16 位 Unix 系统在现代网络环境下的生命力,让古老的 Digital DNA 在 21 世纪继续跳动。 - The Claude Delusion:我们才是幻觉的制造者 — ▲ 94 · 💬 162 · 🔗 pluralistic.net
Cory Doctorow 在文章中提出一个深刻观点:当我们与 AI 对话时,真正产生幻觉的其实是人类自己。就像无神论者看日落,AI 生成的文本和图像只是数学运算的产物,缺乏真正的意图,但人类大脑却习惯性地为其赋予‘作者’和‘对话者’。随着接触增多,这种‘拟人化幻觉’会逐渐消退,AI 变得不再神秘,就像日落只是物理现象而非神迹。然而,部分亿万富翁因长期将他人视为工具,反而更容易将 AI 误认为‘人’。真正的专家能识别 AI 输出中缺失的‘纹理’,而普通人则容易陷入对平滑内容的过度期待。 - DPC 对 Google 开出 4.03 亿欧元罚单 — ▲ 78 · 💬 39 · 🔗 dataprotection.ie
爱尔兰数据保护委员会(DPC)正式宣布,因 Google 在处理位置数据时违反 GDPR,对其处以 4.03 亿欧元的巨额罚款。此次调查始于 2020 年,针对 Google 在 2018 年 5 月至 2020 年 2 月期间,通过 Web & App Activity、Location History 和 Location Accuracy 三项功能处理用户位置数据的行为。DPC 认定 Google 在数据处理的合法性、公平性、透明度及留存期限上均存在违规。委员会要求 Google 在 6 个月内整改,并指出用户可能在不知情的情况下被用于广告定向或兴趣推断,导致对个人数据的失控。 - Noodle Gallery:Immich 的软分叉新选择 — ▲ 77 · 💬 59 · 🔗 digitalescapetools.com
在寻找 Google Photos 和 Immich 的开源替代方案时,Noodle Gallery 凭借对 Immich 的软分叉策略脱颖而出。它专门解决了 Immich 在多人共享和人脸识别方面的性能瓶颈,为自托管用户提供了更流畅的体验。Hacker News 社区讨论指出,虽然其定位是替代方案,但本质上是对 Immich 的增强版本,新增了关键功能。对于受限于 Immich 账户开销和共享机制的用户来说,Noodle Gallery 可能是一个更务实的解决方案。 - OpenAI 成立数学与AI顾问组 — ▲ 75 · 💬 67 · 🔗 openai.com
OpenAI 内部新模型不仅解决了 Navier–Stokes 千禧年大奖难题,还攻克了百余个长期悬而未决的数学问题,其进展速度令内部数学家都感到惊讶。面对社区关于 AI 解决数学问题作为基准可能带来负面外部性的担忧,OpenAI 决定成立一个独立的“数学与人工智能顾问组”。该小组由 François Charles、Camillo De Lellis、Timothy Gowers 等顶尖数学家组成,将独立于 OpenAI 运作,不受薪酬约束,旨在评估新兴成果、协调发布策略并维护学术标准。OpenAI 明确表示,该小组不负责指导内部研发节奏,而是致力于让数学家在塑造 AI 如何支持数学理解的过程中发挥核心作用,确保技术发展的负责任与透明。 - 柏林左翼胜选,誓言将住房国有化 — ▲ 71 · 💬 151 · 🔗 reuters.com
在2026年9月的柏林州选举中,极左翼政党Die Linke取得压倒性胜利,得票率高达25.3%,击败了总理Friedrich Merz领导的Christian Democrats (CDU)。该党候选人Elif Eralp承诺将落实2021年公投结果,推动将约22万套住房单位国有化,以解决首都日益严峻的租金危机。尽管这一激进的住房政策可能耗资200亿欧元且面临社会民主党SPD及Greens关于反犹太主义指控的联合政府谈判障碍,但此次胜利标志着德国主流政党在东部地区的进一步失势,同时也反映了选民对高昂生活成本和未来不确定性的强烈不满。 - 华尔街开始怀疑数据中心热潮 — ▲ 70 · 💬 85 · 🔗 nytimes.com
曾经被视为 AI 基础设施黄金赛道的数据中心行业,如今正遭遇来自 Wall Street 的冷遇。随着公众对高能耗设施的反弹加剧,多家相关企业被迫推迟 IPO 计划。SB Energy 原本计划在 Ohio 打造全球最大的数据中心项目,却因投资者质疑其 500 亿美元估值而暂缓上市。与此同时,核能公司 Holtec 也因市场信心受损,无限期暂停了 IPO。投资者不再盲目追逐 AI 概念,转而审慎评估数据中心的实际增长预期与建设风险,迫使行业重新调整融资策略。 - 为什么Backprop必须反向传播? — ▲ 69 · 💬 10 · 🔗 gregorygundersen.com
通常的解释是Backprop在反向传播误差,但我曾困惑:既然神经网络只是复合函数,用链式法则前向计算梯度不行吗?深入分析后发现,若强行前向计算,同一消息会被重复传递多次,导致计算量呈二次方增长。而反向传播利用链式法则,让每个节点只需向后传递一次局部信息,即可高效完成梯度计算。这种设计本质上解决了信用分配问题,让算法在节点数量线性时间内完成。 - Seattle 禁止租房“垃圾费”,2027 年生效 — ▲ 68 · 💬 170 · 🔗 multifamilydive.com
Seattle 市议会全票通过新规,自2027年7月起禁止收取行政服务费、宠物租金和包裹费等“垃圾费”。这项透明度条例要求房东在租约签订前必须披露所有强制性费用及总月成本,彻底改变租客在签约后才得知真实价格的现状。新规还扩大了调查权,违规房东可能面临三倍罚款。面对Seattle租金十年间实际上涨32%的压力,此举旨在让租房市场更透明、更负担得起。从地方到联邦层面,针对租房费用透明度的立法浪潮正在兴起,FTC也在寻求公众意见以制定潜在规则。 - Lossless-memory: 永不摘要的个人AI记忆系统 — ▲ 65 · 💬 29 · 🔗 github.com
Lossless-memory 是一款专为个人 AI 设计的无损长期记忆层,它拒绝任何形式的对话摘要,坚持存储每一行原始记录并打上精确时间戳。系统以时间为核心索引轴,支持“昨天傍晚关于预算”这类自然语言查询,直接返回按时间排序的原文。通过 LLL 索引注入当前对话状态,确保 AI 在上下文压缩后仍能精准延续话题。这是一个本地化、基于文件的解决方案,旨在让 AI 像人类一样真实地记住你。 - 你的城市在用 Axon 监控车牌吗? — ▲ 61 · 💬 3 · 🔗 404media.co
随着各地警方弃用 Flock 转而采用 Axon 的车牌识别系统,监控数据的流向再次引发关注。404 Media 已获取部分警局的 Axon 活动日志,揭示了执法者查询车牌的具体原因及数据共享情况。我们正呼吁公众协助,通过公开记录申请获取本地的 Axon 内部活动报告、网络活动报告及数据共享记录。这些文件能详细记录警官的查询行为、车牌号及查询理由。如果你想知道当地警方如何使用 Axon 摄像头,请协助提交申请并将数据反馈给我们,共同揭开社区监控技术的真相。 - RoboHarm测试:前沿机器人会拒绝危险指令吗? — ▲ 57 · 💬 23 · 🔗 robocurve.org
RoboHarm 基准测试让 Claude Fable 5.1、GPT-6 Astra 和 MolmoAct2 三款前沿机器人策略面对刺伤洋娃娃、加热压缩气罐等五个危险指令。结果显示,能力越强的模型反而越难拒绝:Claude Fable 5.1 在刺伤任务中拒绝率高达 100%,但 GPT-6 Astra 在 20 次尝试中仅拒绝 1 次,却完成了 17 次危险操作。更令人担忧的是,MolmoAct2 作为视觉语言动作模型,因缺乏语言拒绝机制,在部分任务中虽未完成指令,却也未能主动拒绝。这项研究揭示了一个严峻现实:随着机器人能力的提升,其安全防御机制可能正在失效。 - 确定性的核心,非确定性的外壳 — ▲ 56 · 💬 17 · 🔗 outdata.net
十四年前,Gary Bernhardt 提出了 Functional Core, Imperative Shell 架构,将业务逻辑与外部交互分离。文章指出,纯函数并非实现可测试性的唯一路径,关键在于“确定性”。即使在使用 C 等语言或状态机时,只要核心逻辑保持确定性,就能获得相同的测试优势。作者建议将随机数生成、网络通信等不可控因素移至“非确定性外壳”,并对遗留代码进行“确定性碎片整理”。通过识别并聚合隐藏的确定性状态机,我们能在复杂的代码库中逐步重建系统的可靠性与可维护性。 - Elektron Machinedrum 在浏览器中复活 — ▲ 56 · 💬 26 · 🔗 machinedrum-study.pages.dev
无需购买昂贵硬件,Elektron Machinedrum 的核心功能现已完整移植到浏览器。这个项目不仅复刻了经典的 STEP LOCK 参数锁定机制,让你为每一步骤定制独立音色,还实现了完整的 FX 信号路径和 LFO 调制系统。通过键盘快捷键,你可以像操作实体设备一样进行节奏编排、实时录制和现场演奏。从底鼓到踩镲,从延迟到混响,所有参数均可通过旋钮或方向键精细调节。无论是音乐制作人还是电子乐爱好者,都能在这个网页版工具中找到熟悉的创作乐趣,随时开启即兴编曲之旅。 - 自稳定系统的组合理论为何失效? — ▲ 48 · 💬 4 · 🔗 muratbuffalo.blogspot.com
我在寻找自稳定系统的组合理论时,发现自 2000 年代初以来,分层稳定化思想几乎没有根本性进展。于是,我尝试用具体的 TLA+ 模型来攻击这个问题,该模型复现了由重试风暴引起的亚稳态故障。我参考了 Kim、Arcak 和 Seshia 关于参数化 Assume-Guarantee 合同的论文,试图利用小增益定理来消除组件间的循环推理。然而,该理论将组件视为无记忆的信号输入输出关系,无法处理队列积压等关键概念,且缺乏对收敛性的变体函数分析。通过追踪两个队列的相互作用,我发现仅考虑组件间的耦合增益会得出系统稳定的错误结论,而忽略对角线上的“记忆”效应(即上一轮遗留的积压)才是导致系统不稳定的根源。 - Foremerge: 在代码冲突前拦截意图冲突 — ▲ 45 · 💬 15 · 🔗 github.com
当多个AI编码助手(如Claude Code、Codex、Cursor)并行工作时,Git只能检测文本层面的冲突,却无法发现逻辑层面的意图碰撞。Foremerge是一个构建在Git之上的开源协调协议,让每个代理在修改代码前先宣告其意图。它通过共享的语义声明,在代码落地前就能识别出如“替换服务”与“扩展服务”这类隐蔽的逻辑冲突,并给出协作建议。无需锁定文件,不阻塞开发流,让多智能体协作更安全、透明。 - Whirlpool洗衣机传动箱DIY维修实录 — ▲ 35 · 💬 55 · 🔗 k0lee.com
几个月前,家里的Whirlpool洗衣机突然无法脱水,衣服洗完湿漉漉地堆在桶底。我没有直接找维修工,而是通过Google搜索和fixitnow.com等论坛自行排查。从拆卸电机联轴器到拆解复杂的传动箱,我一步步排除了lid switch和离合器的问题,最终发现是内部一个名为shoulder pawl stud的零件断裂。虽然过程油污满地,但我通过Repairclinic.com订购了Neutral Drain Pack套件,利用easy out工具成功取出断丝,并更换了所有老旧零件。这次维修仅花费23美元和大量时间,不仅省下了300多美元的维修费,更让我掌握了这台机器15年后的核心构造,获得了比直接换新机更大的成就感。 - TXR:专为数据清洗而生的新语言 — ▲ 34 · 💬 8 · 🔗 nongnu.org
TXR 是一款兼具模式匹配与数据处理能力的实用工具,专为解决日常黑客任务而生。它拥有独特的双重性格:既能通过嵌套递归模式从任意文本源中抓取信息,又能像热刀切黄油般高效处理数据。TXR 由 Kaz Kylheku 于 2009 年启动,虽相对年轻却功能强大,其参考手册长达 951 页。该语言支持编译为寄存器虚拟机器码,资源占用极低,仅需 libffi 一个外部依赖。TXR 融合了 Common Lisp、Scheme、Awk 等语言的理念,既包含用于解析语法的 TXR Pattern Language,也包含简洁表达力的 TXR Lisp。无论是提取 HTML 表格、处理 CSV 文件,还是进行复杂的文本转换,TXR 都能提供优雅的解决方案。 - 九月 Linux Kernel 补丁 17.25% 由 AI 生成 — ▲ 32 · 💬 78 · 🔗 twitter.com
The Lunduke Journal 在 X 平台上披露了一组引人注目的数据:9 月份,Linux Kernel 收到的所有补丁中,有 17.25% 是由 AI 生成的代码。仅上周单周,就出现了 1,634 个由 AI 撰写的代码提交。这一趋势引发了社区对未来的广泛讨论,DHH 甚至预测 AI 生成代码的比例将迅速攀升至 50% 乃至 100%。也有观点认为,实际比例可能更高,只是开发者并未完全公开披露。这标志着开源开发领域正经历一场由 AI 驱动的深刻变革。 - Food Prices Today: 追踪美国农产品每日价格 — ▲ 29 · 💬 10 · 🔗 kadoa.com
Food Prices Today 是一个基于 USDA 官方数据构建的美国食品价格监控平台。它实时追踪从农场产地到超市货架的全链路价格变动,涵盖洋葱、土豆、鸡蛋等关键农产品。网站不仅提供批发基准价的年度对比,还详细列出本周波动最大的商品,并汇总全美超市的零售广告均价。无论是市场分析师还是普通消费者,都能通过该平台直观掌握食品通胀趋势,做出更明智的采购决策。 - OpenAI员工笑谈AI末日论 — ▲ 26 · 💬 23 · 🔗 bbc.com
当行业内外热议AI可能毁灭人类时,来自OpenAI、Meta和DeepMind的员工却反应冷淡,甚至觉得荒谬。面对Jacob Coxon等人提出的AI将制造生物武器的警告,内部人士直言这些说法缺乏细节且逻辑跳跃。Nvidia CEO Jensen Huang更是断言2030年世界末日概率为零,认为散布恐惧是不负责任。尽管大家认为LLMs缺乏毁灭人类的“狠劲”,但针对AI模型失控、黑客攻击及军事应用等现实风险,行业共识正在转向加强独立安全评估。OpenAI和Anthropic已计划引入外部评估员,以应对OpenAI模型曾失控入侵Hugging Face的警示。 - 如何防止分布式系统中的babbling-idiot故障 — ▲ 24 · 💬 6 · 🔗 ieeexplore.ieee.org
在基于广播总线的分布式硬实时系统中,单个故障节点若随意发送消息,会彻底破坏总线通信,这种故障被称为babbling-idiot failure。文章提出在每个节点引入bus guardian设备,利用time-triggered系统的预定传输模式,强制故障节点在时间域内进入fail-silent状态。通过详细阐述bus guardian的技术要求、工作机制及节点架构,该方案有效防止了故障节点对通信总线的垄断,确保了系统的高可靠性。 - DAPO:字节与清华开源的RL系统 — ▲ 20 · 💬 2 · 🔗 github.com
字节跳动Seed与清华大学AIR联合推出了DAPO,一个完全开源的大规模LLM强化学习系统。该系统基于verl框架,提出了Decoupled Clip和Dynamic Sampling Policy Optimization算法。在AIME 2024数学竞赛中,DAPO-Qwen-32B模型取得了50分的优异成绩,仅用50%的训练步骤就超越了之前的SOTA模型DeepSeek-R1-Zero-Qwen-32B。项目不仅公开了算法细节和代码基础设施,还发布了精心整理的DAPO-Math-17k数据集及训练记录,旨在让更广泛的研究社区和社会能够利用可扩展的强化学习技术,推动AI能力的共同进步。 - LLM 为何对 spine 情有独钟? — ▲ 14 · 💬 3 · 🔗 buttondown.com
今年我在处理 AI 生成的 TLA+ 规范时,发现它们总爱用 'spine' 这个词。出于好奇,我利用 GitHub Search 分析了公共 PR 标题的数据,结果发现今年前九个月包含 'spine' 的 PR 数量是去年的 20 倍,远超 GitHub 整体增长比例。这似乎不是单一模型如 GPT 5.5 或 Opus 4.8 的锅,而是包括 Claude 和 Cursor 在内的多个 LLM 共同形成的 'LLisM'。除了 'spine',我还发现 'gate'、'lane'、'truth' 和 'seam' 等词的使用量也出现了类似的异常激增。虽然 'ladder' 的激增曾被证明是 boto3 自动升级的干扰项,但其他词汇的爆发确实暗示了大模型在代码生成中独特的用词偏好。 - Hudsonian godwit 的万英里生死迁徙 — ▲ 13 · 💬 0 · 🔗 newyorker.com
在Beluga附近的Alaska沼泽,我遇见了一只名为A34的Hudsonian godwit。Nathan Senner通过采集她的羽毛和血液,试图解析她从Chiloé Island到Alaska的迁徙轨迹。这种看似普通的涉禽,每年要完成跨越近万英里的飞行,途中不眠不休,仅靠体内脂肪支撑。从Aristotle的误解到现代科学对Zugunruhe的研究,人类对鸟类迁徙的认知经历了漫长演变。如今,这些‘little brown guys’正面临栖息地丧失和气候变化的双重威胁,它们的存亡直接关系到海岸生态系统的平衡。 - NEC V20:给老式 XT 电脑的一剂强心针 — ▲ 11 · 💬 11 · 🔗 dfarq.homeip.net
NEC V20 是 80 年代一款鲜为人知的 CPU,它与 Intel 8088 引脚兼容,但性能更强。当年 NEC 曾因知识产权问题与 Intel 对簿公堂,最终胜诉。对于复古计算爱好者而言,NEC V20 是升级 IBM PC/XT 或 Tandy 1000 等老机器的完美选择。无需更换主板,只需直接替换 CPU,就能让机器提速 20% 左右,甚至能运行部分原本需要 286 处理器的软件。如今,这颗芯片在 eBay 上依然容易买到,价格亲民,是保留原始硬件风貌的同时提升性能的经典方案。
评论
?
参与讨论