Hacker News AI34Bend: A fast language that blocks AI mistakes via proof2026/10/26 07:41· 2小时前产品更新产品更新查看原文（Hacker News AI）分享海报（1080px）导出 Markdown