#PL 我们来探讨一下 MS 的 z3 SMT（

（废 duangsuse
以上

再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…

不对… 是八十多张…

开始想说 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
目前只有命令行版本。