Yichen Li

13 posts

Yichen Li

Yichen Li

@CSEI4

CS Ph.D. student from @CUHKOfficial ARISE Lab

Hong Kong Katılım Şubat 2023
121 Takip Edilen35 Takipçiler
Yichen Li retweetledi
范凯说 AI | Kai on AI
范凯说 AI | Kai on AI@fankaishuoai·
我看了 OpenClaw 作者 Peter Steinberger 的访谈,印象特别深的一点是,他提到很多程序员现在用 AI 编程时,还是喜欢 Spec Driven(规格驱动)。 他们会花好几个小时精心编写大量指导 AI 的文档,企图让 AI 一次性完成任务。他觉得这种方式不对,他采用的方式是一开始尽量少写提示,然后跟 AI 进行很多轮快速迭代。他觉得通过这种方式,才能做出好的软件。 看完这段访谈,我的感悟非常深。我觉得不光是跟 AI 协作开发软件,大到国家管理,小到个人事业规划,其实都遵循这个道理: 1. 软件开发中的 Spec Driven,本质上是企图在 AI 时代复制“瀑布流”的开发方式。而软件的瀑布流开发方式,在几十年前就已经被判了死刑。 2. 经济系统也是一样的,走计划经济最后就会崩溃。 3. 个人事业或项目规划也是如此。你没办法一开始就设计一个完美的蓝图再一步步实现。 其实核心应该是: (a) 设定一个大概模糊、正确的方向,然后快速往前跑。 (b) 实现一个快速自我迭代的系统,包含反馈和验证。 (c) 对于开发来说,可以用目标和单元测试来验证每一步是否正确,从而实现快速前进。 我们自己做项目或个人事业规划时,有一个模糊的方向就可以了,不要再搞精细的蓝图。要快速做、快速验证,把迭代循环跑得很快,这样才能走上良性循环,越做越好。 我有时也在反思,为什么这两年我很多事情做得不太好?其实就是犯了这种“瀑布流”或“计划经济”的错误,总是想自上而下规划好所有事情再去执行,但中间会出很多问题,规划永远赶不上变化。这也是工程师思维的局限性。 所以我现在要彻底改变做法。无论是创作视频、规划项目落地,还是制定半年到一年的个人人生目标,都应该遵循这种设定:建立一个快速的短迭代循环,给每一件事情设定可验证的目标,然后快速验证、快速修正、快速迭代。
中文
101
126
887
166.5K
Yichen Li
Yichen Li@CSEI4·
Great catch! You actually hit on the reason we're waiting a month to ship. We're trying to solve the issue via incremental program analysis, but haven't quite cracked the code on it yet. For now, the tools are solid for code review (read-only) tasks, but handling generation (where the codebase changes under our feet) is definitely the hard part we're still polishing.
English
0
0
0
22
Adish Jain
Adish Jain@adishjain333·
Tracing call chains across 10+ packages is exactly the kind of context LLMs need but rarely get. How do you handle the case where the analysis results get stale - like if the codebase changes but Claude Code is still working from old call chain data? Curious if you've seen mismatches cause issues.
English
1
0
0
27
Yichen Li
Yichen Li@CSEI4·
Couldn't out-code Claude Code, so I decided to work for it instead. We built an MCP server (will release it in 1 month) with program analysis tools. We did a lot of Claude Code-friendly optimization since LLMs can read more analysis results (e.g., trace call chains across 10+ packages) at a glance than humans. Claude Code tried it, was pleased, signaled I should keep working. All I could say is: YES SIR!🤣
Yichen Li tweet mediaYichen Li tweet media
English
2
2
3
3.8K
Yichen Li retweetledi
Yun Peng
Yun Peng@YunPeng00·
Very honored to receive my 3rd ACM SIGSOFT Distinguished Paper Award for our code efficiency benchmark! This is indeed my first accepted paper at FSE! Check our project page of you are interested in this work: yunpeng.site/projects/coffe
Yun Peng tweet media
English
0
1
2
144
Yichen Li
Yichen Li@CSEI4·
This plan is amazing: 200U is enough for PhD students around the world to enjoy a great meal or have some fun, significantly boosting PhD students' mental health! Huge thanks to @ABCDELabs for their support! 🍽️
Siyuan@cyodyssey

Crypto是一个自由的世界,我们尊重一切最终能创造价值的项目,包括DeSci。我们相信只有自由,才能发挥人最大的主观能动性。但是大部分的科研工作者是不自由的,ta们受困于Funding,受困于环境,需要各种外界的帮助。 我们@ABCDELabs 从去年就在尝试帮助各种受苦受难需要帮助的PhD们。方式很简单,给钱,让你快乐一下,吃饭,or 炒memecoin,我们完全不干涉。如果想做项目,或看新的机会我们随时在线。 本计划已经执行了蛮久了,我们也从中收获了很多。鉴于最近 #DeSci 热度的火爆,本着不蹭注意力是浪费的原则。我在此宣布,#ABCDE_PhD快乐干饭计划第一期 正式启动!我本人会赞助10000U,每人200U,上限50人,让大家快乐一吧。 我已经将资金转入BSC地址: 0xb1a4a6e27c3254d5eb526a28119b65f3173e950a 1. Why BSC: no gas, 省下的Gas Fee可以多点杯奶茶,感谢 @BNBCHAIN @heyibinance @GalaBNB 2. 未来还会有第二期,第三期,我会去找好心人捐助本项目。 3. 如果捐助者多,会转到多签钱包,交给社区去管理,我精力有限。 4. 本活动限在读PhD,找到工作的朋友们来捐点吧。 快乐一点朋友们,外面海阔天空 #学术自由

English
0
0
1
68
Yichen Li retweetledi
Yichen Li
Yichen Li@CSEI4·
@mzh1024 Interested! I've attempted a similar prototype in my position paper, 'Enhancing LLM-Based Coding Tools through Native Integration of IDE-Derived Static Context' (arxiv.org/abs/2402.03630), with a naive implementation. Looking forward to further relevant discussions!
English
0
1
1
259
Meng Zhang
Meng Zhang@mzh1024·
Moreover, data populated by static analyzers can naturally be used to construct the ground truth for improving the quality. My initial prototype already looks amazing, and happy to invest more time on building such a model! Leave a reply or send a DM if you're interested! (7/7)
Sunnyvale, CA 🇺🇸 English
2
0
0
251
Yichen Li
Yichen Li@CSEI4·
Code上又走了一遍这个路
中文
0
0
0
109