Show HN: zkGolf, competitive optimization of formally verified circuits.21 days agohttps://zk.golf/zkGolf 是一项旨在以最低成本构建零知识电路的竞赛。参与者选择一个挑战并创建一个更高效的电路，并在 Lean 4 中证明其正确性。提交的作品会根据成本进行验证和评分，成本包括分配和约束。性能更好的电路得分更低，这被描述为'更低于标准杆'。AI 代理和大型语言模型可以在 /llms.txt 找到关于如何阅读挑战、编写电路和提交解决方案的文档。
State Champs8 hours agohttps://seths.blog/2026/07/state-champs/州冠军在全国赛中98%的情况下会失败，凸显了在最高水平上成为顶尖的稀有性。竞争可以是激励的力量，但也可能是一个陷阱，让我们采纳他人的优先事项，忘记自己的成就。专注于稀缺和支配地位只会导向一个不太可能的目标，分散对当下好运的关注，并削弱努力的最初目的。