#build #sysadmin 安装 VBox，黑人问号 只好 --nodeps

/usr/lib/virtualbox/VirtualBox: /lib64/libc.so.6: version `GLIBC_2.28' not found (required by /usr/lib/virtualbox/VBoxXPCOM.so)

[DuangSUSE@duangsuse]~% file /lib64/libc.so.6
/lib64/libc.so.6: symbolic link to libc-2.27.so

无奈，只得更新很久没更的 Glibc 版本了... 祝我不会爆炸

千万千万不要爆炸啊...

没有爆炸... 但是... Glibc 版本不够... 是如何做到在 Fedora 只有打包 2.27 的时候需要 2.28 的... Angry!!!

于是又是失败，好讨厌的感觉~ 😿

https://fedora.pkgs.org/29/fedora-updates-x86_64/glibc-2.28-26.fc29.x86_64.rpm.html

这里有，不过是 Fedora 29 的... 原来我的系统发行版本落后于时代了么...

#Lua MoonScript.org ? （不是

Typed Lua？ Maybe

我考虑的主要是它的语法扩展没有 MoonScript 那么明显
看起来貌似只扩展了 function (a: number, b: string) 这种类型定义

这是什么 Lua 方言？（代码来自文明 6）

可能的确是 TypedLua

不得不更新 Fedora 到最新的 29... #sysadmin 是更新！好耶！

准备按照这个文档更新，待会我会 Ctrl - Alt - F2 切到 TTY2 下 systemctl isolate multi-user; dnf update; dnf --releasever=29 --setopt=deltarpm=false distro-sync

貌似脚本自己给包办了（要下载这么多 G...

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

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（隐式类型转换）非常优秀地突出了弱类型语言的弱（智）势。真棒。