Wild interaction, we live in the future
btw @AcerFur can you please suggest one of the internal teams ask Astra to find vulns/bugs in Lean's kernel? Could be a huge success story + really useful going...
AI 导读
狂野的交互，我们生活在未来
Eric@ericmitchellai14
AI 编辑部评分，满分 100狂野的交互，我们生活在未来
来源：Eric· x.com