实际上目前要做的都是机械化的东西，过几天开始写 View 的时候会暂时好一点，可是没多大用

治标不治本，未来的期望是不要写 boilerplate，Adapt RESTful 并且使用 GeekApk API 目前文档使用的语言编写 API 接口和逻辑，能不修改的默认行为就只需要写数据检验就可以了，DSL 层面可以做支持

好气哟，妈耶，花了至少一个下午的时间解决集成测试 CDI 注入的问题... 最后才发现是自己没看文档，DDG 上找了半天脑子都快被灌满 Bean 和 Context 了... 还有各种 XML... Componenet... ComponentScan,,, Configuration... Mock... Repository... 啥 Jpa 的 entityManager 还找不到... 气死了，如果还解决不了我就不要拿 Java 写的 Mock 测试了

所以以后要想不要浪费这种时间，多看看例子...

顺便又看了不少名词，其中一个 DAO 查了下意思居然就是 Data Access Object 的意思... 这不就是 Domain Object 嘛... 还不如叫 Entity 算了，现在看来这种缩写式的名词还真是**...

#Haha #Java #CSharp #recommended #desktop

从石器时代穿越到现代的人

https://www.cnblogs.com/xiyuanMore/p/10347346.html#4175910

这个笑话可以有。

#SCM #Git https://ice1000.org/2017/12/15/RebaseOrMerge/

https://ice1000.org/lagda/PathToHigherInductiveTypes.html

#PLT #Math #FP .... 赶不上，再说人家现在可能已经到国外留学了，不管怎么说肯定都赶不上吧（

#bilibili #Math #DSP #Octave https://www.bilibili.com/video/av2485673

plot, imagesc, surface, figure, subplot, hold on/off

光会说名词不算什么，能列举出这些才算真‘本事啊... 😶

如果学 CS 的不能像 Morisia 学姐一样说点历史记点年份和语言特性，而只是能满嘴蹦名词而已，要学习何用？

不过 @drakeet 可能还是能赶上的，加油（开玩笑

http://agda.github.io/agda-stdlib/Data.Integer.Properties.html#8213 不要以为已经学了很多了... 其实还有很多没学，不看那些还在工程（广度）上的东西吧，这些... 我现在也就是还知道一个 GADT 的 ℕ，而且一些 operator 的 Assoc 都不知道会不会，而且我还不能看透 rewrite 后面那些东西... （就是它是谁的语法糖，因为它这个展开后比较复杂） 再看看效率其实 IJ IDEA 的 Shortcut 和一些基本技巧还会用，也就是比记事本强一点的程度，算了...

我觉得我是不是应该考虑用正则表达式匹配生成这些无聊的东西了...