那么这周又很失败喽（逃走

https://t.me/dsuses/2889

#Android #dev 那些工业系的理论，也准备学，那有 Qt5 的书准备看

题外话，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