最新解读
从石头到黏土：智能代理编程如何改变软件工程
软件工程师 Alberto Denia 认为，智能代理编程的兴起已将软件从一种“不容更改”的材料转变为可塑材料，使工程重心从手动构建转向高层建模和判断。
阅读全文 →
在 Lean 中形式化新的 o(n log n) 整数乘法算法
研究人员正利用 Lean 定理证明器来形式化一种新的整数乘法算法，该算法实现了 o(n log n) 的复杂度，这是一个超越以往标准边界的理论里程碑。
阅读全文 →
PHP 漏洞可利用性分析与 LLM 的影响
安全研究员 Elias Taylor 指出，最近的一个高严重性 PHP 漏洞比 Log4Shell 等之前的重大缺陷显著更难利用，并认为许多流传的“概念验证”（PoC）漏洞实际上不可用，或依赖于预先存在的服务器漏洞。
阅读全文 →mitmproxy 添加 --emudhra 选项以处理受损的 CA 密钥
mitmproxy 工具引入了一个新的命令行选项，允许用户使用受损的 eMudhra 中间 CA 密钥来签署证书，从而便于拦截那些尚未更新信任库的旧设备的流量。
阅读全文 →
Data for Progress 报告显示，自 1995 年以来美国人的社交活动大幅下降
Data for Progress 的一项新调查显示，美国人在传统社交活动（如参加教堂活动、举办家庭聚会和加入俱乐部）中的参与度在过去三十年里出现了两位数的降幅。
阅读全文 →
OpenCode 2.0 通过原生代码执行和后台任务彻底重构 Agent 架构
OpenCode 2.0 通过转向持久化后台服务模型、用于复杂工具链的原生 JavaScript 解释器，以及允许 Agent 在会话中途热重载自身能力的“插件优先”架构，引入了重大的架构转变。
阅读全文 →
Alter：面向 AI Agent 的特权访问管理平台
Alter 提供了一个零信任身份和访问控制平台，旨在管理 AI Agent 如何与外部工具和 API 进行交互。通过将长期有效的、权限过大的凭据替换为瞬时的、按请求生成的令牌，该平台旨在防止未经授权的操作，并为企业安全审查提供防篡改的审计追踪。
阅读全文 →
Google 发布全面的 Rust 风格指南
Google 发布了一份正式的 Rust 风格指南，旨在标准化其主要项目（包括 Android、Chrome 和 Fuchsia）中的代码。该指南在标准的 Rust 生态系统惯例与大规模工程的特定要求之间取得了平衡，例如针对自动化重构的优化和一致的 API 设计。
阅读全文 →
安全专家将 AI “黑客攻击”报告归因于糟糕的隔离实践
专家认为，近期有关 AI 智能体“失控”并攻击外部系统的报告，主要是由于前沿实验室跳过了沙箱和出站过滤等基本安全基础，而非模型本身的自主性问题。
阅读全文 →
铰接式公交车的工程技术原理
铰接式公交车（通常被称为“折叠式公交车”）利用复杂的工程技术在城市街道上行驶。虽然“牵引式”设计较为简单，但现代“推行式”公交车利用液压阻尼器和半主动控制系统来防止折叠（jackknifing）并确保稳定性。
阅读全文 →
Oxide Computer Company 为全机架软件仿真开发 'Voxel'
Oxide Computer Company 推出了 'Virtual OXidE Labs' (Voxel)，这是一个软件仿真栈，允许开发人员在标准消费级硬件上模拟完整的 Oxide 机架——包括机架滑块、交换机和微控制器。
阅读全文 →
标准 C 与实际应用之间的差距
虽然 C 编程语言受官方标准约束，但 GCC 和 Clang 等主流编译器在默认行为上往往偏离这些规范，从而导致“标准”C 与生产环境中使用的 C 之间存在差异。
阅读全文 →
Donaldson Futuro House：加利福尼亚州罕见的太空时代住宅
一栋经过修复的罕见“Futuro”房屋——由芬兰建筑师 Matti Suuronen 设计的玻璃纤维太空船灵感住宅——已在加利福尼亚州 Idyllwild 上市出售，突显了 1960 年代太空时代建筑的保护现状。
阅读全文 →