Show HN: Zephirum – A compiler that proves you don't need to compute ```

2026-10-08来源 Hacker News ShowEnglish

Article URL: https://github.com/SerenaSolutions/zephirum

Comments URL: https://news.ycombinator.com/item?id=49995572

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/show-hn-zephirum-a-compiler-that-proves-you-don-t-need-to-compute-b95c75.html

相关文章