➡️
继续阅读
-
【Rust日报】2026-10-06 mold 3.0.0：高速链接器改用 Rust
mold 3.0.0 发布，链接器由 C++ 改写为 Rust，兼容 GNU ld，性能持平，改用 Cargo 构建。rustc 1.95 存在 over...
-
数值分析中形式化验证与算法发现的博士后职位
陶哲轩博客发布Annalisa Buffa的客座文章，宣布EPFL数值建模与仿真教席招聘博士后，探索形式化验证与算法发现对数值分析的影响。研究方向包括用L...
-
Christophe Pettus: All Your GUCs in a Row: num_os_semaphores
PostgreSQL 18's new `num_os_semaphores` preset reports how many OS semaph...
-
华为高通专利交叉授权与净支付争议解析
华为高通专利交叉授权与净支付争议解析 华为与高通签署专利交叉授权协议后，究竟是谁向谁付钱？本期梳理高通声明、美国非蜂窝专利交易与协议保密条款，区分已公开...
-
OpenAI再发一批数学突破成果
OpenAI has revealed solutions to a number of long-standing mathematics proble...
-
国庆假期我干了件事：让 Agent 平时睡大觉，数据一变就醒来干活 - 张善友
Ambient Agent 真正难的问题从来不是"让 Agent 做什么事"，而是另一组：怎么在对的时机叫醒它？怎么保证恰好执行一次？怎么...
