每日摘要 · Hacker News
· 88 黑客新闻
- ▲ 1987OpenAI 施压要求移除 Levent 署名
我与 Levent Alpöge 利用 LLM 在一个月内解决了 Navier-Stokes 等流体力学难题，本应庆祝这一 Deep Blue-Kasparov 式的时刻，却遭遇了 OpenAI 的干预。当 OpenAI 声称其内部模型也解决了该问题后，Sebastien Bubeck 竟提出让我独自署名并移除 Levent 作者资格，理由是 Levent 在 Anthropic 工作。面对“公…
OpenAI 宣布其内部模型成功解决了 Navier–Stokes 存在性与光滑性这一千禧年大奖难题。该系统证明了三维不可压缩流体在有限时间内可能产生奇点，并提供了详细的分析证明及 Lean 形式化验证。这一突破由一个协调了约 10,000 个智能体的多智能体系统完成，它们通过自主探索、代码执行和交叉验证，在短短 88 小时内找到了解法。OpenAI 强调此举旨在展示 AI 能力的进展，而非争夺…
Mistral 宣布完成 30 亿欧元的 D 轮融资，投后估值超 210 亿欧元，创下欧洲科技公司融资纪录。本轮由 Samsung Electronics 领投，Scaleup Europe Fund 和 PSG Equity 跟投。这笔资金将助力 Mistral 扩大前沿研究、提升算力规模并加速全球商业化。不同于早期只追求模型性能的竞争，Mistral 聚焦于企业如何在不让渡控制权的前提下利用…
LibreOffice 26.8 发布仅一周，安装包下载量就突破百万次，创下历史新高。这款老牌开源办公软件的爆火，并非因为功能升级，而是源于其明确声明：不包含任何生成式 AI 功能。The Document Foundation 强调，由于隐私和数据控制权问题，AI 技术目前不符合其默认集成原则。在竞争对手纷纷将 AI 作为涨价理由时，LibreOffice 坚持“无 AI
- ▲ 637Meta 推出个人 AI 代理 Muse
Meta 正式发布了全新的个人 AI 代理 Muse，它不再只是简单的聊天机器人，而是能真正帮你“做事”的智能助手。Muse 运行在独立的 Secure VM 中，拥有自己的浏览器，可以自主浏览网页、预订行程、填写表格甚至处理客服问题。它支持通过 WhatsApp 或专用 App 进行自然对话，并能在后台持续追踪你的目标。在隐私安全方面，Muse 采用严格的权限控制，关键操作需用户审批，且登录凭…
Jellyfin 12.0 正式推出，这次更新不仅仅是版本号的变化，更是一次底层架构的彻底重构。团队移除了旧的命名规则，将重点放在数据库性能优化上，解决了播放列表和合集加载缓慢的痛点。此次更新终于为书籍和漫画提供了原生支持，不再依赖插件，同时实现了剧集的多版本管理功能。此外，Modern 布局成为默认界面，推荐算法和搜索功能也支持插件扩展。不过，升级前务必备份数据，因为数据库迁移会重写所有数据，…
人类基因组中98%的非编码区域长期是科学盲区。Google DeepMind推出了AlphaGenome Atlas，利用AI模型预计算了人类基因组中所有90亿个单核苷酸变异的调控影响，构建了1PB的超大规模数据集。通过全新的AlphaGenome Variant Impact (AVI) 评分，研究人员无需编写代码即可快速筛选关键变异。该工具已在Broad Institute和UK Bioba…
我们为了举办 LAN parties 专门建造了这栋房子。地下室游戏室墙壁内嵌了12台PC，桌面可折叠隐藏；地板下还藏着 Dance Dance Revolution 踏板。楼上办公室的会议桌也能变形，瞬间变成6个游戏站。所有20台游戏机都通过 netboot 从服务器启动，配备 GeForce RTX 4070 显卡和 Intel Core i5-13600 处理器。全屋布线通过 Cat6 网…
- ▲ 568LG 电视：离线待机也在偷窥
YouTube 频道 Gamers Nexus 的最新调查揭露了 LG 智能电视的隐私黑幕。即便电视处于离线状态或待机模式，设备仍会持续扫描周围的 Wi-Fi 网络，记录手机和智能手表等硬件信息，并通过麦克风录制音频日志。更令人担忧的是，这些音频数据会被暂存于本地，一旦网络恢复便立即上传至 LG Ad Solutions。此外，自动内容识别技术（ACR）还能精准分析用户通过 HDMI 或其他接口…
2024 年 3 月，Google 的算法更新导致新注册域名陷入“Google Jail”：除了首页，其他页面几乎无法在搜索结果中显示。这对依赖 Google 流量的独立 Wiki 是毁灭性打击，包括 Hollow Knight 和 GTA Wiki 都深受其害。为求生存，我们不得不放弃独立的 overwatch.wiki 域名，转而将新 Wiki 部署在 weirdgloop.org 的子域名…
你是否厌倦了AI编程助手在给出答案前啰嗦一堆？i-have-adhd项目专为解决这一痛点而生。它通过一套简洁的规则，强制AI助手直奔主题：先给出下一步行动，步骤清晰编号，结尾明确后续操作，彻底杜绝无意义的寒暄和发散。无论是Claude Code、Cursor还是Gemini CLI，这款插件都能让AI输出变得像ADHD患者一样高效直接——没有诊断证明也能享受这种清爽体验。
最近我在思考 RSA 加密的安全性，特别是那些早期的弱密钥。Web PKI 早在十多年前就弃用了 1024 位 RSA，但 90 年代初期由于缺乏标准，许多浏览器仍内置了极短的密钥。我从 archive.org 下载了旧版 Internet Explorer 和 Netscape 的归档，利用 Claude Code 提取了所有根证书。意外发现 Netscape 4.51 在 1999 年曾内置…
Terence Tao 指出，虽然数学问题的总量是无限的，但真正有价值、能带来深刻洞察的开放性问题却是有限的。当前，AI 工具正在以不可再生的方式‘开采’这些优质问题，导致它们迅速枯竭。AI 不仅拉平了问题的难度地形，使得原本需要人类深思熟虑才能发现的有趣问题被轻易解决，还模糊了'AI 可解’与'AI 难解’问题的边界。这种趋势迫使研究人员不再分享潜在的研究方向，严重损害了开放科学的传统，并让年…
Blackmagic Design 正式推出 DaVinci Resolve 21.1，这次更新最引人注目的是集成了 AI 助手功能。用户现在可以直接用自然语言指挥 Claude 或 ChatGPT Codex 来处理整理素材、批量渲染等重复性任务，让创作者从繁琐操作中解放出来。此外，Photo 页面新增了对 Fujifilm、Leica 和 Sony 等更多相机格式的原生支持，Fusion 模…
我原本打算自制电子墨水屏，结果被 Xteink X3 的可编程特性吸引。为了摆脱繁琐的热点上传流程，我决定让它像真正的纸张一样支持打印。通过实现 Internet Printing Protocol 协议，我让 MacBook 能直接识别名为 penguin 的打印机。面对 400 KB RAM 无法容纳 8.4 MB 打印数据的困境，我巧妙利用屏幕显存作为中转，边接收边渲染，最终实现了从 Pr…
- ▲ 390为何必须回办公室亲自使用 AI
作为 Mondo Mayo 的一名 Slop Doula，我最初对强制回办公室（RTO）感到不适，直到我意识到这是使用 AI 的必要条件。在 Best Buddy 软件的监控下，我每日点击 SlurryHose 的 GENERATE 和 APPROVE 按钮，只为在竞争激烈的市场中超越 SodaPorn 和 Cagefight Pharma。从在充满施工噪音和蛋黄酱泄漏的办公室中与同事 Blai…
我分析了CipherCue追踪的4.4万多家欧洲公司，发现只要使用了CDN，其中89.6%都部署在Cloudflare身后。相比之下，Amazon、Fastly和Akamai的市场份额差距巨大。这种高度集中意味着风险：当Cloudflare因配置错误或自动化任务故障导致全球中断时，整个欧洲市场的众多网站会同时瘫痪。这并非针对Cloudflare的指责，而是揭示了单一供应商主导市场时，其内部失误会…
Paramount 与 Warner Brothers 价值 1110 亿美元的合并案备受争议，不仅对劳工和消费者不利，其背后的操作手段更令人咋舌。除了威胁将业务迁出 California 和指责批评者外，Paramount 还被发现利用名为 Neighbors for Strong Communities 的 Astroturf 组织，向加州居民发送短信，施压州总检察长 Rob Bonta 放…
OpenAI 推出了 ChatGPT Images 2.5，这款全新模型在细节锐度、编辑精度和生成速度上实现了显著突破。相比前代，图像生成延迟降低了 50%，光影与纹理更加自然，且能更可靠地保留参考照片中的主体特征。新功能 Sketch 允许用户直接在 ChatGPT 中手绘草图作为创作指引，配合模板和图像评论功能，让创意落地更简单。开发者可通过 API 使用 GPT-Image-2.5 Fla…
- ▲ 356DHS 秘密分析美国人财务习惯以拦截车辆
404 Media 揭露了美国国土安全部（DHS）边境巡逻队正在运行名为 Predictive Intelligence Targeting Teams（PITT）的秘密预测性警务单位。这些团队通过分析美国人的财务活动和其他数据，将情报提供给当地警察，以此拦截那些并未被怀疑犯有特定罪行但被认为值得搜查的公民。例如，一名在 Montana 州驾驶的男子 Kyle William Olson 因财务…
- ▲ 315TALA：D2 开源的新一代自动布局算法
继 D2 宣布转为非营利组织后，我们正式将 TALA（Terrastruct's AutoLayout Algorithm）开源，采用与 D2 相同的 MPL-2.0 许可协议。TALA 是一款专为软件架构图设计的正交布局引擎，其风格更贴近白板手绘，而非传统单向生长的 DAG 布局。它融合了多项图绘制研究论文中的思想与原创技术，综合考量对称性、中位距离、流向及同类节点聚类等多个美学目标。TALA…
随着 GLM 5.3-flash 的发布，低成本、高性能且无安全限制的 AI 模型已可被任何人本地部署。这意味着恶意攻击者能利用这些模型自动寻找并利用漏洞，而无需人类干预。尽管 Project Glasswing 和 Daybreak 等项目正在利用前沿模型修复漏洞，但真正的挑战在于补丁的部署。我们正面临前所未有的窗口期：攻击能力正以指数级增长，而防御体系却难以跟上。如果不在未来一年内彻底修复行…
我花了3000美元在Modal上租用GPU，对Qwen3.8 27B模型进行了全面的量化基准测试。结果显示，17GB的Q4_K_M版本在Terminal-Bench 2.1等关键任务中表现与完整的BF16模型几乎无异，甚至能在RTX 4090上流畅运行。然而，当压缩至1-bit时，模型性能遭遇断崖式下跌，在GPQA Diamond测试中得分甚至低于随机猜测，且推理时间越长表现越差。这次测试证实了…
Deltafin 项目展示了在消费级硬件上运行完整 Kimi K3 模型的可能性。该方案未对模型进行任何剪枝，保留了全部 16 个专家模块，确保每个 token 都由 Kimi K3 亲自决策。通过在 M1 Max 笔记本上从四块 SSD 流式加载模型，实现了每秒约 1 个 token 的推理速度。这不仅是技术实验，更证明了无需千万级基础设施，也能在本地运行前沿大模型，为自托管 AI 探索了新路…
在斩获艾美奖最佳动画节目后，South Park 的创作者 Trey Parker 和 Matt Stone 宣布了一个令人咋舌的决定：将剧集更名为 South America。他们在声明中称，这一举动是受到 Apple 和 Google 的“勇气与爱国主义”启发，并特别感谢了母公司 Paramount，称其为“Skydance Capitulation”。第 29 季将于 9 月 16 日在…
- ▲ 246弄脏双手：提升免疫力的自然疗法
每天在公园散步却不敢触碰泥土？芬兰环境研究所的Mira Grönroos研究发现，只需20秒接触土壤或苔藓，皮肤上的微生物多样性就会显著增加，这种变化甚至能抵抗自来水冲洗。在Aurinkolinna幼儿园，孩子们整日在泥地里玩耍，研究证实这种自然接触能调节免疫系统，减少致病菌。从儿童到成人，无论是种植蔬菜还是办公室的“绿墙”，接触富含微生物的自然环境都能提升皮肤健康，调节细胞因子。正如专家所言，…
- ▲ 245两位基督教圣人，竟是佛陀
基督教圣人 Barlaam 和 Josaphat 的故事听起来似曾相识？这其实是佛陀 Gautama Buddha 生平在流传中的变体。故事讲述印度王子 Josaphat 被父亲 Abenner 隔离，却因目睹世间苦难而皈依基督教，最终与父亲共治并出家。这个传说最早于 10 世纪出现在格鲁吉亚的 Balavariani 中，词源可追溯至梵语 Bodhisattva。从阿拉伯语版本到波斯语，再到欧…
Inception 发布了 Mercury 2.5，这是目前市场上能力最强的扩散式大语言模型。相比前代，其智能水平提升 40%，推理速度在 NVIDIA GPU 上可达每秒 1107 tokens，同时保持极低延迟和成本。该模型已在搜索代理、语音交互及代码助手等生产环境中验证，显著降低了响应时间并压缩了成本。Mercury 2.5 不仅支持 26 万 token 上下文，还推出了 Mercury…
Copperhead 是一款专为电路板设计的开源 AI 智能体，它像 Cursor 之于代码一样服务于硬件开发。通过基于设计文档的闭环工作流，它能自动编辑 KiCad 文件、更新所有关联文档并执行 ERC/DRC 检查，确保设计始终一致。无论是从产品简报生成新设计，还是迭代现有项目，它都能精准处理变更，避免文档与实物脱节导致的昂贵改版。支持本地 CLI 免费使用，也提供云端协作和企业级自托管方案…
- ▲ 239那些被遗忘的 HTML 古董代码
随着浏览器和设备的不断演变，许多曾经流行的 HTML 代码片段如今已沦为数字遗迹。从用于对抗浏览器战争的 X-UA-Compatible 标签，到试图阻止 Baidu 页面转码的元数据，再到早已过时的 PICS 内容分级系统，这些代码见证了 Web 发展的曲折历程。文章梳理了包括 Internet Explorer 的页面过渡效果、Skype Toolbar 的禁用技巧以及早期 Web App…
- ▲ 198大模型在自适应探索中产生新社会偏见
这项研究揭示了 Large Language Models 在自适应探索过程中，竟然会自发演化出全新的社会偏见。即便初始训练数据经过精心清洗，模型在自主探索环境时，仍可能为了优化目标而习得带有歧视性的行为模式。这一发现挑战了我们对 AI 安全性的认知，表明单纯依赖数据过滤不足以根除偏见，模型自身的探索机制也可能成为偏见的温床。
- ▲ 197CH-53直升机：用放射性物质监测旋翼
CH-53 Sea Stallion直升机在服役期间面临一个棘手问题：如何在飞行中实时检测旋翼叶片上的微小裂纹？早期设计依赖地面检查，但空中突发故障可能导致灾难。工程师最终想出了一个巧妙方案：在叶片压力指示器中嵌入微量放射性锶-90（Strontium-90）。当叶片出现裂纹导致氮气泄漏时，辐射源暴露，机舱内的盖革计数器随即发出警报。这套名为IBIS的系统无需电池或复杂电子元件，仅靠简单的机械与…
Emacs Bedrock 2.0 版本现已发布，为 Emacs 用户带来了全新的体验升级。作为 Emacs 生态中的重要项目，Bedrock 2.0 在性能优化、配置简化以及扩展性方面进行了显著改进。此次更新不仅修复了多个已知问题，还引入了更现代化的开发工作流支持，让开发者能够更高效地构建和部署 Emacs 相关工具。对于长期使用 Emacs 的社区成员来说，这是一个值得关注的里程碑式更新，标…
- ▲ 186AI 代理真的会写测试吗？
我测试了 26 种不同的测试指令和库，包括 TDD、Lean 4、QuickCheck 等，让 AI 代理用 Rust 实现 Zstd。结果令人失望：无论是指令还是技能，代理大多无法有效运用这些技术。它们要么只是把普通测试塞进新框架，要么只做了表面功夫，比如用随机输入测试无关属性。即使有 25 万星的 ECC 技能包，效果也不如默认指令。AI 代理在测试上表现糟糕，似乎根本不懂如何合理测试，这可…
Albanese 政府推出数字责任法案，核心是“My Feed, My Way”计划，让用户能自主决定是否接受算法推荐。16 岁以上用户可选择关闭个性化内容，只看关注的好友和创作者。新规还要求游戏、App 和 AI 聊天机器人保护未成年人，屏蔽饮食失调、仇恨言论等有害内容。eSafety 有权下架 Nudify 应用，违规平台最高面临 1.092 亿澳元罚款。这不是政府接管，而是把控制权交还给用…
- ▲ 18392岁数学家与少年学徒的故事
一位92岁的数学家与一名少年学徒之间，展开了一段跨越年龄与时代的知识传承。在数字时代，这种面对面的师徒关系显得尤为珍贵。文章通过他们的互动，展现了数学思维如何在不同代际间流动，也揭示了教育中常被忽视的耐心与陪伴的力量。没有炫技，没有速成，只有纯粹的求知与分享。
- ▲ 166OpenAI被指在数学难题上手段不端
NYU数学教授Tristan Buckmaster与Anthropic的Levent Alpöge合作，在理论数学重大未解问题上取得突破。然而，争议随之而来：OpenAI被指控在得知他们的进展后，利用海量计算资源抢先发布完整证明。OpenAI承认其最新模型于9月1日启动相关研究，耗资2250万美元，但否认直接窃取成果。Buckmaster质疑，鉴于双方采用了极为罕见的特定技术路径，且OpenAI…
这是一个专为大语言模型设计的注意力机制可视化工具。通过点击或悬停生成的文本，你可以直观地看到模型在生成每个词时，具体参考了哪些历史 token。它揭示了 LLM 为何能精准复制粘贴信息，以及如何处理复杂的语义关联。项目基于 React 和 Transformers.js 构建，作者甚至修改了 ONNX 文件以暴露内部计算数据，让原本黑盒的生成过程变得透明有趣。
- ▲ 139用代码重现拓扑学手绘插图
这是一个将经典拓扑学插图数字化的项目，旨在通过计算机图形学技术重现 Francis、Apéry 和 Hilbert–Cohn-Vossen 等大师的中世纪手绘风格。项目利用 JavaScript 和 GPU 渲染，将数学曲面转化为由笔触构成的线条画，而非传统的像素。技术细节包括基于主曲率线的排线（Hatching）、模拟毛笔的笔触宽度变化、以及处理隐藏线的虚线效果。通过 Bryant–Kusne…
FreeBSD 14.5-RELEASE 正式亮相，作为 stable/14 分支的第六次发布，本次更新不再追求新功能，而是专注于维护工作。自 14.4 版本以来，主要变更集中在漏洞修复、驱动程序更新以及外部维护软件的版本升级。该版本支持包括 amd64、i386、aarch64、riscv64 在内的多种架构，并提供 ISO 镜像、USB 启动盘及预装虚拟机镜像。此外，FreeBSD 14.5…
在构建 Plush 语言解释器和虚拟机的过程中，我发现原本使用的 Rust 标记枚举虽然方便，却因内存对齐问题导致每个值占用128位，造成大量内存浪费。为了解决这个问题，我和 Claude 共同设计了一套高效的低位标记方案，将 Value 类型压缩到64位。通过利用地址对齐特性窃取低位作为标签，并针对整数和浮点数设计特殊的编码方式，我们不仅大幅降低了内存占用，还意外地让解释器整体速度提升了17%…
美国公路文化常被批评为单调乏味，但摄影师 John Margolies 却用四十年的时光，记录了路边那些充满手作美感的独特建筑与招牌。从模仿鲸鱼造型的洗车店到巨大的恐龙雕像，他捕捉了这些即将被连锁化和现代化交通遗忘的 vernacular architecture。如今，Library of Congress 已收购其全部档案并开放版权，让这 11710 张色彩幻灯片成为探索北美路边奇景的珍贵窗…
最新的 PISA 2025 数据显示，OECD 成员国学生的阅读和数学能力出现了显著下降。这一趋势并非个别国家的孤立现象，而是跨越多个发达经济体的普遍挑战。报告指出，这种能力的衰退可能预示着未来劳动力市场在基础技能储备上的潜在危机。教育政策制定者需要重新审视当前的教学策略，以应对这一全球性的教育质量下滑趋势，确保下一代具备应对复杂世界所需的核心素养。
- ▲ 126Nats系统故障致英国百架航班取消
英国空中交通管制提供商 Nats 遭遇严重系统故障，导致数百架航班取消或备降，Heathrow 机场甚至因停机位饱和而停止接收进港航班。受困乘客中，有人穿着婚纱在 Gatwick 机场等待婚礼航班，有人在 Heathrow 停机坪上被迫享用 British Airways 的餐食却无法下机。尽管 Nats 声称问题已解决，但积压的航班和错位的机组人员将导致混乱持续数小时。从 Dublin 到苏格…
- ▲ 12110种模型组合Three.js任务实测
我最近在/goal模式下，用同一个Three.js科幻机库构建任务，测试了10种不同的模型与harness组合。任务要求生成包含悬停无人机、动画警示灯和体积雾效的单页HTML文件。从GLM 5.3 Flash Max到Qwen 3.8 27B x-high，配合Codex、OMP、OpenCode及DSH等工具，我记录了生成时间、Token消耗、成功率及工具错误等关键指标。数据揭示了不同组合在效…
TauricResearch 开源了 TradingAgents，这是一个模拟真实交易公司运作的多智能体 LLM 金融交易框架。系统部署了基本面分析师、情绪专家、技术分析师、交易员及风控团队等多个专用智能体，通过动态讨论与结构化辩论来评估市场并制定交易决策。框架基于 LangGraph 构建，支持 OpenAI、Google、Anthropic、DeepSeek、Qwen 等主流 LLM 提供商…
- ▲ 112LG电视正在窃听你，立即断网
即使你使用Apple TV机顶盒，LG电视依然可能在后台收集你的隐私数据。Gamers Nexus的最新调查揭露，LG智能电视不仅通过ACR技术记录观看习惯，还能在待机状态下通过麦克风录制对话，甚至扫描你的本地网络。测试发现，电视会将包含敏感信息的语音转录为明文并上传至LG Ad Solutions。更严重的是，webOS系统的漏洞使得攻击者可能远程获取这些音频数据。唯一的防护手段是彻底拔掉网线…
从纽约到加州，美国多地执法机构正对 Meta 智能眼镜发出警报。警方担心这款外观酷似 Ray-Ban 的眼镜被囚犯或嫌疑人利用，在拘留所内秘密拍摄，甚至用于恐怖袭击前的侦察。NYPD 等机构已发布备忘录，要求严格检查囚犯佩戴的眼镜。尽管 Meta 坚称其设备带有无法关闭的录制指示灯，但隐私专家 Ryan Shapiro 指出，执法部门似乎只想垄断监控权，一旦公众能反向记录，便被视作安全威胁。这种…
GamersNexus 发布视频指控 LG 智能电视存在严重隐私漏洞，称其可被用作窃听设备。视频展示了电视日志中记录敏感信息的画面，并声称 LG 能扫描局域网内的所有设备。然而，作者指出这些演示大多基于已 Root 的设备，且由于通信加密，Wireshark 抓包无法证实数据是否真的被上传。虽然 LG 的 ad tech 和 ACR 技术确实令人担忧，但视频中的许多指控缺乏确凿证据，更多是假设而…
作为ZX Spectrum系列探索的一部分，我尝试在仅支持1位输出的蜂鸣器上实现多声道音效，目标是播放和弦。受之前在Apple II和IBM PC上的经验启发，我复现了1位PCM播放并尝试了PWM技术，虽然PWM在Spectrum上未能如愿，但多声道混音和琶音效果取得了进展。文章详细记录了在Z80处理器上进行精确周期计数的挑战，包括如何编写循环来等待特定周期数以控制音频输出。尽管1位PCM的音质…
Herdr 已拥有 70 万次下载和近 1000 个插件，但过去管理多台机器上的 Agent 仍需在不同终端标签间切换。随着 0.9 版本发布，我们终于实现了跨机器连接。现在，你可以通过 SSH 将远程服务器、VPS 或本地 Mac mini 统一集成到同一个 Herdr TUI 界面中，无需为每个机器单独运行客户端。Agent 在后台持续运行，而你的笔记本只需作为控制端。这标志着 Herdr…
Google DeepMind 发布了 AlphaGenome Atlas，这是一项涵盖人类基因组中 90 亿个单核苷酸变异预测的庞大资源。该平台通过预计算 AlphaGenome 模型的预测结果，为研究人员提供了前所未有的全基因组视角，帮助快速定位和解读基因突变对分子生物学的影响。结合新推出的 AlphaGenome Variant Impact (AVI) 评分系统，科学家能够高效筛选关键变…
Arm 推出了首款 AI 原生 GPU——Mali G2-Ultra NX，旨在突破移动设备的性能瓶颈。这款芯片将神经加速器直接集成到着色器核心中，通过 Neural Super Sampling（NSS）、Neural Frame Rate Upscaling（NFRU）等三项关键技术，在降低功耗和内存带宽的同时，实现桌面级的视觉保真度。配合全新的执行引擎和第三代光线追踪单元，Mali G2-…
Y Combinator 推出名为 Early Access Network 的邀请制社群，专为资深技术领袖打造。该网络每年四次在 San Francisco 等地举办活动，将 YC 精选的 enterprise-AI 创始人与真正能推动试点的买家直接对接。成员不仅是 YC 合伙人挑选的同行技术高管，更能跳过销售团队，直接与创始人会面，通过实际试点共同塑造产品路线图。2026 年秋季活动定于 1…
- ▲ 80C*：让C语言编程与验证合二为一
系统软件的安全至关重要，但传统验证工具往往将程序员拒之门外，导致开发和维护成本居高不下。C* 项目试图打破这一僵局，它通过扩展 C 语言，将验证能力直接融入编程环境。借助符号执行引擎和 LCF 风格的证明内核，程序员可以在编写代码的同时嵌入证明逻辑块，实现实时验证。这种设计让 C 语言成为实现代码与证明代码的统一载体，支持构建可复用的逻辑定义库和自动化证明工具。原型测试表明，C* 不仅能处理常见…
随着 Claude Code 和 Instinct 等 Agent 从本地迁移至手机端，其背后的运行环境发生了根本变化。Claude Code 使用 Firecracker 微虚拟机，将控制代理直接植入 VM 内部，通过 vsock 与宿主机通信，实现秒级启动与持久化存储。而 Instinct 则租用 E2B 沙盒，采用完整的 Ubuntu 系统，将 Agent 的记忆设计为存储在 S3 上的…
Applied Compute 推出了 AC2，这是一个专为研究人员打造的 Agent Cloud，提供从模型训练、推理到持续学习的全流程基础设施。你无需手动配置繁琐环境，只需将特定提示词交给 Claude Code、Cursor 或 Codex 等编码代理，它们就能自动安装 CLI、完成登录并配置 AC2 MCP 服务器，带你快速启动首个项目。平台核心包含 ac2.sdk 用于管理数据集与任务…
Martin Uecker 深入解析了 GCC 嵌套函数的底层实现机制。与传统的栈帧指针不同，GCC 将父函数中被访问的变量打包成一个合成结构体，并通过隐藏参数传递给嵌套函数。这种设计不仅解耦了编译器逻辑，还能被通用优化器高效处理。文章进一步对比了 C++ Lambda 的实现，指出两者在语义上高度相似，但在多嵌套场景下，GCC 共享单一环境结构体，而 C++ 则为每个 Lambda 生成独立对…
- ▲ 74CPU为何越跑越慢？内存架构揭秘
内存并非单一组件，而是由多种技术构成的层级结构。随着CPU频率飙升，主内存的访问延迟成为系统瓶颈，导致处理器大量时间处于等待状态。为了解决这一矛盾，Cache缓存应运而生，作为处理器与主内存之间的高速中间层。文章深入解析了内存的Width与Depth结构、SIMM与DIMM等物理形态的演变，并巧妙借用17世纪步兵的Volley Fire战术，生动解释了Memory Interleaving如何通…
- ▲ 74AI 不仅是预测，更是决策引擎
Joshua Gans 在《The Microeconomics of Artificial Intelligence》中提出，AI 的核心价值不在于自动化，而在于提升决策效率。他将 AI 定义为一种预测技术，深入剖析了预测在企业和行业层面的供需机制、定价策略及市场结构影响。书中详细探讨了从数据生成到反垄断、隐私保护等政策权衡，揭示了 AI 如何通过优化预测能力重塑微观经济逻辑，为理解 AI 的…
刚下载了一个3D角色.glb文件，想在Bevy里跑起来，却发现官方示例让人一头雾水？这篇文章是我几周前摸索Bevy动画系统时最需要的指南。我将从最基础的直觉出发，一步步构建对Bevy动画机制的理解模型，再带你拆解官方Animated Mesh示例，解释每个步骤背后的逻辑。无论是AnimationPlayer如何控制模型，还是AnimationGraph如何存储和组合动画，都会用清晰的结构和图示帮…
Lake America 这一案例揭示了一个令人不安的现实：美国科技公司在数据隐私和透明度方面存在严重缺陷。文章深入分析了这些企业如何利用用户数据牟利，却在关键问题上避而不谈。从数据泄露到算法偏见，问题层出不穷。读者将看到，信任危机并非偶然，而是系统性问题的必然结果。这不仅是对科技行业的警示，更是对普通用户的一次深刻提醒：在数字时代，我们是否真的掌握了自己的数据命运？
- ▲ 69设计师的诅咒：失望的乐观主义者
每次演讲后，总有人问我如何让他人按“正确”方式行事。真相是，所有设计本质上都是行为改变，而设计师往往陷入一个无解的“诅咒问题”：既想创造美好世界，又需为追求股东价值的公司打工。Lenny Rachitsky 和 Noam Segal 的最新调查显示，设计师正处于职业倦怠的中心，他们不愿劝新人入行，因为 AI 降低了产出门槛却未提升质量上限。面对这种结构性矛盾，我们要么离开，要么在内部通过“软抵抗…
我尝试利用 jacobian space（J Space）将 LLM 的中间激活转化为文本，进而反向推导出通用的 activation steering vector。实验基于 Qwen3-1.7B 模型，我发现对于“全大写输出”等简单行为，通过 J lens 反转概念 token 确实能有效提取出 steering vector，且与基线结果高度吻合。然而，在处理“拒绝回答”等复杂行为时，仅靠…
我决定重印《Professor Mmaa's Lecture》这本关于白蚁视角的奇书。作为从未出过书的游戏开发者，我利用对版权法的了解，借助 Authors Guild 的模型合同和 Claude 的辅助，重新起草了出版协议。在文本处理上，我放弃了 Internet Archive 的扫描版，转而使用 Bound Book Scanning 获取 1953 年版，并让 Claude 清理 OCR…
Jane Street 最近发布了一个逆向工程 ASIC 芯片的谜题，我和朋友 Leander 决定一起挑战。我们的目标是从 GDS 文件入手，解析芯片布局，还原其电路逻辑。通过识别 SkyWater 130 nm 工艺的标准单元库，我们逐步理解了晶体管、逻辑门和触发器的连接方式。虽然 GDS 文件本身只是几何图形，但结合工艺设计套件（PDK）文档，我们可以推断出每个单元的功能。最终，我们将整个…
我们推出了OUI-1，这是全球首个专为生成式UI设计的开源模型。基于DiffusionGemma微调，它在Generative UI Benchmark上取得了71.7%的得分，性能是基座的5.5倍。OUI-1仅需40亿活跃参数，即可在消费级显卡（如RTX 5090）上本地运行，解决了以往依赖云端专用硬件的痛点。通过监督微调和自蒸馏技术，我们不仅大幅提升了生成界面的可靠性，还保持了毫秒级的响应速…
np.add 可能是全球执行次数最多的数值 Python 代码行之一。大多数人认为它只是用 C 语言快速相加数组，但这背后隐藏着复杂的机制。本文将带你从 Python 入口点一路追踪到 SIMD 内核，拆解 NumPy 2.5.2 的源码。我们将探索 ufunc 对象如何解析参数、检查 __array_ufunc__ 覆盖、进行类型提升与分发，最终选择正确的内循环。无论是简单的平凡循环还是复杂的…
- ▲ 53袋狼头骨揭示其咬合力独一无二
袋狼（Thylacine）因外形酷似狼而被殖民者误认为家畜杀手，最终在百年前灭绝。但最新研究通过头骨分析发现，袋狼的咬合机制与任何现存哺乳动物都不同。它们拥有巨大的头骨和细长的吻部，这种结构并非为了制服大型猎物，而是为了像鳄鱼一样快速捕捉小型敏捷动物。这一发现推翻了袋狼是“有袋类狼”的旧认知，揭示了其独特的生态位。研究还指出，袋狼与袋鼠的亲缘关系比与狗更近，其灭绝更多源于人类误解而非真实的捕食威…
- ▲ 52合伙人用AI生成5K代码却未测试
我的合伙人用AI在一天内完成了整个支付后端模块，生成了5236行代码的PR，却从未亲自测试。他完全依赖AI，甚至没看懂文档里关于API密钥和错误码的缺失。我特意提醒过他警惕AI导致认知能力下降，但他自信满满。结果代码根本无法运行，连基本的接口都没跑通。这让我意识到，过度依赖AI就像长期卧床导致肌肉萎缩，大脑也会因此退化。曾经热爱编程的我们，如今可能正走向消亡。
Colorlight 5A-75B 本是一块用于 LED 显示屏的接收卡，却意外成了硬件爱好者的宠儿。这块板子搭载了 Lattice ECP5 FPGA，价格仅 20-25 美元，却配备了双千兆以太网接口和 16Mbit SDRAM。得益于 q3k 等人的逆向工程，它现在完全支持 Yosys 开源工具链。只需焊接一个 JTAG 接口，你就能用 Bus Pirate 等开源工具上传自己的 bits…
AlphaGeo 最新报告利用 CRRI 指数分析了全球 72 座特大城市，揭示了一个关键结论：地理并非命运。芝加哥、巴黎等欧美城市凭借低物理风险与强适应能力稳居韧性榜首；而南亚的 Ahmedabad、Dhaka 等地则面临物理暴露与适应滞后的双重危机。报告特别指出，北京、上海等中国超大城市在适应效率上表现卓越，成功将高物理风险转化为较低的残余风险。对于投资者和政策制定者而言，理解物理风险与适应…
在信息过载的数字时代，法国开展了一项覆盖全国243所高中、近万名学生的大规模随机对照试验。研究测试了两种干预措施：提供主流报纸一年的免费数字订阅，以及由教师实施的媒体素养教育模块。结果显示，免费订阅不仅大幅提升了学生的新闻阅读量，更在干预结束近一年后，让付费订阅率提升了8个百分点。更令人振奋的是，这项举措显著缩小了弱势学校学生的信息鸿沟，将基础信息不平等减少了45%至70%。无论是免费获取新闻还…
- ▲ 44函数参数为何不是函数颜色
网上常有人争论，像 Go 语言中的 context.Context 这样的参数是否也算作函数的“颜色”。作者认为，真正的“颜色”意味着底层函数的任何属性变更，都会强制性地、不可逃避地波及整个调用栈上的所有上层函数。而普通参数变更通常能被中间层封装，不会一路传导至顶层。文章通过对比依赖图形状，指出颜色变更具有非局部性，打破了结构化编程的封装优势。以 Haskell 的 STM 为例，展示了部分颜色…
- ▲ 42LG 智能电视的“农民起义”屏保
LG 等广告技术公司认为它们拥有电视屏幕的控制权，通过 ACR 技术持续分析屏幕内容。weowntheglass.com 项目则用历史名画作为屏保，提醒这些科技巨头谁才是真正的主人。这些画面展示的是历史上民众反抗压迫的场景，如 Käthe Kollwitz 的《Losbruch》和法国大革命时期的作品。项目强调不鼓励暴力，而是通过艺术表达警示：当上层阶级过度压榨时，历史曾反复上演反抗。用户只需将…
GrapheneOS 刚刚宣布与 Motorola 达成合作，将推出搭载定制 Android 系统的手机。但作为长期关注隐私安全的用户，我对此并不感到兴奋，反而充满了疑问和担忧。这次合作是否真的能带来预期的安全提升？还是说，这背后隐藏着更大的妥协？在 Switched To Linux 的播客中，我详细剖析了这次合作可能带来的风险，以及为什么这种看似完美的结合，未必是隐私保护的最佳方案。
- ▲ 33不备僵尸末日，我们只防断水断电
读了 Dave 关于备灾的文章后，我反思了自家的应对策略。我们并不像 Reddit 上许多预演者那样为丧尸末日或社会崩溃做准备，而是专注于 Richmond 地区实际可能发生的威胁，比如频繁的水务中断和停电。我们的核心策略是就地避难，因为所有物资都在家中。针对水务问题，我们储备了 35 加仑饮用水和 25 加仑非饮用水，并配备了 Camp toilet 以应对冲厕难题。对于停电，特别是考虑到我需…
- ▲ 31选择太多，为何反而让你痛苦？
几个月前，一项 2010 年的 Harvard 研究让我停下刷 X 的手：当思绪游离时，幸福感会下降。这让我联想到如今 Tech 圈普遍存在的困境：过多的 Optionality（选择权）正在折磨那些高潜力人才。我们时刻在 LinkedIn 上比较薪资，在 Twitter 上幻想职业转型，却因此无法全心投入当下的工作。这种对“更好选项”的无限追逐，让我们永远无法享受现有的成就。真正的职业满足感，…
现在几乎所有东西都是免费的，这让人不禁思考：为什么不在你的 IDE 中间放一个悬浮球作为屏保呢？这是我亲手打造的定制 IDE，集成了 agents 和 terminals 等所有功能。对于 agents 来说，composer 能够完美配合我的自定义快捷键，体验就像使用普通编辑器一样流畅。界面的左右两侧相对静态，而中间区域则是动态的核心。盯着它看虽然毫无用处，却异常令人上瘾。因此，我决定在那里加…
Brown University 的研究团队训练机器人手写日文，结果它仅凭观察示例，就能模仿从未见过的印地语、希腊语甚至英语手写体，连儿童潦草的字迹和《蒙娜丽莎》草图都能精准复刻。这项突破展示了机器视觉在理解笔画逻辑上的惊人泛化能力，让机器人从单纯执行指令进化为能‘看懂’并模仿人类书写习惯的智能体。虽然对从右向左书写的语言仍有挑战，但这标志着人机交互向更自然、更富有人情味的方向迈出了关键一步。
阿联酋 Ras Al Khaimah 的 Falcons AI 推出了一款 NSFW 图像分类模型，在 Hugging Face 平台上短短 28 天内下载量突破 5080 万次，位列全球开源模型第六。相比之下，近期备受瞩目的 Deepseek 同期下载量仅为 370 万次。这款基于 Fine-Tuned Vision Transformer 架构的模型，凭借 Apache 2.0 开源协议和精…
DriveSync是一款用Rust编写的高性能命令行工具，专为开发者打造，能像Git一样高效同步本地文件夹与Google Drive。它支持推送本地变更、拉取远程更新或快速查看差异，全程无需删除任何文件，且对冲突处理极为谨慎。通过OAuth授权，用户可安全管理凭证，享受多线程并行传输与智能缓存带来的极速体验。无论是备份关键数据还是管理项目文件，DriveSync都能让Google Drive同步…
两年前，我着手更新 LogiCola，旨在保留 Professor Gensler 的遗产，同时让逻辑训练适配 Chromebook 和移动设备。新版 LogiCola 3 通过逆向工程 2008 年的原版程序，找回了被现代设计抽离的“灵魂”。我重新引入了无限翻译练习和“掌握学习”机制，并复刻了原版独特的色彩生成算法与像素化设计语言。从 InvertRect 函数计算的互补色，到像素风格的图标，…
在斯坦福大学的讲座中，Andrew Ng 发出明确警告：Prompting 将在 6 个月内走向终结。他认为 Prompt Engineering 已触及天花板，简单的指令块难以应对复杂的多步骤任务。未来的开发模式将转向 Execution Graphs，开发者不再需要手动调整冗长的提示词，而是将模型编织进执行图中。在这种架构下，Agents 能够自动编写代码、读取终端输出并自我修正错误，在无需…
NYC MapTap是一款专为纽约市设计的互动学习工具，帮助用户熟悉各个街区及其地铁线路。通过游戏化的方式，用户可以在地图上定位SoHo、Lower Manhattan等知名区域，并在迷路时查看附近的subway routes。无论是新移民还是游客，都能轻松掌握NYC的地理布局，让城市探索变得更加有趣和高效。
捡到一根羽毛却不知来自哪种鸟？美国鱼类及野生动物管理局推出的 Feather Atlas 工具能帮你轻松破解谜题。你只需根据羽毛的花纹、颜色、大小（从 SMALL 到 HUGE 四档）以及在鸟身上的位置（如 Primary Wing Feathers 或 Rectrices）进行筛选。如果大致知道鸟类类型，还可以进一步限定搜索范围，比如 Waterfowl、Owls 或 Songbirds 等。…
aispace 是一个专为 AI 代理和人类设计的临时文件共享工具，提供可脚本化的 CLI 和 agent skill。它支持过期链接、可预测的 JSON 输出以及可选的本地 age 加密，确保文件传输既安全又高效。无论是上传大型输出还是结构化数据，aispace 都能通过稳定的退出码和流式上传实现自动化。其设计强调短生命周期，支持文件过期、链接撤销和下载限制，同时提供认证账户交接和本地 X25…
anystation 是一个无需注册账号的公共留言板，其数据结构呈现为树状。最独特之处在于它支持通过几乎任何网络协议进行发帖：除了常规的 HTTP/HTTPS，你还能通过 SSH、电子邮件、打印机端口（9100）、UDP/TCP 原始套接字，甚至利用 ICMP 的 ping 命令或 DNS 查询来发送消息。系统承诺仅存储和展示内容，绝不转发任何数据。每个帖子都有唯一的地址，支持通过 URL 路径…