Interlude

关于epoll的性能测试想了想但是没太想清楚怎么写，要不还是先放放吧。

MonoGame也看了一下。它看起来可能也没用Vulkan是小事，主要是它好像把图形层封装得太彻底了。做太多事情了捏。还是再找一个能让我手动控制更多底层的方案吧。

总之先把DSLabs做完，TLA+不会写也先把环境搭了。DSLabs之后还想给上游做点更新的，要抓紧了。

还要规划下行程。今天雨停了的话去游泳。还要练琴。还要锻炼上肢肌肉。