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++、程序设计语言理论、编译原理、静态分析、算法优化等...
大概内容主要可以由编译原理系的同学理解使用
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
111 Members 吉利（迫真）数字庆祝（
不过其实我比较好奇，因为本频道发的很多内容都不是大部分工业系（或者说，非真正的「工业系」）程序员看得懂的，但居然还有人要关注
#telegram 频道主 duangsuse 预计，这种 subscriber 的动机和我自己以前 star 那些 #GitHub 代码库的动机一致，只是觉得很厉害就 Star 了一个，实际上，看的人也是比较少了
我以前都是那种看都不看一眼就 Star 的。现在我没有了，这后面也有我程序设计项目分析能力提升的原因 — 以前可能要看的话，根本不知道哪是哪，现在三分钟就能快速理解项目结构，找到工程构建、界面、定义文件的位置
不过，在此也建议大家不要为了 Star 或者让别人看到而 Star，最好还是多看一下
🐱
毕竟现在很多甚至是（资深）「工程师」
都没看过本本的。我很尊敬看书的人，但其实不看本本们也有能做高级一点工程（e.g. @RikkaW's Riru framework）的人也有很多
现在嘛... 感觉自己技能和理解能力都有很大的提升了（真的？）
论文和编译原理方面的，表达方式比较数学化的偏序原理也能看懂了，虽然还是有点没耐心看完
一直以来自我感觉智力水平都比身边的同学差个一年的（果然？
热爱技术的人从来都是不知足的？（
但是嘛... 其实感觉好像自己的技术又没有提升多少而已，大概是工程做少了书看多了的那种。而且，我也还不了解计算机网络、TCP、Internet 系统呢
人工智能特别想学，没有时间和资料（因为打印机没墨了...），但是，先把基础的并发、操作系统、计算机结构、计算机图形学、计算机网络、编译原理、软件工程、面向对象设计模式、渐进式、模块化开发等基础学好了才能继续吧（ 🐱
不过其实我比较好奇，因为本频道发的很多内容都不是大部分工业系（或者说，非真正的「工业系」）程序员看得懂的，但居然还有人要关注
#telegram 频道主 duangsuse 预计，这种 subscriber 的动机和我自己以前 star 那些 #GitHub 代码库的动机一致，只是觉得很厉害就 Star 了一个，实际上，看的人也是比较少了
我以前都是那种看都不看一眼就 Star 的。现在我没有了，这后面也有我程序设计项目分析能力提升的原因 — 以前可能要看的话，根本不知道哪是哪，现在三分钟就能快速理解项目结构，找到工程构建、界面、定义文件的位置
不过，在此也建议大家不要为了 Star 或者让别人看到而 Star，最好还是多看一下
🐱
毕竟现在很多甚至是（资深）「工程师」
都没看过本本的。我很尊敬看书的人，但其实不看本本们也有能做高级一点工程（e.g. @RikkaW's Riru framework）的人也有很多
现在嘛... 感觉自己技能和理解能力都有很大的提升了（真的？）
论文和编译原理方面的，表达方式比较数学化的偏序原理也能看懂了，虽然还是有点没耐心看完
一直以来自我感觉智力水平都比身边的同学差个一年的（果然？
热爱技术的人从来都是不知足的？（
但是嘛... 其实感觉好像自己的技术又没有提升多少而已，大概是工程做少了书看多了的那种。而且，我也还不了解计算机网络、TCP、Internet 系统呢
人工智能特别想学，没有时间和资料（因为打印机没墨了...），但是，先把基础的并发、操作系统、计算机结构、计算机图形学、计算机网络、编译原理、软件工程、面向对象设计模式、渐进式、模块化开发等基础学好了才能继续吧（ 🐱
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
我上面也说了，建议大家还是尽可能去了解一下自己 Star 的那些东西真正是什么，其实从觉得很酷到懂只差一份好奇心和两年左右的持续努力（或许更短）
@drakeet 那件事（我现在居然还经常说...）其实我后来注意到他偶尔提到王垠
个人感觉... drakeet 目前还是对程序设计语言方面的理论不是特别了解，当然人各有所长，所以单凭某个方面去判断一个人的能力是不正确的。（当然，之前搞出那么大篓子的原因是我语文没学好，不知道别人还有自尊心，或者说，我个人比较「不要脸」，即使技术被人批评了也只是想着怎么提升而不会觉得丢脸，因为我还是很能做到「己所不欲勿施于人」的）
（当然，其实我之前也考虑到了自尊心？可能是我说的太直白了吧... 我明明说了他很擅长 Android 开发的... 只不过想让他不要在自己不是很擅长的方向发表太多看法）
（当然，或许我在之前那个我以为他不擅长的方面还不如他呢，或许他真的是对的，现在不重要了 :P）
其实嘛... 王垠的「40 行代码」
我开始来到 CS 大门前的时候当然就啥都不知道，比较好笑，我真的就是不明觉厉
不过，真的只有我一个人是不明觉厉吗？
不要害怕学习，不要和那群前端一样成天叫着别更新了、再学就要猝死了，人类社会就是向前发展的、技术就是向越来越好发展的，自己不努力追赶也有人追赶
现在上亚马逊去买书，跟着不管什么平台，知乎、CodeWars、各类 OJ、甚至 QQ 上的大佬们学习（其实只需要看他们的博文和代码即可）
相信 10000（10k，一万）个小时定律，只要付出的足够多，就能理解你之前不明觉历的那些东西
@drakeet 那件事（我现在居然还经常说...）其实我后来注意到他偶尔提到王垠
个人感觉... drakeet 目前还是对程序设计语言方面的理论不是特别了解，当然人各有所长，所以单凭某个方面去判断一个人的能力是不正确的。（当然，之前搞出那么大篓子的原因是我语文没学好，不知道别人还有自尊心，或者说，我个人比较「不要脸」，即使技术被人批评了也只是想着怎么提升而不会觉得丢脸，因为我还是很能做到「己所不欲勿施于人」的）
（当然，其实我之前也考虑到了自尊心？可能是我说的太直白了吧... 我明明说了他很擅长 Android 开发的... 只不过想让他不要在自己不是很擅长的方向发表太多看法）
（当然，或许我在之前那个我以为他不擅长的方面还不如他呢，或许他真的是对的，现在不重要了 :P）
其实嘛... 王垠的「40 行代码」
我开始来到 CS 大门前的时候当然就啥都不知道，比较好笑，我真的就是不明觉厉
不过，真的只有我一个人是不明觉厉吗？
不要害怕学习，不要和那群前端一样成天叫着别更新了、再学就要猝死了，人类社会就是向前发展的、技术就是向越来越好发展的，自己不努力追赶也有人追赶
现在上亚马逊去买书，跟着不管什么平台，知乎、CodeWars、各类 OJ、甚至 QQ 上的大佬们学习（其实只需要看他们的博文和代码即可）
相信 10000（10k，一万）个小时定律，只要付出的足够多，就能理解你之前不明觉历的那些东西
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
duangsuse 自己对程序静态分析检查还不是很了解，
啥分支覆盖问题我也想过，不过啥都不懂就是了，打算如果以后就这种水平去实现的话，尽可能多做一点（或许是启发式的...（这里启发式和机器学习无关，意思是「假设各种情况做检查」））检查，不要求绝对正确，保证体积和解释器本身健壮即可，类型检查器重要性优先于类型推导器
〖对应用层开发者（e.g. Android 开发工程师、PHP 或者管他什么没有达到完全抛弃任何框架的程度能力者，尤其是语言特性贫瘠或非底层语言 Lua、ES5、Java、Groovy、Python 程序员）来说〗
像这种写 Agda、Idris、ML 等「具有证明程序正确性的程度能力」语言水平的人，最好还是不要在他们面前炫耀自己写了多少前端应用什么的，说实话，等你以后（或许）有了更高的视角，你会发现你死记硬背的那些 CSS 属性，学的反编译器使用、Bash 编程、GNU/Linux 系统配置等等根本不值得一提，不是一个抽象复杂层次上的东西
不过至少是冰封来看，他没有那种高高在上的架子，比较平易近人（虽然最喜欢研究的理论不平易近人，笑），但如果自己没有足够的水平，有些圈子不必强融就是了（反正以后赶上了可以再进嘛）
when 表达式的语法上面各种糖都还好说（毕竟手写 Recursive Descent 我还是熟悉的）啥分支覆盖问题我也想过，不过啥都不懂就是了，打算如果以后就这种水平去实现的话，尽可能多做一点（或许是启发式的...（这里启发式和机器学习无关，意思是「假设各种情况做检查」））检查，不要求绝对正确，保证体积和解释器本身健壮即可，类型检查器重要性优先于类型推导器
〖对应用层开发者（e.g. Android 开发工程师、PHP 或者管他什么没有达到完全抛弃任何框架的程度能力者，尤其是语言特性贫瘠或非底层语言 Lua、ES5、Java、Groovy、Python 程序员）来说〗
像这种写 Agda、Idris、ML 等「具有证明程序正确性的程度能力」语言水平的人，最好还是不要在他们面前炫耀自己写了多少前端应用什么的，说实话，等你以后（或许）有了更高的视角，你会发现你死记硬背的那些 CSS 属性，学的反编译器使用、Bash 编程、GNU/Linux 系统配置等等根本不值得一提，不是一个抽象复杂层次上的东西
不过至少是冰封来看，他没有那种高高在上的架子，比较平易近人（虽然最喜欢研究的理论不平易近人，笑），但如果自己没有足够的水平，有些圈子不必强融就是了（反正以后赶上了可以再进嘛）
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from duangsuse::Echo (duangsuse ¯\_(ツ)_/¯ |学渣|母上千古)
后来回复是
你这个语法好垃圾啊，不喜欢 （安心感） >>去学习些好点的语言啊。别整天抱着拖人类后腿的语言看了。