Kimmy's Portal

Kimmy’s Portal

Hi，我是 Kimmy，一名程序员，个人比较喜欢研究系统软件层面内容，尤其是编译器、数据库这方面。

我工作主要使用的是JVM系的技术栈，包括Java、Groovy、Kotlin这些以及相关的技术，业余我没有固定的编程语言偏好，目前在使用的主要是 C++、Rust、OCaml、TypeScript 和 Racket。我认为目前大部分编程语言都不够完美，所以也在自己尝试设计编程语言。

除了技术之外我还关注一些非技术话题，早些年曾经了解过一些语言学和符号学的知识。除此之外，我非常喜欢玩电子游戏，特别是那些沉浸感较强，能够引导和引发我思考的游戏类型。我还是尼康用户，三台相机分别是 Nikon Z6ii、Nikon F801s 和 Nikomat FTn。

我与同事联合翻译过两本前端书籍，都是React相关。另外，我也在维护着两个个人公众号，一个 gamerswitch 用于游戏、娱乐内容，一个 lightych 用于技术内容（页面底部有二维码）。

我的主要 ID 是 @kenpusney，你可以在 Twitter/X、GitHub 等各种站点使用这个 ID 找到我。部分情况下你可能看到的 ID 也许会是诸如 kimleo / kimmywork 等，这些都是我在不同平台上使用的别名。

我有一些可能随时会更新或者维护的站点，包括：

我最近沉迷在 Coding Agent 里，大部分在做的项目都是实验性而且不稳定的，因此暂不列出。你可以关注我的 Twitter/X 获取更新。

我最近关于 AI 的观点主要在我的文章 Agent Series 2026 里。

另外，我整理了一部分 Agent Skills，不过因为 Agent 本身仍然在快速进化，所以随时都有可能有变动。