里面的东西基本都是没有版权问题的，如果只是自己打印的话
冰封博文版权是 CC-BY-NC-ND，也就是说不可以派生取用，但是可以完整的打印下来

准备打 JNI 的博文时好像没墨了还是未知错误...

好像是没墨了... 标准参考 A4 可打印 190 张，最大可能可以达到这个标准的 2 倍，现在打了 Rustnomicon （足足 140 张+）后残血了还是坚持又双打了四十多张...

HPLIP 就没能查到那个状态码是什么意思... 本来状态描述应该在打印机端生成的或许它都不知道是为啥？Unknown Error？

#recommended #jni #java #backend #blog
http://ice1000.org/2017/01/29/JNITutorial3/
http://ice1000.org/2017/02/03/JNITutorial4/
http://ice1000.org/2017/02/18/JNITutorial5/
http://ice1000.org/2017/02/19/JNITutorialFinal/

#windows #tips #sysadmin

#投稿
另一个极端：
- 下载 https://live.sysinternals.com/psexec64.exe
- 按住 Shift，右键下载文件夹空白处，点击 “在此处打开命令提示符/PowerShell”
- 执行以下命令
psexec64.exe -i -s -d cmd
通过 UAC 提权申请，
即可获得 SYSTEM 权限组的命令提示符窗口，为所欲为（
（psexec 开发者 Sysinternals 是 MS 收购过来的，不用担心安全性）
由 @kruintian 提供，感谢贡献

#INFO #backend #sysadmin Vultr 好像支持微信支付了，不过考虑到安全性建议不要使用。

#Kotlin Don't block, Keep moving!
不要阻塞，持续执行！

#coolapk 今天回酷安看了一下，寒歌 @coldsong @ 了我，大概就是一个回忆历史性的动态

经典 clock 例子（从 ES6 那里看到的）

inline /* suspend? */ fun coMakeClock(context: CoroutineContext): /* Bool? */ = produce<Bool>(context) {
  var accum = 0
  while (true) {
    send(false)
    accum += 1
    send(true)
    accum += 1
  }
  return accum
}

目前对于这些异步的概念 e.g. 锁、同步、携程、async 函数 尚且不熟悉呢
（而且这个例子写的不好）（因为其实大概可以用 generateSequence 写）

#INFO 忘记开 Sign Message 了... 抱歉

#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 开发环境部署，注释同上