Xr0 verifier，保证 C 程序在编译时的安全性
发布: (2026年1月4日 GMT+8 02:10)
1 min read
原文: Hacker News
Source: Hacker News
文章详情
- 文章 URL: https://xr0.dev
- 评论 URL: https://news.ycombinator.com/item?id=46479673
- 积分: 14
- 评论: 2
相关文章
阅读更多 »Show HN: Lean4 证明 SSOT 需要定义时钩子和自省
我在 Lean 4 中形式化了 Single Source of Truth（SSOT）原则，约 2.1 k LOC，零 sorry，并证明了两个核心结果：Structural SSOT 仅在 …
Musashi：用 C 编写的 Motorola 680x0 模拟器
文章链接: https://github.com/kstenerud/Musashi 评论链接: https://news.ycombinator.com/item?id=46535540 得分: 92 评论数: 8
第1天：数组的谎言 (Arrays vs Pointers in C)
引言 今天是我30天编码挑战的第1天，目标是掌握 C internals、algorithms 和 database design。我为什么要这么做？在一个 AI 和……的世界里
ty: Astral（Ruff 与 uv 的创作者）推出的闪电般快速的 Python 类型检查器
ty：来自 Astral 的超高速 Python 类型检查器。Astral 是背后开发 Ruff（https://github.com/astral-sh/ruff）和 uv（https:/...）等流行 Python 工具的公司。