Usage

#Moha #Haha 照例膜 🐸 一下

GraphRoot -> 中南海
中南海 ->(666) 倒车
中南海 ->(1) 记者会
记者会 ->(2) 批判
批判 ->(3) TooYoung
批判 ->(4) TooSimple
TooYoung ->(2) Naive
TooSimple -> Naive
Naive ->(1) IAmAngry!
Naive ->(2) 我一句话也不说！
IAmAngry! -> 是最好的
是最好的 -> 国务院
批判 ->(4) 识得唔识得啦？
识得唔识得啦？ -> 国务院
倒车 ->(2) 国务院

//国务院

正确得解

🐴 类个 🍺， #Kotlin 这 typealias 也太蠢萌了吧，和预处理有什么区别？

error: type mismatch: inferred type is Dijkstra.Node<String> but DijN<T> /* = Dijkstra.Node<T> */ was expected

🌚👍 请问 Kotlin 大大：这个 T 是什么玩意；真是连预处理模板都不如

typealias RouteSelectB<T> = MutableMap<DijN<T>, WNode<T> > // Node : Edge-Node
open class Dijkstra<T: Any>
  fun backtrace(rs: RouteSelectB<T>) = fun(end: DijN<T>, start: DijN<T>): List<DijN<T>>

我用的有错吗？为啥 T 就成了 T？难道真的是直接强行标识符名字填进去不加解析？我还以为是不能递归展开重写了一遍也没用 infer 失败一堆不好看

🤔 Typealias ❌ file-level only & no type variable resolution
🤔 Type argument + (* -> *) Kinds (Type argument for type variables) ❌ not supported, <GraphB : Map<DijN<T>, Set< WNode<T> >>> not compatible with Map<DijN<T>, Set< WNode<T> >>
🤔 (inner)Subclass ❌ Cannot inherit from Pair<A, B>: it's final
....
🤪 Expand typealiases by hand and remove the use of type extraction ✅

error: type inference failed. Expected type mismatch: inferred type is Dijkstra.WNode<String> but Dijkstra.WNode<T> was expected

瞬间服气
well done.

男人看了流泪，女人看了沉默... 😭 #Kotlin

没有能力继续写下去了，所谓型变，在实际写代码的时候，怎么能够去想该怎么办啊....

我最后写一个实际上可以用的吧 🤪
不用泛化太多了....

https://github.com/duangsuse-valid-projects/Share/commit/8c6f69f4b929ede7eedd61f2a5dd2921aa06bc66 111 commits!

🤔 duangsuse 为了保证比较好的手感，经常喜欢默写用于初始化项目的模板。

现在，duangsuse 想默写一些模板看看：

+ Docker 的 java Dockerfile (container image) 模板
+ Travis.ci 的 docker 部署模板
+ Maven POM 模板
+ HTML 模板
+ JavaEE JMS 的 Message Queue Activation
+ JavaEE JPA 的 ORM 关系： @OneToMany
+ Kotlin 里不使用大括号调用 git rev-list --count HEAD

1. Docker

FROM openjdk:alpine3.9-jdk8u171 AS builder
ADD . /app
WORKDIR /app
RUN chmod +x gradlew && ./gradlew test
RUN cp build/artifict/*.jar dist.jar

FROM openjdk:alpine3.9-jre8u171 AS runner
COPY --from=builder dist.jar .
ENTRYPOINT ["java","--jar", "dist.jar"]
—
openjdk:alpine3.9-jdk8u171 -> openjdk:8u171-jdk-alpine3.6 亦可 8u181, alpine3.8
build/artifict/*.jar -> build/libs/*.jar
AS runner 后缺少 WORKDIR /app
2. Travis.ci

langauge: minial
services:
- docker
before_install:
- VERSION=$(git rev-parse --verify HEAD | head -c7)
- DOCKER_IMGID = $DOCKER_REGION//$DOCKER_USER
- echo $DOCKER_PASS >dockerpass
install: docker login $DOCKER_REGION -u $DOCKER_USER --password-stdin <dockerpass
script: docker build . -t $DOCKER_IMGID
depoly:
--
origin: script
branch: master
script: docker push $DOCKER_IMGID
on: [tags: true]
—
minial -> minimal [typo]
services -> service

DOCKER_IMGID = "$DOCKER_REGION/$DOCKER_IMGNAME:$VERSION"
depoly:
  - provider: script
    script: docker push $DOCKER_IMGID
    on: [tags: true]

🤔 都忘了.... 但对比一下蠢 duangsuse 被自己的畸形惊艳到了,.,,,（迫真

#life 出去转了一圈，打算接下来说说三个问题
+ 打算给 TeaMeow Editor 用的 Keybinding 辅助加更多键位的支持
+ 再加个 Markdown render
+ 说说 Dijkstra.kt 对图的文本表示的 -> notation 如何变成 infix 的问题
+ 给 NBMAK 画个徽标吧...

#Machl #DIP https://github.com/zhiying8710/geetest_crack

发现了好东西。
= Geetest 是一种「验证不是机器人」(I'm not a robot, captcha)（验证码） 系统，基于「挑战」式检验
基于「生成歪七扭八的数据很容易，让机器恢复它们很难」的「事实？」设计

G2 是移动滑块的验证，用简单卷积识别应该可做
G3 第一部分是纯逻辑（不含「非精确的计算」）验证，直接可做
也可能是 G2 的滑块，通过率都是 99% （OpenCV） #CV
G4 是找七扭八扭又歪的汉字，需要 YOLO3 定位、CNN 识别汉字、CRNN 校验识别正确性
G5 也是一样，加个字典按照「语序」单词顺序就可以了

睡了.... 至于那个 Dij 的 infix 就是可递归可循环的问题，简单的说就是 LnL = LnL LnR... 你看这样注册的时候用的不就是 a -> b 的 b -> c 了么，循环就是 %2 == 0 偶数则换折叠用 lhs，此外就没啥了。 NBMAK 的打算灵魂一手，然后上我之前 SIMD BMP proc 的... 和 Throws 的头像一样操作一遍

现在比较可用，开心

#China #Huawei #Haha 🐸 蛤为！「真香！」

🤔 这周的主要问题是完成部分的 BinaryStreamIO，虽然只有一个晚上。

本来，BinaryStreamIO 设计的有 struct 和 nat 包，不得不暂时不写
struct 包依赖 org.duangsuse.condel，是一门独立的嵌入式编程语言，可能不能立刻写

此外，列表的部分如下

1. 谈谈区块链技术的应用方向、实际能力和「巴菲特午餐」
2. Dijkstra：WDAG 的文本表示方法

5元 ->
10元 ->
20元 ->
 整数币 ->
现金 ->
人民币 ->
   货币

(a) 有 N 个集合被称为前驱集合，存在前驱栈里
(b) 在扫描过程中，视前部（初始 MAX_VALUE）空格（缩进）的个数，如果它大于上行则前驱集合所有元素转移为当前行
如果等于则当前行后继元添加到前驱集合
如果小于，则开启新前驱集合
3. 新的强制类型转换 + 泛型类方式封装使用 typealias 的 Dijkstra 算法实现（object Solver + class Dijkstra<T>），同时提供 JavaScript 和 Python 的弱类型版本
4. 迫真猜测 Bellman-Ford — 两种支持负权重的方法：反向平均/重新传递
5. 关于 NBMAK (名字 Arkita_ADNKBot) 的基本交互 — /approve 引入方式和群聊专有的 flags, /lex
6. BinaryStreamIO
7. 🤔??? 这里有一个项目，可是 duangsuse 不想写出
8. 分享三篇文章《预支奖金》《火车盒饭难吃的背后》《知识晒成咸鱼干》
9. 分享一些书（如果没有）《时间深渊》《云养汉》《天贼》
10. #FP Agda：终于基本理解了 rev.rev = id 的归纳法
11. KotlinCN: inline fun <reified T> isz(vararg xs: Any) = xs.all { it is T }
以上是我靠着一个 counted memo 记忆了一个一个星期的东西，可能有遗漏，不过遗漏恰恰说明它不是最重要的东西 🤔

显而易见地（因为它们很费事），BinaryStreamIO 最好的特性 StructIO 是不能完成了，不过还是打算
1. 除了 StructIO 和 Nat numbers 的部分完成
2. 写 CondEL 的 Parser