#school 我们物理老师比较火爆，大概大学的时候还是学过计算机的甚至还知道面向对象范式（btw，我最近才补上面向对象四大特性最后一个：继承封装多态抽象）
可惜连 M$Office Excel VB 宏都不会写，她想搞个点名器，我打算先想办法找个 Excel 写一下然后再用 C++ 写个算了...（btw. Rustonomicon 文档上说 Trait Drop 自动递归 drop 所有 struct/enum 字段所以如果只有这个行为不需要写 impl Drop for Type 好耶，比 C++ Finializer 一个个 delete 强, btw, 我发现 nomicon CFFI 的例子也是用的 snappy which 我之前写过绑定但我不知道如何 safe 所以都是 unsafe fn btw which 这种风格自然是跟冰封鍕来的）

Win32 平台 API 也大概封装良好，不知道能不能快速上手，打算搞的悬浮窗的，界面算法设计和项目管理都几乎不花时间

#cs #daily btw 我这周又双看了不少资料瞬间爆炸（删除）（怎么会说这种...）（emmmm）（好吧是「帽子戴不上了吧」 which 是 Sussman 就是那个 Scheme 作者之一【不是】是 Friedman 说的（儿童书 The Little Schemer 上））

这些资料包括，接下来频道江会发一些很多哲学讨论...（我真是苟改不了 **... 理由请翻我潵频道
同时 InScript 我都打算 freeze 1.0 设计了可上周还是啥都没做 emmm 以后有时间吧。我的设计都写在纸上
这周我自己的打算写好 aRsi（我也不知道 R 是啥的缩写，或许是 Rikka 逃跑（可是 Sexp Interpreter 和 Rikka 有什么干系 a: 希腊还是拉丁字符 "alpha"）
还有 Gekyll（没错还是...）

impl 这些资料包括.... ........

呃其实嘛我总结一下包含博文、代码示例、嵌入式、函数式（此式非彼式）（好像的确是一样...）、操作系统、编译原理、逻辑式、程序语言相关的内容，因为比较多所以我不可能全都记得

（实际上到的时候我默写了一下，我记性还不错因为我只忘了三份资料分别是 《Agda 中的 coinductive type》 《GeekApk HTTPS API 枚举》 《（还是忘记了...）》
（很厉害哦，我足足默写下来了二十多份资料）（别拿某综艺栏目和世界纪录嘲讽我...）（233333）

我列举一下大概是（因为我使用了双面打印技术而且一个文件夹 slot 可能放了几份打印资料，所以有混淆不好看）（完整列表到时候放）

+ Rustonomicon （Rust 底层理念和 C 交互书）（里面囿教你怎么写 std 外面的 Vec ptr::Unique Box<T> Rc<T> （别问我为啥 T 只有两个）（别问我为啥没有 `'a`）（因为懒）
+ Rust 宏小册（TLMB 不 TBRM，The little Book of Rust Macros）讲 Rust 宏的，想必 @zhy0919 你也看过（Rust 民必备书籍）（当然，其实我很奇怪 why Rust 标记类型 ty 是 type 而 item 却没有缩写）（反直觉...）（你看我们光明正大的学逻辑式那叫有 B 格的反直觉在命名上反直觉很 low 的不是吗...）
+ GeekApk... 说真的，API 文档真的是莫名的好看，我觉得真 tm 好看啊... 可惜了 当然我现在是有能力实现了 （或许还要等半年吧哈哈）
+ 计算机网络复习笔记，其实我没看
+ Web 信息处理应用（信息技术经典嘛）（就是熊的 web.pdf）
+ fold.pdf 标题是 A tutorial on the universality and expressiveness of fold where fold 是函数式集合处理经典函子 which 定义得 like this (Kotlin code)

inline fun <T, R> Array<out T>.fold(
    initial: R,
    operation: (acc: R, T) -> R): R {
  var accum = initial
  forEach { x ->
    accum = operation(accum, x)
  }
}

:( 我也写不出来！）因为函数式内容还需练习 https://en.wikipedia.org/wiki/Fold_%28higher-order_function%29 （给个提示，它（fold）也叫 reduce）

 foldl :: (b -> a -> b) -> b -> [a] -> b
 foldl f z []     = z
 foldl f z (x:xs) = foldl f (f z x) xs

至于那行英文我也看不懂别问我（坏笑）（其实我是看得懂的）（废话）

+ Lice 的静态作用域实现（到今天我才知道啥是 lexical scoping 啥是 dynamic scoping 然后才知道 Lime 本质上虽然不内建作用域实现但其实是 dynamic,,,）（其实也算 lexical 吧我们的宏是 lexical 规则好的）（没错学术性的定义我还看得懂...什么动态作用域的时间是词法作用域的位置）（龙书很难吗？）

+ PL/0 就是那个编译原理实践的
+ MIPS CPU 设计，我没看懂
+ Huffman 编码压缩，我觉得我也可以写一个 2333
+ FoPL 的 GC 算法讨论（说到 GC，那个 bumpptr（指针碰撞分配）式 GC 的正式名称是什么）（我知道它只是 GC 分配方式的一部分不是整个算法）（alloca [i32 x 8] ....）non-overlapping~
+ R 大（Rednaxela）的解释器和 AST Walker Interpreter / VM 随谈，大佬啊，顺便学习了一波寄存器窗口什么的
+ Scheme IL、Sexp 语法，我设计的（自豪）(其实 MinVM 我早在半年前就设计过了...）
+ 一些 DOS 汇编代码，计算器之类的...
+ typesafe template printf 什么 value -> type = dependent type 啊 type -> value = parametric polymorphism constexpr 啊学些技术 terminology 别人看不懂就会不明觉历的 2333
+ METO 的 smms.js （node，ES6）（不过没有用 ES6 的编译期模块系统）（我跟你们讲啊会 functional 的 engineering Geeks 就是要有这种 data.trim().split("\n").map(x => x.split("\t")) 的自豪，别人几个 imperative 指令才写的出来的我一条 collection type method call chain 就顶别人一家，赋值都不用蛤蛤蛤 🐸📝
+ learn.hs，反正就是 Haskell 这 NB 著名 CS 系 Functional 语言的入门，一看前面小白还开心后面开始 Haskell 递归定义、currying 的时候就懵了，我目前还属于小白部分...
+ Ruiko.kt，冰冰翻译的 FSharp 到 Kotlin 的 LR(?) Combinator (?: 我也不知道 n 是几...)（学会了 data class .... 只有此？）
+ Agda 中的证明，感觉有点懵圈但是有点点懂了的样子，就是 pattern matching 然后重新 construct 什么的，但这很抽象... 我还亲手抄了代码到纸上
+ 字典树（Trie）的我没看，不过我设计过 ByteTrie 本频道之前有
+ Agda 的 coinductive type，面向工程派系就是 Iterable 是 coinductive 而 Collection 是 inductive，我目前连小学生看的 definition 都看不懂...
+ 从编程语言的角度看 deep learning，是冰冰「的（强调{3}）」学姐的，我也搞不懂那是谁... 某 CS 系大学生吧，她大概开发了一款叫 DeepDarkFantasy（滑稽深邃黑暗幻象）的 NN （神经网络 NeuralNetworks）框架
+ Kotlin 强行 FP Point-Free 风格，就是「左右约掉一个参数」好像是说 Currying 的
+ 函数式 dfs 和 CS 偏序理论，冰封博客「知其变，守其恒」
+ 有趣的语法设计细节（低能）
+ Kotlin F**ks Java Again（可出本）（当然还是 @ice1000 的博客）
+ CMake with JNI 开发环境部署，注释同上

写完整个人都升华了，这两年姿势水平变化完美映射人类自千年囍来的科技发展，我感觉别人看一天能学会的知识我半个小时都能看完（胡话）

（绝望）不过里面居然没有 Laravel 的入门教程和哪怕一本 web 后端文档…

我感觉靠着现在这个技能栈啊我可能会被某些工程系的「dalao」喷什么混淆、VCS、Jawa 内存泄漏检查、画 UI、动画曲线、Android API、Future/RxJavaRxKt 封装、lifecycle、XML 之类的技能... 他们喷就喷吧...

「知其变、守其恒」，我很赞赏这个格言。如果你已经理解了这一切抽象的底层，他们其实并没有什么难学的。如果你连很不符合直觉的 declarative 范式都能学会，你能理解 JavaEE、OSGi 之类的企业级应用开发，这些小技能何足挂齿呢？

直觉的确是比较和个人相关的「属性」，但个人感觉其实日常开发中很多人都是有一样的「直觉」的，而 Rust 的 tt ty pat item 这些名称打破了直觉我觉得很不值

说道动画曲线，我连二次贝塞尔都搞不懂... 还是想办法多学习一下吧... 🐸

你们谁能告诉我 why 这条广播足足有... 81+ read

ps. 我看到过某个朋友的朋友写过一个 HTML/CSS/JS 的点名器动画做得比较好，正在寻找中
btw. 这个点名器不能满足需求。我需要给 Windows Tablet 设计的那种在放 ppt 时也能用的点名器
btw. 我准备给 seewo.com 提个建议让他们把这个功能加进去以后就不需要我的那个了
btw. C++ 刚学的，为什么不用 D？因为懒得用 D...

#blog #sysadmin #web https://blog.lwl12.com/read/upgrade-to-3rd-gen-server-env.html

#java #kotlin #android

#life #tech 真的想有一天像 Jeff 一样熟悉各种模型各种范式各种惯用法然后可以明确指出还有什么可以优化的，有什么需要注意的，可是我现在还没有这个工程经验积累