点子 / AAAI / 形式化验证

大家都知道Makefile不好用，所以可以写个make。

不想发明语法并且舍弃编辑器支持，所以应该会做成Python的DSL。也可能是其他语言的DSL但是可能性不大。

---

大家也都知道pandas不好用。不过这个的话倒也没什么思路，还是先看看目前的替代方案都是怎么回事吧。

---

投个AAAI的workshop的任务依然很艰巨。总之能学到点东西已经是不亏。

因为训练大模型的成本对领域中的大部分玩家都是难以驾驭的，因此大量研究都着眼于还有什么使用大模型推理的新姿势，还挺有趣的。

再学一天然后就必须得开始动手了。

---

昨天毫无准备地跟隔壁老板开了会。他倒是有备而来说个不停。一时也不知道该如何看待，先慢慢来吧。

---

昨天还给DSLabs交了一个PR，添加了一个VS Code配置文件，不知道他们想要不想要。

之前想着要写一个让客户端超时类测试更快失败的PR，还没决定要不要写。后面再看。

---

IOPDDL测试数据集的基线结果还是没有跑，组里的机器一直都被赶OSDI的小伙伴占用。可能这就是名字里带DDL带来的后果吧。（