未命名检查点

昨天没有把跑在TLSe上的Redis鼓捣出来，今天继续。

似乎想到了知道在某个地方加上一个tls_write(..)就好了，但是还是等下再试。在等什么呢？等待戈多（

昨天和ℒ开了一个毫无准备的会，也是预料之中的没啥成果，落寞的二人结束了无果而终的会议.jpg

期间试图重新理清我想做个什么样的项目。理得也不是很清。

最后ℒ提到可以做个形式化验证的EVM。是个很靠谱的主意，就是很难不被别人想到过。之后看看。

---

我理清的主要思路就是，不要试图编造需求和动机，要实打实地做点什么应用，然后从应用中去找需求。

我能有什么应用去做呢。我想做什么应用呢。

我想做游戏。

总之先再想想怎么做个Minecraft出来吧。

偶然发现了Google搜Minecraft的彩蛋。