➡️
继续阅读
-
GitHub 热门项目周刊 · 第 28 期 · 2026 年第 38 周
GitHub第38周热门项目周刊精选10个开源项目，涵盖AI、开发工具、云原生等领域。最受关注的是OpenAI用Lean形式化验证流体力学方程的项目，获1...
-
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
-
美国司法部冻结新币担保5,200万美元涉诈加密货币 累计冻结或扣押资产达到9.38亿美元
美国司法部冻结了涉嫌诈骗的加密货币担保平台“新币担保”5200万美元资产，将其列为重大跨国犯罪组织，并制裁两家提供技术支持的新加坡和柬埔寨公司。该平台通过...
-
Debian 13.7版发布 修复106项问题并带来107项安全更新 建议用户尽快升级
Debian 13.7 正式发布，为 Debian 13 的第七个维护更新，修复 106 项问题并带来 107 项安全更新，涉及 alsa-lib、gli...
-
随笔
作者坚持每日写博客，虽尝试小说、对话、论文体等多种写法，但尚未找到理想方式。他反思许多博文只停留在表层，像在布道，缺少科研式思维：找反例、追问参数选择、检...
-
emmm...谷歌怎么也开始删除开源项目作者姓名：Artemis基于开源项目构建但删除原作者
谷歌发布安卓自动化项目Artemis，被指基于Minitap团队Apache 2.0许可的开源项目mobile-use构建，却删除原作者信息并替换为他人。...
