Dafny：验证感知编程语言
发布: (2025年12月17日 GMT+8 06:50)
1 分钟阅读
原文: Hacker News
Source: Hacker News
文章详情
- 文章 URL: https://dafny.org/
- 评论 URL: https://news.ycombinator.com/item?id=46295792
- 积分: 9
相关文章
阅读更多 »独立变异原则揭示的类型安全
独立变异原则（IVP）与类型安全争论 “独立变异原则：软件架构的统一元原则” f...
垃圾回收手册
文章链接: https://gchandbook.org/index.html 评论链接: https://news.ycombinator.com/item?id=46357870 积分: 16 评论数: 0
使用 Rust 和 Iced 构建 Android 应用
前一段时间，我决定尝试使用 Rust 构建 Android 应用。几周后，我让它跑起来了。最近 iced 发布了新版本，所以我刚刚更新了……
你的 ESLint 安全插件遗漏了 80% 的漏洞（我有证据）
ESLint 安全插件基准测试 我进行了严格的基准测试，比较了两个主要的 ESLint 安全插件。本文涵盖了完整的方法论、测试…