Show HN: Avera – 一种确定性检查，用于证明未引入回归问题

- **Avera** 是一个开源工具，旨在为软件项目提供“确定性回归检查”——即通过数学或逻辑手段证明，新代码改动没有引入性能退化或行为偏差，而不仅仅是依赖人类测试。 - 该项目托管在 GitHub，从标题“Show HN”看，它是作者向 Hacker News 社区展示的个人/小团队作品，尚处早期阶段。 - “回归”是软件工程中的核心概念：指一次修改意外破坏了之前正常工作的功能或性能。传统上回归靠测试套件或代码审查来捕捉，但无法做到完全覆盖。 - Avera 的独特之处在于强调“确定性”（deterministic）和“证明”（proves），暗示它可能采用形式化方法、符号执行或差分分析等技术，而非概率性手段（如模糊测试或随机测试）。 - 该项目出现在“Show HN”上，说明它面向技术社区征求意见、获取早期用户反馈；其价值主张——杜绝回归而不依赖人工——一旦可行，对持续集成/部署（CI/CD）和大规模代码库维护有重要意义。