歪果仁居然用这种 Sticker.....

文化输出（

哪天外国人也学会两开花了（x

#sysadmin #life duangsuse 回来了！这次我更新了 Fedora 到 F29(Twenty Nine)

说个好笑的，Dnf（Dandified Yum，Fedora 28 的软件包管理器）离线更新的时候那个下载日志还是什么居然积累到了 18G，把我的 SSD 塞炸了... hhhhh #Haha

#yearPassed 新年新系统 release version！（Fedora 28 :> Fedora 29）

#archive #life #consumer 我买了一个 499 的 Wacom 数位板（指 18 年淘宝上最火的那个）（别喷我用淘宝，我爸的）

顺便又买了新墨盒... 又可以打印新 papper 们看了（指 HP 810（好吧，反正就是适配 HP DeskJet 1112 系列的

#School 这周马上就要放寒假了（还有一个月） 🤔

duangsuse 的安排嘛... 其他的都好了，本来每周就是讲东西为主，然后本周买了别的东西，画了几张画，最后书什么的基本没看。嗯嗯。

这周就是讲点东西，发点照片，没了。

顺便说一下，推荐有打印机又看过书的大家可以没事带几张 papper （比如之前那个代数程序逻辑的 fold.pdf，我在 USTC 中科大学生的分享里淘到的，当然论文基本都是公开的你们可以随便找个大学比如 Illinois 的 CS 系看...）到例如公交车的地方看看，因为我觉得吧，公交车之类的地方可能思维都比较开放一些，学习起来比较有效果，可惜就是很慢就是了

至于我上面提到的 papper A tutorial on the universality and expressiveness of fold 可以在 这里（Nottingham in UK 大学）下载 #papper #FP #CS
个人觉得... 虽然有些不常见的词，但是有一定函数式编程和程序分析变换、形式化证明基础的人虽然可能看很久但收获不错。

见好就收。

#GitHub #dev

萨摩终于挤进 githubrank 了，然后上下一翻发现了好多熟悉的面孔（🌚

#Math #NEWS RIP，不过其实我懒得去了解黎曼猜想了... 算了我就不讲，反正我数学也一直不好

剑桥大学三一学院大师，博士，数学家，迈克尔·阿蒂亚爵士，于2019年1月11日去世，曾获菲尔兹奖，费尔特里奖，费萨尔国王国际科学奖，本杰明富兰克林奖章，尼赫鲁勋章，英国皇家勋章协会科普利奖章，阿贝尔奖，被誉为当今最伟大的数学家之一，在2018年9月在海德堡获奖者论坛上宣讲对黎曼猜想的证明

#Firefox #Mozilla 🌚 2333333 #Haha #life

Firefox 会在新标签页隐藏你经常访问的成人网站

如果你没有将浏览器的新标签页设为空白，那么新标签页通常会显示你经常访问的网站快捷键。但如果你经常访问成人网站，那么被人看到新标签页可能会感到尴尬。开源浏览器 Firefox 被发现正加入代码来隐藏你的秘密。它包含了硬编码的成人网站域名名单，如果你经常访问的成人网站位居其中，那么新的标签页将会自动隐藏这些网站。只要你访问的成人网站是主流的，那么你不用再担心会遭遇尴尬。Firefox 的黑名单包含了 3000 个域名，除了成人网站外还有盗版和 BT 网站。Media

https://www.solidot.org/story?sid=59232

#life 对于上周瞎眼订户的补贴（

本周画的最好的一张线稿，足足花了三节课（当然后来我的速度提升到了 1/4 节课就可以画一个头，可以说是非常 efficient 了

买到了数位板以后我会练习画更大的侧脸

rt. 这是我这周画的

#酷安V9 可喜可贺