题外话，Lua 之前可以认为是前身的 [SOL]( https://www.lua.org/history.html#21 ) 语言里类型定义和 TypedLua 很像

type @track { x:number,y:number= 23, z=0}

type @line { t:@track=@track{x=8},z:number*}
t1 = @track { y = 9, x = 10, z="hi!"}
l = @line { t= @track{x=t1.y, y=t1.x}, z=[2,3,4] }

#recommended #zhihu #China #school #math 这个 NB 了，不过回答都有价值，推荐阅读。你们大概也看得到我们软件工程和各种信息技术包括计算机科学方面和数学上表述方式其实是有差别的，我们更需要描述过程，他们更需要描述复杂的关系，然后式子们都比较复杂难看，复杂度留在表示上无法封装，也是难免的。毕竟这就是数学嘛。计算机科学程序设计理论上面 PL 们要去描述的那些东西还是相对公式们比较 trivial 的，但如果去学静态分析、编译优化什么的，对学这个公式变换啊、分析啊都有很大帮助，其实平时大家写的程式码（代码）比起数学公式（而言）于物理公式也是差不多的，所以比起数学家更多计算机科学家都是物理学家。当然同时是数学家的也有。个人水平还不怎么样，说说自己的看法而已。求大佬多（我没说错）喷。

能问出这种问题就已经反映出其水平如何

https://www.zhihu.com/question/306537777

#JavaScript #Qt #desktop #dev #Google 同意，绝对同意。

除最后一句外都是槽点

#PL #JavaScript 虽然很失败，我觉得另外一个比较失败的可能是各种 implicit conversations（隐式类型转换）非常优秀地突出了弱类型语言的弱（智）势。真棒。

五点共圆证明过吗？🐸

自从我最近开始接触一些简单的数学后，我发现我不会再像以前一样吐槽他们对问题的表述方式那样无关紧要的东西了

数学真的是需要智商的，有的时候你的脑子不行就是不行，别人能 get 到的 implicit 的东西（或许是快速一点基于缓存的加法减法运算方式而不是掰手指、记录进位，或许是基数不为 10 的进位方式诸如 16 进制、二进制）

你或许就不行，这方面是没有办法的，智商不行就是不行。
没有什么鸡汤说，故事总是高于生活，如果某某孩子的底子不行，鼓励什么的、打什么的，也只能是『治标（努力程度）不治本（智力水平）』的


有些人记单词就是快，一些人就是能很快 get 到那些数学知识点 while 其他人连式子参数模式都没识别出来的时候，很好的例子就是我自己，我以前是连 log_n(x) （_ 是说下标）都不理解然后疯狂吐槽他们为什么不把 logn(n, x) 两个参数颠倒一下... 这些非原则性的问题，大概就是所谓的幼稚。（我当时以为 log(8, 2) = 3 还比 log(2, 8) = 3 好看一些，但其实都是数学上 trivial 的不得了的东西，一点表面现象而已，羞于提这些事情... 算了，我现在就是这水平）

同样的学习，类似的熟悉度，一些人解题的时候就是能很快感知到可能的思路，而另一些人就是没有思路的，有天才，但一直很蠢的人可能还是比较少的。关键再于爱不爱学习

#INFO duangsuse 更名：¯\_(ツ)_/¯ |学渣|你好世界 -> ¯\_(ツ)_/¯ |学渣 ∈ [E²PROM, 含幺半群)

#school #Haha #INfo

你说我一个小县城模联的公关总监，怎么就成了今年 HPMUNC （湖南省中学生模拟联合国大会）的主席了呢
— Rachel (ﾉД`)ｼｸｼｸ (@tangrui003) December 24, 2018

#sysadmin rm -f （无视文件是否存在并且不作提示） -r （递归删除） 反着放有点难受 hhh

转：

我是一个C程序员，领导叫我去维护一个shell脚本，要求别删cache目录。我看了一下，原来写的是 rm -fr cache tmp 。我想这还不简单，上来就把cache注释掉：rm -fr /* cache */ tmp。完美！— 骨头 (@bones7456) December 26, 2018

#PL #Kotlin #Android 好耶！！！推荐买点书什么的看，推荐了解一下 AnKo

终于 #真香 地开始学 Kotlin 了（

#Android #dev #sysadmin 是的，他们有 CLI 工具 twrp

破 TWRP 不能触摸……直接废掉
第一次了解到原来还有 twrp 命令行这种东西（

所以这个人呐，就是要不断的学习，不断的努力提升自己

（当然我不是说 Java 比 Kotlin 简单很多，简单很多是真的，但是很多人连 Java 有 @ label 语法、vararg 语法糖什么的都不会用，标准库的一些语言内部的接口比如 Iterable 都不知道，Annotation 处理机制也不了解，这样的话还是推荐先了解一下 Java 8，推荐自然还是看本本的。

Java 比起 Ruby、Python 这种重视语法灵活性的语言语法规则少一些（不是说语法层面的东西就不值得考虑，我相信在座的各位都没有一个人敢说自己了解 Java 8 所有的语法细节的，我也不敢说，有时候单单语法上面的东西还涉及一些更相关后面 AST 上面的东西... 比如优先级结合性求值顺序貌似吧），但是其标准库、运行环境也是有值得学的东西，相当可圈可点，比如 java.util.concurrent 包、nio、Unsafe 之类的，比如 java.net

说实在话，比起担心淫王所说的本本主义者，我觉得现在的前端开发者（这里包括 Android 里的前端）更应该好好的看看书们，因为里面真的有很多值得一学的知识，比所谓的单纯本本主义要重要得多。

不要以他这句话就不看任何书甚至以『实践出真知』、『x 年经验』为荣了，千万别这么想，不然容易被一些可能是比较 trivial 的东西蒙蔽，那就危险了。

一天比一天好，最后累积的就是一个更好的自己
否则，学如逆水行舟，别人进你不进等于你退。