➡️
继续阅读
-
数学之后
陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可...
-
与 AI 搏斗失败后重新开始找工作：经验分享与半可靠避雷指南
作者被裁后记录求职经历：公司按倒序名单快速裁员，四小时内离职。求职中用AI写简历、模拟面试，但猎头鱼龙混杂，招聘平台算法推荐低效，AI电话骚扰，职位普遍强...
-
健康计划：BI告诉你MLR变动了，你的AI能告诉你原因吗？
医疗保险公司财务团队手动核对数据效率低，难以快速解释MLR超预算原因。Databricks与Abacus合作，将数据平台与payer专属数据基础结合，使A...
-
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
-
2 名工程师 + Codex，OpenAI 用 Rust 重写了扛住 10 亿人的存储系统
OpenAI披露Habitat在线存储平台：从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Pyt...
-
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
