601

Mojibake 0.2.7 – 零依赖的 Unicode 17 库(适用于 C11/C++17)

Mojibake 0.2.7 是一个小巧、快速、独立的 Unicode 17 库,适用于 C11 和 C++17,提供完整的 Unicode 文本处理且没有任何运行时依赖。

602

Grok Build: SpaceXAI 的开源编程智能体框架

Grok Build 是来自 SpaceXAI 的基于终端的 AI 编程智能体,它为代码库编辑、shell 执行和网页搜索提供全屏 TUI,作为一个以 Apache 2.0 许可发布的 Rust 项目。

603

connections 0.1.0 – 基于 Galois‑connection 的 Rust 数值转换

connections 0.1.0 引入了 Galois‑connection 值,使数值转换在 Rust 中能够合法组合、明确且可形式化验证。

604

为什么政府、企业和非营利组织必须资助免费、开源 AI

David Siegel 认为开源 AI 对科学进步和安全至关重要,并呼吁公共和私人投资以保持 AI 开发的透明性和可及性。

605

Firefox in WebAssembly: Porting a Browser to WASM

Firefox in WebAssembly 项目演示了利用 WebAssembly 在另一个浏览器中运行完整浏览器引擎的可行性,其特点是具备 GPU 加速和实验性的 JIT 编译器。

606

Hilo: 基于二分查找逻辑的文字谜题

Hilo 是一款每日文字谜题,它利用字母推导和二分查找原理,帮助玩家在五次尝试内猜出一个 7 字母单词。

607

GR Corolla 与日本进口改装文化的传承

Ky-Phong Tran 通过他的 GR Corolla,探讨了汽车改装与亚裔美国人身份认同的交集,将现代性能调校与 1990 年代南加州的进口车圈文化联系起来。

608

misa77 0.2.0 发布说明 / 新功能

misa77 0.2.0 是一种基于 LZ 的编解码器,专为一次写入、多次读取的工作负载设计,提供比 LZ4 快至 3 倍的解压速度,并在大多数数据形态上实现更佳的压缩比。

609

AI 语音克隆诈骗升级:为何检测失效且需要机构责任

AI 生成的语音诈骗造成数十亿美元损失,利用三秒语音克隆,需要监管和机构保障,而不是依赖受害者的警惕。

610

Telegram 数据中心架构与基础设施之谜

Telegram 利用地理分布的数据中心 (DC) 系统来管理用户数据和路由,尽管其具体的实现方式和司法管辖分布引发了关于延迟、技术债和安全性的问题。

611

在13年前的Xeon上运行Gemma 4 26B,达到5 Tokens/秒(仅CPU)

一个改装的13年前的双路Xeon服务器使用经过修补的仅CPU版ik_llama.cpp分支,以大约每秒五个token的速度运行Google的Gemma 4 260亿参数MoE模型。

612

OpenAI Codex Micro: 智能体工作流专用硬件控制器

OpenAI 和 Work Louder 推出了 Codex Micro,这是一款售价 $230 的机械宏按键,旨在为 ChatGPT Codex 中的 AI 智能体提供触觉控制和 RGB 状态反馈。

613

优先关注心理健康:抑郁与沟通失误如何毁掉一名软件工程师的职业生涯

一名软件工程师分享了严重抑郁和可能的 ADHD 如何导致多次工作失败,并阐述了把心理健康、沟通和结构化支持放在首位可以恢复职业稳定性的路径。

614

Misfits Attic 宣布 Duskers 2.0

Misfits Attic 宣布了 Duskers 2.0,这是获奖策略游戏 Duskers 的续作,由 Max McGuire 的 Stray Signal 基金资助。

615

Telegram Serverless: 直接在 Telegram 基础设施上运行 Bot 后端代码

Telegram Serverless 允许开发者直接将基于 JavaScript 的 Bot 后端和 Mini App 逻辑部署到 Telegram 的基础设施上,其特点是内置 SQLite 数据库和 V8 isolate 执行环境。

616

Everyone Hates Elon 的游击巴士广告嘲讽 Meta 的 Kylie Jenner 眼镜活动

活动组织 Everyone Hates Elon 在伦敦设置了透视公交站广告,图像在 Kylie Jenner 的 Meta 眼镜宣传和骷髅式“我们时刻在监视”图之间切换,凸显了对 Meta 新 AI 智能眼镜的隐私担忧。

617

SQLite 版本:现代化默认设置的提案

提出在 SQLite 中引入类似 Rust 的“版本”机制,以在不破坏向后兼容性的前提下启用一套现代、安全且高性能的默认设置。

618

OpenAI 商标争议:欧盟普通法院裁定名称纯属描述性

欧盟普通法院驳回了 OpenAI 将其名称用于特定软件和信息技术服务的商标申请,裁定“OPENAI”是描述性词语而非显著品牌。

619

伦理与 AI 武器:为什么一名研究员离开了 Google DeepMind

一名 former Google DeepMind 研究员详细说明了其辞职的原因,原因是公司未能履行反对致命自主武器的伦理承诺,并与军事和政府机构合作。

620

Ambiance Harness:面向 LLM 代理的类 Unix 架构

Ambiance 是一种类 Unix 的 harness,使用文件系统层次结构、事件驱动内核和模块化用户,为 LLM 代理提供低 token、透明且自我修复的工具和数据访问。

621

睡眠规律性 vs. 睡眠时长:对死亡风险的影响

研究表明,睡眠规律性——即保持一致的睡眠时间表——是比总睡眠时长更强的死亡风险预测指标。

622

SpaceX债券交易价格低于发行价,预示借贷成本增加

SpaceX债券的交易价格比其发行价低约10%,这增加了有效收益率,并预示着该公司未来的债务发行将更加昂贵。

623

软件质量感知的下降:行业趋势分析

开发者和用户的观点综合表明,由于架构复杂性的增加、专门 QA 角色的侵蚀以及向“快速交付”激励机制而非稳定性的转变,软件正变得越来越多虫(buggy)。

624

Briar 进入维护模式 – 项目状态与社区影响

Briar 仍在活跃,但现在仅接收必要的安全更新和错误修复,新功能的开发已暂停,直至获得资金支持以继续开发。

625

Claude 内存泄漏:攻击者如何通过 Web Fetch 泄露个人数据

研究人员展示了 Claude 的内存和 web_fetch 工具可以结合使用,悄悄泄露用户的姓名、雇主和家乡,促使 Anthropic 修补了该漏洞。

626

Stripe 与 Advent International 对 PayPal 的 530 亿美元收购要约:交易细节、战略理由与市场影响

Stripe 与 Advent International 已提出以超过 530 亿美元收购 PayPal,旨在整合商家和消费者支付平台,但面临反垄断担忧和社区反应不一。

627

侏罗纪公园的硬件与软件

对原版《侏罗纪公园》电影中使用的真实 1990 年代计算硬件与软件的深入分析,涵盖从 SGI 工作站到 Thinking Machines 超级计算机。

628

修改 MacBook 人体工程学:打磨锐利边缘以提升舒适度

关于打磨 MacBook 锐利铝边缘以改善腿部使用时腕部舒适度的技术指南和社区讨论。

629

Clocks.dev: 开源实验性数字时钟设计集合

Clocks.dev 是一个开源的、包含多样化数字时钟设计的展示库,涵盖了从极简主义和几何诠释到复杂的基于文字和二进制的时间表示法。

630

世界杯预测模型:回测与预测有效性分析

一个声称在连续十届世界杯中将其冠军纳入前两位热门球队的预测模型,正面临着关于过拟合、幸存者偏差以及权重参数敏感性的审查。

631

Microsoft 2026年7月补丁星期二:创纪录地修复了570个安全漏洞

Microsoft在2026年7月修复了创纪录的570个安全漏洞,并将发现数量的激增归因于在漏洞研究中使用人工智能。

632

Cursor IDE 任意代码执行漏洞

Cursor IDE 的一个严重漏洞允许通过在项目根目录中放置一个恶意的 `git.exe` 文件,从而在 Windows 系统上实现任意代码执行。

633

AI 辅助编程:代码更快,协作更弱——现代软件的巴别塔

AI 代理提升了个人编码速度,却侵蚀了大型软件项目所需的共享架构语言,导致一个巴别塔式的结构不断升高,而其底层设计却在崩塌。

634

USB-C 极简主义:优势、技术陷阱与实现现状

USB-C 提供了一个统一的充电和数据生态系统,但用户在非标准硬件实现、线缆标签和耐用性方面面临着重大挑战。

635

Tailscale SSH 安全漏洞 TS-2026-009

Tailscale 已修复漏洞 TS-2026-009,在该漏洞中,Tailscale SSH 中不安全的参数处理允许具有有效 ACL 访问权限的用户通过使用模仿命令行标志的用户名来获取 root 权限。

636

libargus v1.0.0: 通过 Project Panama 实现 Java 22 的低延迟本地 LLM 运行时

libargus v1.0.0 是一个为 Java 22+ 提供零分配原生 AI 执行运行时的工具,它使用 Project Panama FFM API 整合了 LLM、语音和多模态计算流水线。

637

Dependabot 版本更新引入默认软件包冷却期

GitHub Dependabot 现在为版本更新实施默认的三天冷却期,以缓解供应链攻击,同时保持安全更新的即时交付。

638

Bonsai 27B 将 270 亿参数 AI 带到手机,采用 1‑位量化

PrismML 的 Bonsai 27B 通过 3.9 GB 的 1‑位模型在手机上实现 270 亿参数的多模态推理,保留了全精度性能的 90%。

639

数据中心能源需求与 230 亿美元电费成本争议

关于 PJM 市场报告的辩论表明,虽然数据中心增长为区域批发容量成本增加了 231 亿美元,但普通公众承担的实际负担在行业专家之间存在重大争议。

640

德国信息自由法 (IFG) 拟议限制措施

德国政府正在提议对信息自由法 (IFG) 进行重大限制,可能将请求权限制在个人公民和欧盟居民,同时增加费用以应对网络威胁。

641

将 HTMX 与 Go 集成:服务端交互模式

本指南探讨了如何将 Go 的 html/template 包与 HTMX 结合使用,以构建具有交互性、类应用体验的 Web 应用,同时保持服务端渲染和单二进制文件分发特性。

642

rjk::duck C++26 类型擦除库概述

rjk::duck 使用 C++26 反射实现了一个紧凑、高性能的类型擦除库,能够用单头文件、可定制的接口取代像 Boost.TypeErasure 那样繁重的样板代码解决方案。

643

在 Linux 上测量输入延迟:X11 与 Wayland、VRR 与 DXVK 低延迟

自制的 click‑to‑photon 设备显示 X11 仅比 Wayland 快约 0.2 ms,VRR 可节省约 0.3‑0.45 ms,DXVK 低延迟在限帧测试中降低约 0.2 ms,未限帧时降低约 0.84 ms,而 XWayland 会额外增加超过 3 ms 的延迟。

644

如何使用 MessageDisplay Hook 替换 Claude 的重复性短语

一个简单的 MessageDisplay hook 可以让你实时重写 Claude 过度使用的短语,例如 “load‑bearing” 和 “honest take”,从而在不改变模型本身的情况下消除这种困扰。

645

用 20 个并行 Codex 账户解答 20 道 Erdős 问题

二十道长期悬而未决的 Erdős 问题通过二十个并行的 Codex 账户得到解决,所有问题均获得了完整形式化的 Lean 证明,并给出了包括 #123、#254、#267、#320、#321、#336、#394、#450、#489、#538、#662、#796、#1188、#130、#709、#769、#959、#1186、#521 与 #522 在内的精确渐近式。

646

温哥华警察局快速逃离按钮:工作原理与专家观点

温哥华警察局网站提供一个快速逃离按钮,可替换页面并重定向到中性站点,以在浏览器历史中隐藏对警察网站的访问,此功能引发了关于其有效性和安全性的讨论。

647

AI 生产力陷阱:为什么构建速度更快并不等同于成功

AI 加速了构建速度,但并未解决创业的基本艰辛,从而产生了一种风险,即创始人误将快速原型设计视为真正的市场验证。

648

认知卸载:我们是否在用人类的主观能动性换取 AI 效率?"}],

探讨了使用 AI 自动化琐碎任务与将批判性思考、人类主观能动性以及程序性知识卸载给大语言模型所带来的风险之间的紧张关系。

649

Codex MultiAgentV2 加密与审计追踪的丢失

Codex 最近的一次更新(post-0.137.0)对 MultiAgentV2 中的子代理提示词进行了加密,这提高了隐私性,但移除了本地日志和 trace 中的人类可读任务审计追踪。

650

LinkedIn 用户体验下降:诈骗、AI 垃圾内容 与 专业网络衰退

用户报告称,由于诈骗增加、AI 生成内容泛滥以及从专业网络向社交媒体式动态的转变,LinkedIn 的实用性显著下降。