➡️

继续阅读

  1. 【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
    亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
  2. 众包征集关于数学目的、价值与本质的通用资源列表
    陶哲轩发文征集关于数学目的、价值与本质的书籍和文章资源，以纠正公众对数学的简单化误解，并列举了相关经典著作、非正式链接及本人访谈写作，邀请读者在评论区补充更多资源。
  3. OpenAI的安全系统已在任务中途切断API响应
    OpenAI正考虑放缓最先进AI模型的开发，并可能与其他前沿实验室协调。此前研究员Coxon从Anthropic辞职，警告行业竞速过快、安全失控。Open...
  4. 第一个人
    加缪遗作《第一个人》是自传小说，讲述雅克在阿尔及利亚赤贫中成长，一岁丧父，由母亲、外婆和舅舅抚养。他寻父未果，发现父亲死时比自己还年轻。外婆无知凶狠，常打...
  5. 搭建自己的 HomeLab（一）：聊聊我的硬件清单
    作者重视数据隐私与安全，自建家庭实验室，拒绝All in One，将计算、存储、网络拆分为独立硬件，双宽带冗余。硬件以成品NAS为主，其余靠二手，软件用D...
  6. 2000+真实场景搬进仿真！一个导航模型零样本“通吃”四种机器人本体
    亮源新创提出Physical AI三段范式：规模化预训练、对齐与部署，并发布三项技术。LightParkour用强化学习将单个动作扩展为可泛化技能分布；L...
👤 个人中心
在公众号发送验证码完成验证