dnaugsuz
如果我是千里冰封，说不定现在已经 unfollow 你了（他不准别人叫他大佬 XD 不过我一般无视别人大佬的称呼... 因为我其实很菜的，不管是人工智能、嵌入式、数学、面向对象理论、并发编程还是计算机图形学...（
异于常人爱因斯坦曾经说过： #note
Two things are infinite, the universe and human stupidity, and I am not yet completely sure about the universe.
宇宙中唯有两件事物是无限的：宇宙的大小与人的愚蠢。而对于前者我不太肯定。
可见我们都是知道自己的无知的...（所以反而不承认自己是「大佬」？
where 我们：偏向学院派，见过很多真·大佬，被各种底层问题、各种理论弄得头要把帽子撑破掉的程序猿们
Two things are infinite, the universe and human stupidity, and I am not yet completely sure about the universe.
宇宙中唯有两件事物是无限的：宇宙的大小与人的愚蠢。而对于前者我不太肯定。
可见我们都是知道自己的无知的...（所以反而不承认自己是「大佬」？
where 我们：偏向学院派，见过很多真·大佬，被各种底层问题、各种理论弄得头要把帽子撑破掉的程序猿们
Forwarded from AIM扩散力场 (零件)
【“千克”等4项基本单位被重新定义】
第26届国际计量大会经包括中国在内的各成员国表决，全票通过了关于“修订国际单位制（SI）”的1号决议。
根据决议，千克（kg）、安培（A）、开尔文（K）和摩尔（mol）将重新定义：
第26届国际计量大会经包括中国在内的各成员国表决，全票通过了关于“修订国际单位制（SI）”的1号决议。
根据决议，千克（kg）、安培（A）、开尔文（K）和摩尔（mol）将重新定义：
千克将用普朗克常数(h)定义；决议将于2019年5月20日起正式生效。
安培将用电子电荷(e)定义；
开尔文将用玻尔兹曼常数(k)定义；
摩尔将用阿伏伽德罗常数(NA)定义。
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
#blog #share #cs #pl #plt #agda #recommended
https://ice1000.org/lagda/
顺推一波冰封哥新出的 LAgda 博客，大部分代码都是用 Agda 写的，连文章目录都是 😶
「中间表示」博客维护良好，经常更新并且作者往往都全天在线
主要内容设计 Java/Kotlin、C/C++、程序设计语言理论、编译原理、静态分析、算法优化等...
大概内容主要可以由编译原理系的同学理解使用
https://ice1000.org/lagda/
顺推一波冰封哥新出的 LAgda 博客，大部分代码都是用 Agda 写的，连文章目录都是 😶
「中间表示」博客维护良好，经常更新并且作者往往都全天在线
主要内容设计 Java/Kotlin、C/C++、程序设计语言理论、编译原理、静态分析、算法优化等...
大概内容主要可以由编译原理系的同学理解使用