duangsuse::Echo
@dsuse
719 subscribers
4.28K photos
130 videos
583 files
6.49K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱，扁平不宽，读而后码，行之天下，勿托地上天国。
异常勿吞，难过勿过，叹一真理。效率是很重要，盲目最是低效。
简明是可靠的先验，不是可靠的祭品。
知其变，守其恒，为天下式；穷其变，知不穷，得地上势。知变守恒却穷变知新，我认真理，我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程)： https://WOJS.org/#/
Download Telegram
About
Blog
Apps
Platform
Join
duangsuse::Echo
719 subscribers
duangsuse::Echo
duangsuse 是迟早继续 InScript 的，用于作为 Androlua 的替代品
记得已经在任务列表上了
下周见
22 views
duangsuse::Echo
24 views
duangsuse::Echo
#emmm #China TIM 群聊
26 views
duangsuse::Echo
#coolapk 9/16/18 消息查看打卡
29 views
duangsuse::Echo
#PL 我们来探讨一下 MS 的 z3 SMT（
25 views
duangsuse::Echo
https://blog.csdn.net/alu_xd/article/details/52169885
26 views
duangsuse::Echo
https://github.com/Z3Prover/z3/wiki
GitHub
Home
The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.
26 views
duangsuse::Echo
（废 duangsuse
以上
26 views
duangsuse::Echo
duangsuse::Echo
（废 duangsuse 以上
再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…
26 views
duangsuse::Echo
duangsuse::Echo
再说，人家这可写了 40 多张 paper 啊，我怎么可能完全理解呢…
不对… 是八十多张…
26 views
duangsuse::Echo
This media is not supported in your browser
VIEW IN TELEGRAM
25 views
duangsuse::Echo
开始想说 Ruby 来着后来改 Kt 了… 结果如此
27 views
duangsuse::Echo
Java 8 管 () -> {} 叫 Lambda…
反正 Lambda 和 block 都差不多

我差得多的是类型论、JNI 和定理证明（
28 views
duangsuse::Echo
https://github.com/DennisYurichev/SAT_SMT_by_example #PL #recommended
30 viewsedited  
duangsuse::Echo
duangsuse::Echo
Java 8 管 () -> {} 叫 Lambda… 反正 Lambda 和 block 都差不多 我差得多的是类型论、JNI 和定理证明（
KScheme 上如果我搞不清楚就算（

区别全部在于 Symbol 取值上… Chunk 不含环境 Closure 含创建时环境…
32 views
duangsuse::Echo
反正垃圾收集 Refcount 共享智能指针即可
33 views
duangsuse::Echo
http://www.cnblogs.com/lanxuezaipiao/p/4132096.html
33 views
duangsuse::Echo
duangsuse::Echo
反正垃圾收集 Refcount 共享智能指针即可
据说，PHP7 采用 Rc 和 Tracing GC 协力自动管理内存
45 views
duangsuse::Echo
This media is not supported in your browser
VIEW IN TELEGRAM
33 views
duangsuse::Echo
#life duangsuse 又双回来了！ 🎉
32 views
duangsuse::Echo
#sysadmin 这次回来的时候为了一个小显卡驱动问题又折腾一个多小时

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

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

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

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