我

00 后，软件工程学生。

现在在南京，之后会去上海继续读研。

写代码，也研究代码为什么会出错。

对 AI 保持兴趣，对技术保持怀疑。

喜欢把一个东西拆开，看看它到底是怎么运转的。

有时候只是想解决一个小问题，最后却会一路挖到底层原理。

大概算是一种职业病。

---

• Software Engineering
• LLM / RAG / Agent
• Program Analysis / Software Security
• Formal Methods
• Building things for fun

做过后端，折腾过智能合约漏洞检测，也在研究 RAG、Agent 和形式化方法。

不太喜欢为了“技术栈”而学技术。

更喜欢先碰到一个真正的问题，再去找最合适的工具解决它。

比起从零重复造轮子，也更喜欢研究优秀项目是怎么设计的，再想办法把它变成自己的东西。

---

典型的 INTP。

喜欢独处。

经常沉迷细节。

也经常突然对某个东西产生兴趣，然后连续研究很多天。

喜欢简洁、克制的设计。

但同时也喜欢一些夸张、荒诞和中二的东西。

比如 JOJO和金庸武侠。

---

这个博客不会只写技术。

可能会有：

• 项目与代码
• 软件工程
• AI / Agent
• 形式化方法
• 学习笔记
• 工具折腾
• 一些突然冒出来的想法
• 以及一些现在觉得很重要，以后看起来可能很蠢的东西

没关系。

记录本身就有意义。

MBTI

虽然我一直觉得，用四个字母概括一个人多少有点可疑。

Find Me

Email 2306050212@hhu.edu.cn

如果你对这里的某篇文章、某个项目，或者某个奇怪的问题感兴趣，欢迎来找我。

最后

保持好奇。

保持怀疑。

继续折腾。