开始想说 Ruby 来着后来改 Kt 了… 结果如此

Java 8 管 () -> {} 叫 Lambda…
反正 Lambda 和 block 都差不多

我差得多的是类型论、JNI 和定理证明（

https://github.com/DennisYurichev/SAT_SMT_by_example #PL #recommended

KScheme 上如果我搞不清楚就算（

区别全部在于 Symbol 取值上… Chunk 不含环境 Closure 含创建时环境…

反正垃圾收集 Refcount 共享智能指针即可

据说，PHP7 采用 Rc 和 Tracing GC 协力自动管理内存

#life duangsuse 又双回来了！ 🎉

#sysadmin 这次回来的时候为了一个小显卡驱动问题又折腾一个多小时

NVIDIA 驱动突然不能用了，貌似内核模块无法加载。（其实... 我也只是用了 nvidia-modprobe 它的 DKMS 模块文件本身在哪里我不清楚位置，也懒得全盘翻找

更新软件包也无法修复这个问题，驱动 Nvidia 应该没出新

我在 GRUB 内核命令行里取消了 nouveau 的黑名单，修改了 X xorg.conf 设置也无法挽回（Nouveau 也无法加载，我也找不到驱动文件位置，试过 lib/modules ）

最后我只得尝试使用旧的内核，才暂时解决问题，因为我还有别的事情没时间折腾这些...

#dev #android #recommended #frontend #web

Android 圆形展开/关闭动画
Android 控件圆角

CSS 圆圈背景

{
border-radius: 3px;
// webkit
-webkit-border-radius
// gecko
-moz-border-radius 
}

附，之前有点好奇一个木函的动画和圆角是如何实现的，现在知道了，看来以后要多学习一下 Andorid 前端啊

推广一下我正在开发的一个软件 NoScreenCap，可以将窗口设为禁止截图。支持 Win7 及以上系统。
https://github.com/ysc3839/NoScreenCap
目前只有命令行版本。

把像上面这种 transform 成下面的往往会一时忽略这里出现 function declaration 的歧义

程序员面试当然应该挑不会的考啊，都刷题了还考算法干啥？手写 SQL，解释 traceroute 输出，修复一个网页上的 CSS，谈谈 Email。
— 荡师傅 (@inntran) September 21, 2018

想趁着放假试试用 Shizuku Manager 开发，Ubuntu 打不开了…悲伤的故事
— Rachel (ﾉД`)ｼｸｼｸ (@tangrui003) September 23, 2018

https://t.me/Tooruchan_TechComen/15655
#火星救援
https://lab.nfz.moe/sinaimg.html 和 https://i-meto.com/weibo-pic-author/ 了解一下？

进制换算算法有点奇特啊，还专门为这种情况优化过了

"提取图片文件名前 8 位，16 进制转成 10 进制后就可以得到用户 uid"

function idx(c) {
c = c.charCodeAt();
if (c >= 48 && c <= 57) return c - 48;
if (c >= 97 && c <= 122) return c - 97 + 10;
return c - 65 + 36;
}

function getUid(url) {
url = url.replace(/\.\w+$/g, '');
var hash = url.match(/[0-9a-zA-Z]{32}$/);
if (hash == null) return '';

hash = hash[0].slice(0, 8);

var uid = 0;
if (hash[0] == '0' && hash[1] == '0') k = 62;
else k = 16;
for (i = 0; i < 8; i++)uid = uid * k + idx(hash[i]);

var url = "https://weibo.com/u/" + uid;
return '<br><span>图片上传者：</span><a href="' + url + '" target="_blank">' + url + '</a>';
}

（因为都是纯 JavaScript/CSS/HTML 程序而不是 C/S 架构，所以算法是开放的
(而且不是 Asm.js