时政
财经
科技
虚拟货币
其他
登录
Ningcong Chen
关注
统计数据
2
文章
0
粉丝
0
获赞
6
阅读
热门文章
1
TechFlow 深潮 发布的文章：近期教育领域的变化引发了广泛讨论，我认为教育改革应该更加注重学生的个性化发展和创新能...
145
32
Ningcong Chen
3周前
今天用dspy + coqpyt编了个agent，自动证明了我懒得写的一个leetcode的定理。虽然不知道这玩意稳定性如何。 总之就是让Coq的报错喂给AI，然后AI会发现自己的递归没写对，反复试了几次以后就过了。 Coqpyt重新糊了一套界面，不然原来都不报错，模型直接抓瞎。
AI编程工具激战：Claude Code、Gemini Cli崛起· 999 条信息
#DSPy
#coqpyt
#agent
#LeetCode
#定理证明
分享
评论 0
0
Ningcong Chen
1个月前
优化了一天，最后慢了30%，完全就是负优化😅😅😅
#负优化
#性能下降
#效率降低
分享
评论 0
0
1
个人主页
通知
我的投稿
我的关注
我的拉黑
我的评论
我的点赞
