#Roveri
共 3 篇相关文章
·6 分钟
Roveri：把每次骑行绘成地图的极简骑行日记App
Roveri是一款专注记录而非导航的iPhone骑行日记应用，一键记录路线、速度、海拔和天气，将每次骑行绘制成地图上的个人探索图集。了解这款小而美骑行App的产品设计理念与使用体验。
阅读全文 →
·15 分钟
为AI生成的GPU内核构建合约级验证器：解决LLM代码信任难题
探讨如何通过合约级验证器验证LLM生成的GPU内核代码正确性，解决AI代码生成中的并行竞态、边界越界等信任问题，构建生成-验证-迭代的自动化工作流。
阅读全文 →
·7 分钟
用Claude发现密码学漏洞：AI辅助安全研究新范式
探讨如何利用Anthropic Claude辅助发现密码学实现漏洞，分析AI在代码审查、侧信道检测、协议分析中的实际能力与局限，解读AI安全研究的攻防双刃剑效应与开发者应对策略。
阅读全文 →