11041 分尚无解读
21349 分
Ghostty 1.4.0 发布与 libghostty 的演进
Ghostty 1.4.0 的发布凸显了该项目正转向在提供图形界面之外，提供高质量、可移植的终端模拟库（libghostty）。
阅读全文 →
4540 分
Survival LLM：用于离线紧急情况的本地 AI 助手
Survival LLM 是一款开源 AI 助手，旨在无需互联网连接的情况下提供紧急信息——如急救指令或食品安全协议。通过完全在用户的本地硬件上运行，该工具在停电或其他基础设施故障期间可保持隐私和功能，并使用来自 CDC 和 FEMA 等受信任来源的精选库。
阅读全文 →51094 分尚无解读
US Government is hiding a secret court ruling about how it spies on Americans (wired.com)
6379 分
搭载 M6 芯片的新款 Apple iMac 引发关于价值与显示屏尺寸的争论
搭载 M6 芯片的新款 iMac 发布引发了关于一体机设计与模块化配置权衡的讨论，特别是针对 24 英寸显示屏尺寸以及与 Mac mini 相比的溢价差距。
阅读全文 →
7436 分
Apple 发布搭载 M6 芯片的 14 英寸 MacBook Pro
Apple 推出了搭载 M6 芯片的新款 14 英寸 MacBook Pro，该机型配备 12 核 CPU、带有神经加速器的 12 核 GPU 以及双 16 核神经网络引擎，旨在提升设备端的 AI 性能。
阅读全文 →
8391 分
Tailscale 处理 Tailscale SSH 中的权限提升漏洞
Tailscale 正在调查并修复其 Tailscale SSH 服务中的安全漏洞，这些漏洞可能允许授权用户获得超出其配置的本地权限的更高权限。
阅读全文 →
9243 分
AxiomMath 在 Lean 中完成有限单群分类的形式化
AxiomMath 已利用 Lean 定理证明器完成了有限单群分类（CFSG）的“无 sorry”形式化，该项目涉及识别出原始数学文献中一个此前被忽视的漏洞。
阅读全文 →
12493 分
AI时代布鲁克斯法则的变异面貌
虽然AI代理消除了入职培训和办公室政治等传统的人类瓶颈，但“向落后的项目增加更多资源只会使其更落后”这一原则已变异为一种新的风险：由于编排不当，导致更快地产出错误答案。
阅读全文 →
14601 分
Anthropic 因用于 Claude 模型训练的盗版书籍达成和解
联邦法官裁定 Anthropic 非法盗用斯坦福大学教授的作品来训练其 Claude 模型，导致 15 亿美元的和解。虽然裁决禁止建立永久性的盗版作品库，但它将大型语言模型（LLM）的实际训练过程定性为“合理使用”，在数据获取方式与数据处理方式之间创造了一个复杂的法律区别。
阅读全文 →
17185 分
使用 Zig 四个月：从 Rust 向显式系统编程的转变
一名开发者从 Rust 转向 Zig 的经历突显了该语言对显式内存管理、极简依赖文化以及高透明度副作用处理的关注，同时也指出了 1.0 版本前生态系统的权衡。
阅读全文 →18181 分尚无解读
Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses) (cloudflare.com)
19684 分
AI生产力的悖论：为什么降低实施成本反而可能增加工作量
虽然人们原本期望 AI Agent 通过自动化样板代码来减轻工程工作量，但一些开发者发现，降低实施的“成本”消除了自然的阻力，导致任务数量激增，并引发了更耗人的频繁上下文切换循环。
阅读全文 →
20385 分
亚马逊调整 AI 战略，聚焦前沿模型与机器人技术
亚马逊正在缩减其广泛的内部 AI 模型组合（包括 Nova 系列），旨在将工程人才和计算资源集中到由机器人专家 Pieter Abbeel 领导的单一“前沿模型”项目上。
阅读全文 →
21171 分
Liquid AI 推出了用于专业智能的 LFM3 模型
Liquid AI 发布了 LFM3，这是一代旨在提供多模态智能的新模型。此次发布包含多种尺寸，例如 1.7B 参数模型，旨在为本地 AI 应用和智能体任务提供高性能能力。
阅读全文 →
22485 分
Roblox 爬虫据称抓取了包括成人内容的 145GB 3D 模型
Open3DLab 报告称，一个被识别为属于 Roblox 的爬虫从多个社区网站（包括面向成人的平台）下载了超过 145GB 的 3D 资产，可能用于训练 3D 基础模型。
阅读全文 →
24346 分
软件质量的演变：从脆弱系统到现代复杂性
虽然现代软件常被批评臃肿或缓慢，但它建立在早期计算时代所缺乏的可靠性基础之上。历史上的软件经常受到频繁系统崩溃、因缺乏自动保存导致的数据丢失，以及迫使开发者采取独特变通方案的硬件特定限制的困扰。
阅读全文 →
25210 分
向代理式监管的转变：在 AI Agent 时代保持软件所有权
随着 AI Agent 越来越多地生成和管理软件，人类工程师的角色正从手动编写转向高层级监管。维护系统的“所有权”现在需要平衡基础计算机科学知识、对系统架构的广泛概念图，以及在 Agent 生成的代码中进行“即时”深度剖析以解决复杂故障的能力。
阅读全文 →
2677 分
利用超微型蓝牙标签追踪黑脉金斑蝶迁徙
研究人员正利用名为 BluMorpho 的微型蓝牙追踪器来绘制黑脉金斑蝶的迁徙路径，在提供高分辨率迁徙路线数据的同时，也引发了关于这些昆虫承受物理负担的讨论。
阅读全文 →27157 分尚无解读