#life #INFO 哇，好长寿呢

动画界伟大的创作人，制作人，Don Lusk（唐·拉斯科），于2018年12月30日（美国时间）逝世，享年105岁，代表作品：《木偶奇遇记》《白雪公主》《爱丽丝梦游仙境》《小鹿斑比》等

#Moha #Haha

#R同学 #B同学
『你说，膜蛤和六学都是亚文化，但为什么感觉六学更烦人呢？为什么膜蛤这么多年一直能保持热度呢？』
『大概是六学传播光明正大，从而影响面极广；而膜蛤由于各种原因，你看这么多年过去了，懂梗的人永远占少数。极度丰富了的东西，大家也许便厌烦了。
『包括，你看六学它是万物皆可六，说到什么都能中美合拍，学习成本极低。但膜蛤，它只适用于一些特定的语境（时间、选举、老人、记者、生气、谣言、合规、痛苦、拒绝发言、水平高…），每种语境的用词都不同，可以说非常“精细化”，同时学习成本相应地也很高；同时，内网因为舆论管理，导致出现了大量“文膜”，持续为其注入了新鲜血液……

#sysadmin #linux #arch #archlinux 我觉得嘛，其实 Arch Linux 还是不是特别的需要用户的系统部署管理水准的，一般人在普通 x86_64 PC 上都会比较好弄，除非是配置特殊要专门驱动的话，Gentoo 会稍微难一点，emerge 想比 pacman 概念也更复杂，Arch 其实很友好了，建议试试。BlackArch 的话我觉得不如 Kail 好，所以还是推荐 Kali，不过 Arch 要加 BlackArch 的包们其实也可以的，但是，有时候工具的数目，开箱即用并没有那么重要

似乎 我现在格盘装 Kali 可能折腾量还少一点…或者很多
不知道是换发行版框架所带来的学习成本太高还是 Arch 本身带着一股「生人勿近」的气场

再见，我用 Kali 去了（

#dev #tech #English

boot 靴子 引导
stub 存根 占位
review 复习 评审
render 提出 渲染
map 地图 映射
console 安慰 控制台
frame 边框 帧
image 图像 镜像
bus 公交车 总线
access 入口 访问
log 伐木 日志
dump 倾倒 转储
cache 隐藏住所 缓存
port 港口 端口
performance 演出 性能— adolli🍮7️⃣🎏咕嚕靈波（●´∀｀）ノ♡ (@adolli) January 3, 2019

#media #drawing 练习（第二张其实是有第一个版本的，不过画的太难看了（非常之崩），不发

为了画好这第二张，我是足足画了几百只眼睛... 又改了 50 多次... 眼睛，最后手还是有点不对称（ 🤪

另外的一种 BW（也可以说是 blacK/White） 着色方式（不过这里是 4B 铅笔（准确的说是考试涂卡笔

最终没能完成的 #Agda 证明... #Proof 我还是暂时不理解归纳证明

是这道证明题

因为我当时没有 Agda 环境而且没看过 Agda 的语法参考，不敢随便修改这些东西，不要以为我只是抄了点代码然后啥都不理解

我好歹还抄了两节课...
我好歹对于 reverse 这种简单递归程序还分析了一会...

不准喷！不准喷！平时你们写那些 Android 应用.... Java 的 Web 后端程序我后来有时间了自然会学...