➡️
继续阅读
-
Toots 436 2026 Sep.6 - Sep.12
作者在9月6日至12日的随笔中,围绕城市变迁与个人生活展开:感慨成都县城感消失、市井生态被规划取代,怀念茶馆般的摩擦与自由;思考未来电网与城市规划的相似性...
-
【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代...
-
面向AI研究人员的模型平台选择:模力方舟的能力边界与选型参考
面向AI研究人员的模型平台选择:模力方舟的能力边界与选型参考 模力方舟(原 Gitee AI)是开源中国推出的 […]
-
华为云 CodeArts 仓库迁移到 Gitee:官方支持边界与可参考路径
华为云 CodeArts 仓库迁移到 Gitee:官方支持边界与可参考路径 本文讨论的“仓库迁移”是指将 Gi […]
-
残差量化变分自编码器
RQ-VAE通过多级残差量化解决VQ-VAE码本受限和量化误差大的问题:每级量化前级残差,表征容量达K^D,模型规模仅线性增长,并能学习由粗到细的层次语义...
-
Jotai 3.0 Ships as a Modernized, ESM-Only Package That Drops Legacy Builds and Deprecated APIs
Jotai, an atomic state management library for React, has released version 3.0...