纵有千般不舍，我还是决定将这个“面向AI编程”的编程语言项目veritac搁置并开源了。
因为今天我在头条上偶然刷到了一个叫MooonBit的编程语言项目，这个项目高度与我的项目雷同，或者说我的项目高度与之雷同，他们2022年就开始了，有专业团队，创始人是编译器领域的高手。
今年四月，他们发布了与我的veritac几乎一模一样的功能。而那时我并不知道，我还以为自己这是一个天才想法。
我今年53岁，没有技术背景，但是我从25年3月份开始就迷上了AI编程，一年多时间在这上面投入了大量的精力，也做了几个半途而废的项目，在今年4月份的时候，我认为现在的编程语言都不是面向AI编程，而AI编程是未来趋势，未来一定需要一款面向AI编程的编程语言，会有更高的效率和更少错误，我简单让AI搜索了一下，好像市场上没有这样的项目，于是我就开始创建了这个项目。
我给这门语言取名为： VeriTac，后缀名为.vt
三个月里，我一个人指挥 AI，写了 5 万 6 千行代码，248 个文件，751 次提交，784 个测试全部通过。
它真的跑起来了。账本转账、资源池上限、预算分配——三个真实场景，都被机器证明是安全的。
我还特意写了三份"错误版本"，编译器必须把它们拒绝掉才算数。
它做到了。 五月最疯的时候，一个月提交了 576 次。平均每天十九次。
直到今天，我偶然在头条上刷到了MooonBit这个项目的信息，我一看，我们的目标和想法几乎完全一样，他们是一个专业的团队，而我完全靠AI在写代码。那我所做的一切完全失去了意义。
我不死心，让 AI 把它装到我电脑上，把我那三个例子原封不动搬过去。 一次通过。零修改。
我花了两个多星期做出来的一个核心功能，人家那边是平台自带的，根本不用做。
那一刻，真的好难受。
想了三四个小时，我最终决定停下来，并将其开源，将其奉献给全世界，让有缘，有心的人去继续，也是向世界证明，我这个非技术背景的人，曾经做过一件高手们想到的事。与他们的想法能撞上，是我的荣幸。
停下来并开源，不是因为做砸了。它跑得好好的，784 个测试全绿。
是因为我想明白了：我做这个，是想做出真有人用的东西。而这条路上已经有人跑在前面，还跑了四年。我一个 53 岁的门外汉，追不上，也不该硬追。
所以我把代码、文档、198 份决策记录、24 份审计报告，全部整理干净，开源出去。
谁有兴趣，谁接着做。
我还专门写了一份《收尾报告》，把它能做什么、不能做什么、哪些坑我没填，一条一条老老实实写清楚。不吹牛，不藏短。
有点舍不得。 毕竟四个月，几乎每天都在想它。
但我不后悔。
53 岁了，还能从零做出一个能跑、能被机器证明、能拿给别人看的东西——这件事本身，比它最后有没有人用，对我更重要。
认输和认怂，是两回事。
我认的是这条赛道上人家更强，不是认自己不行。
下一个项目，我已经在做了。这次我学乖了——先去看看别人在做什么，再动手。
在github上搜索VeriTac，你会看到他，请记住，一个53岁的门外汉曾经想开发一款“面向AI编程”的编程语言的故事在那里。