duangsuse::Echo

Naive geek, GNU/Linux lover free software lover, GeekApk forever. 😉💻

24 views16:11

duangsuse::Echo

从此，duangsuse 的 bio 即是这句话，表示鼓励

*Technology unfamiliar is original sin*

24 viewsedited 16:13

duangsuse::Echo

duangsuse 是迟早继续 InScript 的，用于作为 Androlua 的替代品
记得已经在任务列表上了
下周见

22 views16:15

duangsuse::Echo

24 views16:18

duangsuse::Echo

#emmm #China TIM 群聊

26 views16:19

duangsuse::Echo

#coolapk 9/16/18 消息查看打卡

29 views16:25

duangsuse::Echo

#PL 我们来探讨一下 MS 的 z3 SMT（

25 views17:33

duangsuse::Echo

https://blog.csdn.net/alu_xd/article/details/52169885

26 views17:39

duangsuse::Echo

https://github.com/Z3Prover/z3/wiki

GitHub

Home

The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.

26 views17:43

duangsuse::Echo

（废 duangsuse
以上

26 views17:43

duangsuse::Echo

（废 duangsuse 以上

再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…

26 views17:44

duangsuse::Echo

再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…

不对… 是八十多张…

26 views18:02

duangsuse::Echo

This media is not supported in your browser

VIEW IN TELEGRAM

25 views18:03

duangsuse::Echo

开始想说 Ruby 来着后来改 Kt 了… 结果如此

27 views18:06

duangsuse::Echo

Java 8 管 () -> {} 叫 Lambda…
反正 Lambda 和 block 都差不多

我差得多的是类型论、JNI 和定理证明（

28 views18:08

duangsuse::Echo

https://github.com/DennisYurichev/SAT_SMT_by_example #PL #recommended

30 viewsedited 18:08

duangsuse::Echo

Java 8 管 () -> {} 叫 Lambda… 反正 Lambda 和 block 都差不多我差得多的是类型论、JNI 和定理证明（

KScheme 上如果我搞不清楚就算（

区别全部在于 Symbol 取值上… Chunk 不含环境 Closure 含创建时环境…

32 views18:10

duangsuse::Echo

反正垃圾收集 Refcount 共享智能指针即可

33 views18:14

duangsuse::Echo

http://www.cnblogs.com/lanxuezaipiao/p/4132096.html

33 views18:16

duangsuse::Echo

反正垃圾收集 Refcount 共享智能指针即可

据说，PHP7 采用 Rc 和 Tracing GC 协力自动管理内存

45 views18:17

duangsuse::Echo

This media is not supported in your browser

VIEW IN TELEGRAM

33 views12:30

About

Blog

Apps

Platform