duangsuse::Echo
面向开发者:今天已经开始写控制器业务逻辑了,暂时在从 v1完成之前都是码农级别的工作。吐嘈:不过我也懒得给那个 API Index 的东西写个语法定义然后自动生成,因为我很懒... 面向爱操心者:GeekApk 的第一个 SpringBoot MVC 架构的后端中框架(比较基础部分的代码)已经建立好了,剩下的是添加 JPA (Model)层和 Controller 层逻辑,反正就是:后面几天都是无聊至极的业务代码,之前的东西确定能用,总之就是说到完成前还需要写的代码很无聊 面向普通用户:GeekApk 这次坐实要复活了…
GeekApk 依然继续写,我还是想多看点知识性的东西多打印点论文啊(跑
duangsuse::Echo
GeekApk 依然继续写,我还是想多看点知识性的东西多打印点论文啊(跑
实际上目前要做的都是机械化的东西,过几天开始写 View 的时候会暂时好一点,可是没多大用
duangsuse::Echo
实际上目前要做的都是机械化的东西,过几天开始写 View 的时候会暂时好一点,可是没多大用
治标不治本,未来的期望是不要写 boilerplate,Adapt RESTful 并且使用 GeekApk API 目前文档使用的语言编写 API 接口和逻辑,能不修改的默认行为就只需要写数据检验就可以了,DSL 层面可以做支持
This media is not supported in your browser
VIEW IN TELEGRAM
duangsuse::Echo
好气哟,妈耶,花了至少一个下午的时间解决集成测试 CDI 注入的问题... 最后才发现是自己没看文档,DDG 上找了半天脑子都快被灌满 Bean 和 Context 了... 还有各种 XML... Componenet... ComponentScan,,, Configuration... Mock... Repository... 啥 Jpa 的 entityManager 还找不到... 气死了,如果还解决不了我就不要拿 Java 写的 Mock 测试了
顺便又看了不少名词,其中一个 DAO 查了下意思居然就是 Data Access Object 的意思... 这不就是 Domain Object 嘛... 还不如叫 Entity 算了,现在看来这种缩写式的名词还真是**...
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from duangsuse Throws
我都要当场哭晕了,一个下午,我又不是天才,啥都没写成也啥都没学到,真是白白浪费了半天时间!气死我了
Forwarded from 羽毛的小白板
羽毛的小白板
从石器时代穿越到现代的人 https://www.cnblogs.com/xiyuanMore/p/10347346.html#4175910
This media is not supported in your browser
VIEW IN TELEGRAM
https://ice1000.org/lagda/PathToHigherInductiveTypes.html
#PLT #Math #FP .... 赶不上,再说人家现在可能已经到国外留学了,不管怎么说肯定都赶不上吧(
#PLT #Math #FP .... 赶不上,再说人家现在可能已经到国外留学了,不管怎么说肯定都赶不上吧(
Forwarded from duangsuse Throws
plot, imagesc, surface, figure, subplot, hold on/off光会说名词不算什么,能列举出这些才算真‘本事啊... 😶
如果学 CS 的不能像 Morisia 学姐一样说点历史记点年份和语言特性,而只是能满嘴蹦名词而已,要学习何用?
duangsuse::Echo
不过 @drakeet 可能还是能赶上的,加油(开玩笑
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from duangsuse Throws
http://agda.github.io/agda-stdlib/Data.Integer.Properties.html#8213 不要以为已经学了很多了... 其实还有很多没学,不看那些还在工程(广度)上的东西吧,这些... 我现在也就是还知道一个 GADT 的 ℕ,而且一些 operator 的 Assoc 都不知道会不会,而且我还不能看透 rewrite 后面那些东西... (就是它是谁的语法糖,因为它这个展开后比较复杂) 再看看效率其实 IJ IDEA 的 Shortcut 和一些基本技巧还会用,也就是比记事本强一点的程度,算了...