Hacker News Digest
· 34 黑客新闻
- ▲ 1123Kimi K3 上线：专为智能体编程而生
Kimi 刚刚推出了全新的 K3 模型，这次它不再只是简单的问答工具，而是专为 Agentic Coding 和知识工作打造的强力引擎。无论是复杂的代码生成任务，还是深度研究、文档分析，K3 都能通过 Swarm 智能体协同高效完成。它支持从 Slides 到 Sheets 的全流程办公场景，让 AI 真正融入你的工作流。如果你一直在寻找能自主规划任务、处理复杂逻辑的 AI 助手，K3 或许就是…
- ▲ 534OnePlus 宣布退出欧美市场
OnePlus 官方正式宣布，作为全球战略调整的一部分，将停止在欧洲和北美地区推出新产品。虽然不再发布新机，但现有设备仍会获得原定的软件更新、安全补丁及售后服务支持，保修权益不受影响。未来，符合条件的用户可选择将系统升级至 ColorOS，也可继续保留 OxygenOS。这一决定让许多老用户感到不舍，毕竟这里曾是大家分享创意、交流技术的温暖社区。尽管告别了欧美市场，OnePlus 在印度等地的业…
今天，我们激动地宣布 Microsoft Comic Chat 正式开源。这款将 IRC 聊天自动转化为漫画分镜的传奇软件，正是让 Comic Sans 字体风靡全球的幕后功臣。早在 1996 年，David Kurlander 团队就大胆尝试用漫画气泡和角色表情来呈现对话，让枯燥的文字聊天变得生动有趣。如今，这段充满互联网早期乐观精神的代码已在 GitHub 上公开，不仅保留了原汁原味的 Vi…
过去一年半，我们团队将 Roc 编译器从 30 万行 Rust 代码重写为 Zig，终于实现了功能对等！这次重写不仅让 Rocci Bird 游戏的二进制体积减半，还带来了热代码加载和零堆内存分配的字符串插值模式匹配等特性。虽然耗时 487 天远超 Bun 项目的 11 天，但这次彻底重构解决了原有架构的深层缺陷，为 Roc 语言的性能和开发体验打开了新大门。
Mixfont 推出了一款名为 Decoy Font 的 TTF 字体，利用混合图像技术，让同一字符在不同距离下呈现完全不同的内容。当你近距离查看时，看到的是干扰性的假文字；而稍微拉远屏幕或眯起眼睛，真正的隐藏信息才会浮现。这种基于空间频率的视觉错觉，能有效欺骗 ChatGPT、Gemini 3.5 等主流 LLM，使其无法正确识别截图中的真实文本。虽然它不能保证 100% 安全，但作为对抗 A…
Google 宣布将 NotebookLM 正式更名为 Gemini Notebook，这不仅仅是换个名字，而是标志着它深度融入 Google 生态系统的开始。作为独立产品，它现在拥有了更强大的能力：每个笔记本都配备了一个安全的云端计算机，支持直接在笔记中编写和执行代码，从而进行更复杂的数据分析。这一功能将逐步向所有 Pro 用户开放。此外，你的笔记现在可以在 Gemini app 和 Goog…
- ▲ 180我认同LLM批评者，却依然在用
我几乎认同所有关于LLM的批评：它们产生大量垃圾内容、破坏开源生态、让初级工程师失去成长机会，甚至可能因地缘政治被随时切断。在Local-First Conf上，连Armin Ronacher这样的资深工程师都在自动关闭LLM提交的PR，却仍有人偷偷用Claude Code。这种认知失调并非我独有。尽管LLM存在版权、环境和伦理问题，但它们已无法被忽视。本地运行模型、开放权重模型让我们能摆脱大公…
- ▲ 162告别枯燥公式，这本交互式线性代数书太酷了
还在对着枯燥的公式死磕线性代数吗？Immersive Math 推出的这本交互式教材彻底改变了学习体验。它不再只是静态的文字堆砌，而是通过动态的交互式图表，让你亲手拖拽向量、观察矩阵变换，直观感受数学背后的几何美感。从基础的向量加减到复杂的特征值与特征向量，每一章都设计了生动的可视化演示。无论是想巩固基础的学生，还是希望重拾数学直觉的开发者，这本书都能让你真正“看见”线性代数的魅力，让抽象概念瞬…
- ▲ 151用古典机器学习抓出LLM生成的网文
我受够了Lofter上泛滥的低质AI同人小说，决定自己动手写个检测器。尝试过text perplexity但效果拉胯，最后回归scikit-learn，用TF-IDF配合LinearSVC，竟在单句检测上达到了85%的准确率。为了训练数据，我甚至“钻空子”调用了Gemini、Qwen、GLM-5等七个模型的API，生成了海量样本。结果证明，那些所谓的AI检测器背后，可能只是简单的传统机器学习在起…
美国国家海洋和大气管理局（NOAA）空间天气预测中心发布紧急通报，GOES-19 气象卫星已意外进入 Safe Hold 模式。这意味着卫星为保护自身系统而暂停了部分或全部科学观测任务。目前，NOAA 卫星与产品运营办公室（OSPO）正在密切监控情况，相关最新进展将实时更新在其官网。作为监测太阳活动和地球空间环境的关键设备，GOES-19 的暂时停摆可能对空间天气预报、极光观测以及相关的电力、G…
LM Studio 迎来重大升级，推出专为开源模型打造的 AI 代理 LM Studio Bionic。它不仅能处理编程、研究和复杂文档任务，还支持本地与云端灵活切换，确保隐私与成本可控。Bionic 承诺零数据保留，绝不训练用户数据。内置离线语音转录功能，搭载 Mistral AI 的 Voxtral 模型，实现本地实时转写。无论是代码调试、文档生成还是幻灯片制作，Bionic 都能在沙盒环境…
我的 MINI Countryman 昨晚自动推送了 03/2026.54 版本更新，结果直接让 Android Auto 彻底瘫痪，连 CarPlay 也没能幸免。这不仅是我的个例，更是现代软件质量崩塌的铁证。作者痛斥科技圈盲目推崇的“两周冲刺”开发模式，认为这种“先发布后修复”的毒药让工程师沦为测试员，让用户体验一落千丈。文章还犀利指出，所谓的 Cyber Essentials Plus 合…
我们搭建了一个自动化系统，给 Claude Fable 5 和 GPT-5.6 Sol 各 100 美元预算，看它们如何独立制作音乐视频。模型需自主研究工具、生成素材、剪辑并输出成片。结果令人深思：两者都难以保持角色和故事连贯，且对歌词理解过于字面化。GPT-5.6 Sol 在低预算下展现了更富创意的剪辑手法，而 Claude Fable 5 则更倾向于稳定输出。这场实验揭示了当前前沿模型在长周…
谁说训练Gen AI模型必须依赖昂贵的GPU集群？我用一台老旧的Linux桌面电脑，仅凭6GB显存，成功训练出了一个Kick Drum Diffusion模型。这篇文章记录了从环境搭建到模型收敛的全过程，展示了如何在资源受限的条件下，利用开源工具链完成高质量的音频生成任务。这不仅是一次技术实践，更是对‘算力霸权’的一次有力回击，证明创意和技巧往往比硬件更重要。
想真正搞懂数据科学，光会调包可不够。这本由Afonso S. Bandeira、Amit Singer和Thomas Strohmer联手打造的新书，直接撕开了数据科学华丽外衣下的数学内核。从High Dimensions的诅咒与惊喜，到SVD、PCA、Linear Regression等经典算法，再到Deep Learning的数学入门，内容覆盖极广。书中还深入探讨了Graph Laplaci…
clx 是一个跨平台的 Lua 即时编译器与运行时，利用 C++20 后端将 Lua 代码直接编译为独立的本地可执行文件。它摒弃了传统的字节码解释器开销，带来可预测的运行时性能和极速启动体验。通过集成现代 C++ 工具链，clx 能生成体积极小的二进制文件，同时支持 Lua 5.5 标准特性。无论是开发桌面应用还是高性能脚本，它都能提供强大的优化能力和便捷的部署方案。
我大胆推测，只要你在互联网上留下足够多的文字，无论使用多少个化名，都能通过独特的写作风格指纹被关联起来。这并非科幻，而是统计学和LLM技术发展的必然结果。哪怕你刻意改变语气或话题，只要写作量达到一定程度，那些隐藏在标点、用词习惯中的'比特'信息就会泄露你的真实身份。从29比特的信息论阈值来看，匿名写作在信息爆炸的时代已难以为继，一场针对所有高带宽交互的'泛匿名末日'（Pseudpocalypse…
- ▲ 67你的经期追踪App正在泄露隐私
Mozilla Foundation对Flo、Clue、Stardust等六款热门经期追踪App进行了深度隐私调查。结果显示，部分应用如Stardust将用户的怀孕状态、避孕方式等敏感健康数据共享给RudderStack等第三方，而Spot On在跳转至Planned Parenthood网站时也会泄露用户正在寻求的医疗服务类型。虽然Flo和Clue在透明度上表现较好，但仍将大量数据存储在云端。…
- ▲ 56宜居带岩石行星正在流失氦气
天文学家在邻近的宜居带中发现了一颗岩石系外行星，它正在经历一场壮观的“大气逃逸”现象。观测数据显示，这颗行星正在向太空持续释放氦气，形成了一道独特的尾迹。这一发现不仅揭示了行星大气层演化的关键过程，也让我们对宜居带内行星的长期稳定性有了全新的认识。氦气的流失可能意味着该行星正面临严峻的环境挑战，甚至可能影响其孕育生命的能力。这项研究为理解类地行星的命运提供了宝贵线索，也提醒我们，宜居带内的世界并…
过去十年黑胶唱盘一直是实体音乐复兴的绝对主角，但2026年上半年的数据却带来了惊人反转：CD销量激增16%至1630万张，完胜黑胶仅2.4%的微弱增长。虽然BTS的爆款专辑ARIRANG功不可没，但即便剔除K-pop因素，CD销量依然逆势上扬。Luminate报告指出，Z世代对90年代及更早音乐的怀旧热潮正在推动实体唱片回归，CD已不再是过时的 relic，而是兼具收藏价值与粉丝周边属性的新宠。…
- ▲ 44一本搞定强化学习：从基础到PPO
这本《The Little Book of Reinforcement Learning》是我在2021年写下的强化学习入门指南，旨在用最精炼的方式带你从基础概念直达实战算法。书中不仅涵盖了从蒙特卡洛方法到PPO的核心算法，还在GitHub仓库中提供了基于Pytorch的完整代码实现。此外，我还专门整理了动态规划算法的详细证明和补充材料，让理论不再晦涩。这本书采用CC BY-SA 4.0非商业许…
在 Gleam 中，我们常为同步、异步或可能失败的场景重复编写相似的业务逻辑。本文展示了如何利用 Continuations 将业务逻辑与计算效果彻底解耦。通过定义一个通用的 task 函数，我们可以让 fetch 操作灵活适配 Result、Promise 或混合场景，而无需修改核心代码。这种模式不仅减少了代码重复，还让 Runner 能够自由决定如何处理数据获取的细节。无论是构建可靠的后端服…
- ▲ 30刚果盆地惊现新猴种Likweli
过去75年里，科学家仅在非洲发现过5种新猴类，而最新成员Likweli刚刚现身刚果民主共和国的茂密雨林。这个由Yale大学等机构组成的国际团队，通过形态特征、基因数据和叫声分析，确认了Colobus congoensis是一个独立物种。这种体型小巧、面部带有橙奶油色斑块的猴子，常年隐匿在Lomami National Park的高树冠层，连当地居民都知之甚少。研究人员耗时十年，跨越数千公里才捕捉…
Mojibake是一款专为C11和C++17打造的高性能Unicode 17.0文本处理库。它无需安装任何运行时或依赖项，仅需两个文件即可集成到项目中。该库完美支持文本归一化、大小写转换、双向文本处理、表情符号分析及安全检测等核心功能，并通过了官方Unicode测试套件。无论是嵌入式开发还是系统级应用，Mojibake都能提供标准合规、轻量且极速的文本处理方案。
零样本强化学习（Zero RL）无需人类标注数据就能激发思维链推理，但以往受限于算力，研究多集中在小模型上。我们首次将这一范式扩展到万亿参数规模，发现简单粗暴的扩展会导致可读性差和冗余。通过引入截断重要性采样等优化，Ring-Zero 不仅验证了扩展的“苦涩教训”，更让模型自发涌现出拟人化、自我验证和并行推理等高级认知行为。在七大数学基准测试中，Ring-2.5-1T-Zero 表现强劲，且其推…
扫描老照片时，系统默认记录的是扫描日期而非拍摄日期，导致回忆错乱。Timeline Scan 利用 AI 技术，通过分析照片背面的手写笔记、打印时间戳、人物年龄以及服装风格等线索，精准还原每张照片的真实拍摄时间。它支持 JPEG 和 TIFF 格式，无需信用卡即可免费试用 50 张照片。处理后的照片可直接同步到 Google Photos、Apple Photos 或 Immich，也可下载为按…
我们是 Traceforce 的创始人 Xia 和 Varun。在 Clumio 任职期间，我们深刻体会到企业急需在不拖慢员工效率的前提下，监控 AI 工具的使用情况。Traceforce 应运而生，它能在笔记本电脑、沙箱和虚拟机上，直接提供对 ChatGPT、Claude 等 AI 应用的可见性和控制权。通过轻量级二进制文件和浏览器扩展，我们能在 30 分钟内让设备上传实时数据，帮助安全团队在…
Solod 是一个 Go 的严格子集，能将代码直接编译为 C11，同时保留 Go 的语法糖和工具链。它没有垃圾回收，默认栈分配，支持结构体、方法、接口和 defer，还能无缝调用 C 代码。对于想要系统级控制又不想学新语言的 Go 开发者，或者喜欢 Go 安全性与工具链的 C 程序员来说，Solod 是个理想选择。目前项目处于 v0.3 开发阶段，已支持网络、WebAssembly 和独立模式，…
Libretto PR agents 专为 Playwright 自动化测试打造，能在脚本运行失败时自动介入。它深入分析实时页面状态，精准定位问题根源，并直接提交包含修复代码的 GitHub 拉取请求。你无需更换现有运行时或浏览器提供商，只需集成 libretto-playwright-debugger 即可开启智能修复循环。无论是本地还是云端部署，它都能无缝融入你的工作流，让自动化测试从‘报错…
FortiSandbox 爆出一个无需认证的 OS 命令注入漏洞 CVE-2026-25089，CVSS 评分高达 9.8，且已被黑客在野外积极利用。CISA 已将其列入 KEV 目录，并给相关机构设定了 7 月 19 日的修复死线。这是 2026 年内 FortiSandbox 遭遇的第三个被利用漏洞，前两个分别在 4 月和 6 月被披露。由于 FortiGate、FortiMail 等核心产…
在 Modal，我们深知 Agents 正在重塑软件格局，但现有的容器平台根本无法应对这种爆发式增长。面对 Reinforcement Learning 和背景代理对海量并发沙盒的极致需求，我们决定推倒重来，彻底重构核心沙盒平台。新架构彻底摒弃了传统的中心化协调机制，不再依赖 Postgres 或 etcd 等强一致性存储作为单点瓶颈。通过让每个 Worker 节点成为独立的数据源，并利用 Re…
ReasonGate 是一款专为 LLM 应用打造的可解释安全网关，能在模型调用前精准拦截提示词注入攻击。它不仅提供拦截结果，更会为每一次决策生成可审计的清晰理由，涵盖直接攻击、间接注入及数据泄露等场景。作为零依赖的纯 Python 核心，它支持规则与 ML 混合检测，确保在 Air-gapped 环境下也能运行，让安全决策透明可信，完美适配合规审计需求。
我们在优化tsbootstrap时遭遇了一次惨痛失败：面对成熟的arch库，我们的批量处理方案在真实负载下慢了几倍。问题不在于Python解释器的开销，而在于我们盲目追求向量化，将数千个bootstrap replicate一次性构建为巨大的张量。这导致数据在内存和缓存间反复搬运，算术强度极低。我们最终悟出一个道理：不要为了计算而计算，要关注内存流量。通过改为流式处理，不再物化中间数组，我们不仅…
Robbyant团队推出了LingBot-Map，一款专为流式数据设计的3D基础模型。它利用Geometric Context Transformer架构，在单一框架内统一了坐标定位、密集几何线索和长距离漂移校正。该模型采用前馈架构结合paged KV cache注意力机制，能在超过10,000帧的长序列中实现约20 FPS的稳定推理。无论是在室内长视频还是户外大尺度场景中，LingBot-Ma…