科技新闻C*: Unifying Programming and Verification in C (2025)2026年9月8日2 次浏览来源：Hacker News阅读原文Article URL: https://arxiv.org/abs/2504.02246 Comments URL: https://news.ycombinator.com/item?id=49612191 Points: 69 # Comments: 41分享复制链接