这周大概就是半天，我会先讲笔记（当然） #life

然后就是网购点东西，包括衣服、数位板（也想买 MIDI 键盘，但不急用所以算了

然后就是闲得练下小提琴（

最后吃完饭后我会弄点技术相关的（包括 Agda 定理证明方面再发点什么？），不过不会太久。主要还是生活为主

#life duangsuse 又回来啦！ 🐱\再次

最后的结局：除了第一个，都没时间（跑

#Android #Coolapk

📓 时过境迁，已经 100 天过去了

作一个小小的总结和回顾 #life #archive

回顾这 100 天的时光，除了把生活过穷了以外，没有别的问题，能够接受


我这个学期好像学习没有进步，但别的地方有很大进步... 打字速度... 也还好 ;

谢谢... 突然发现谢谁呢？
她真的是对我最无私的吧，母子之间的关系真的是很特殊的，谢谢什么呢？

曾经需要陪伴的我能够得到这么多爱，可其实她也因为有我而开心着...
因为能正常的成长，受到正常的关心，我才能在这里说出这些话...

后来我却一直坐在电脑前面，我没有肯花那十几分钟的时间，甚至为陪不陪下去散步让她生气

这才是最大的不公平吧...

现在又该如何偿还曾经她的那些陪伴呢？
已经成为过去
没有什么『通灵』的事
现实还是现实，生活还在继续，甚至比以前还好了些，或许
可要需我去陪伴的人在哪里呢？

她在我需要陪伴的时候好好陪了我，教育了我，可是我最后却没能理解她的话，我完全不知道，那时的我哪里能想到

曾经生活里熟悉的人，也会在某一天突然消失，然后慢慢淡出自己的记忆...

这和我曾经的那些好朋友、同学又有什么不同呢？

只是一个『永远』不会再见，一个或许还能再见吧...

得病后她又活了几年，可我陪伴了多久呢...

谢谢，这两个字这么轻，这么空洞，怎么去表述这段关系呢...


如果一定要像鲁迅写过的那样，那个暑假，我做过最后悔的事情可能是在她因为我的不陪伴而开始抱怨病痛的时候，我说：

“那么多癌症病人不都活着吗？”

也不知道是在宽慰她，还是在指责她没有好好的忍受病痛，活久一点，反而还成天喊疼

她当时立刻就离开我的房间了，没有说任何的话

我还是回去吧... 回家吧
或许后来也能组建自己的家庭
今后的路，即使没有她，也会好好的生活下去的。

#SYSadmin #ANdoird #Haha 2333333... 🙈

我干嘛脑残在根目录 rm -rf 啊啊啊啊
想删掉 data 内除了 media 的所有东西 删成了所有目录除了 media 的所有东西

目前的版本它的作用就是把这种 GeekSpec 代码：

searchUser(type:String?{username,nickname,bio}, kw-path:String, sort:String?{created,followers}) -> array:GeekUser
  = user/search/{kw}

翻译成 Kotlin + Spring Controller bind 的控制器接口

@GetMapping("user/search/{kw}")
@ResponseBody
fun searchUser(@RequestParam("type") type: String/* Maybe username or nickname or bio */, @PathVariable("kw") kw: String, @RequestParam("sort") sort: String/* Maybe created or followers */): List<GeekUser> {
  TODO()
}

目前仍然有不少小瑕疵正在修改