总结：

现在但凡是写个需要存储的程序基本上都要某种数据库，而且极大概率是“关系型数据库“。如果真如王垠所说，SQL和关系型数据库如此的不堪，就等价于承认所有SQL/关系型数据库的使用者都是傻X。为什么在关系型数据库从学术到商用长达几十年的历史上没有一个人比王垠更聪明，发现这个问题，并去解决它？虽然理论上的确有这个可能性，但是从直觉上看，这种情况发生的概率又有多少呢？

作者：大宽宽[ref]

我也想引用本频道发过的一段话：

所以有时候，看到『存在即合理』这句话，不要忘记它还有一个深层含义：
如果你一看到某件东西就觉得它很莫名其妙，很弱智，那就不要立刻去喷它，因为*存在即合理*。
如果你依然坚持自己的看法，为什么不思考一下，每天有无数人和你持一样的想法，为什么没有人做出点什么证明它真的没有道理？
是因为它后台很硬，还是看不到它合理性的你们 — 都太菜了？


但是，虽然这里批判了王垠的这篇文章，不代表他的所有文章都该差评，
虽然王垠对某些问题的理解还有点偏差，以及“非工”，擅长理论但工程起来基本菜
但是王垠的技术是很不错的。这一点毋庸置疑。
这篇文章是他 4 年前写的，这几年应该还有长进吧，不知道现在怎么样。

说起来某些工程师吹王垠吹够了没有... CS 方向优秀的大牛不少，只看王垠一个，可惜了。

不要看见乌王垠的部分偏差观点被批评就立刻倒戈批判一番 🐸
至少人家还能同时说出数据结构算法和 PLT 俩领域很多名词，也是很多人一辈子都不能达到的水平了

#这周份的dunangsuse 关键字： Python机器学习 Java 数学 电子
Kotlin KotlinNative 奇怪的问题 WASM CSharp
编译器 逆向工程 字节码 数据结构和算法
QuickHack工程 JavaEE OOP
观点明确
中国 华为
理论：新了解 逻辑式
Haskell Agda 文章评论 王垠

#fix #Cplusplus 这里其实把 C++ 的 Lambda capture 功能弄错了，感谢一位细心读者的反馈！（我去，这么菜的频道还会有读者）

int var = 1;
++var;

auto f = [&]() { cout « var « endl; };


f();

其实这里 & 是 by ref 的 default capture
= 才是 by value 的...（说起来这很 immediate 嘛，两个符号语义明显有区别，这是我一时脑抽了...）

若想详细了解，我写了个例子
编译结果可以在这里查看

#include <iostream>
using namespace std;

int main() {
int var = 1;
auto f = [&]() { cout << var << endl; ++var; };
auto f2 = [=]() mutable { cout << var << endl; ++var; };
//...
}

（同时感谢细心读者的建议）然后在 [&] by ref 的时候有一个要注意的问题，就是从存储对象的『生命周期 lifetime』来看如果 local variable 实际生存期比 Lambda 短，那 lambda 访问时就会出现悬垂指针（dangling pointer）的问题，这一点需要注意

同样我也写了个例子

std::function<void()> higherOrder() {
int upvalue = 0xcafebabe;
return [&]() { printf("Wow! I got upvalue = %i\n", upvalue); };
}

可以在这里阅读 [它的 cppinsight]

其实无视百度公司的其他行为来看，百度学术(xueshu.baidu.com) 还是可以用的

但是他们不重视知识产权，没有对知识最基本的敬畏，到了学术界还是一副对作者的权利的爱理不理的样子... 和以前对那些歌曲一个态度

它太强调免费了... 听起来就像是百度的尿性，养成了那么多死看着免费免费自 high 的网民，改不了啊。

这里有一个例子：

http://xueshu.baidu.com/usercenter/paper/show?paperid=e0f4dfe28ad3be0897827fb00ad16791
http://www.cnki.com.cn/Article/CJFDTotal-SJSJ404.005.htm 知网上也可以免费获取 PDF 拷贝

无关内容：谁知道这个 “CM”(Concurrent Miranda) 是不是蛤为“编译组”的 #huawei

能用咕咕噜用咕咕噜
不能用咕咕噜为什么不问问神奇的必应呢
再加上强行推广狗屎百家号
再加上百度学术也是狗屎除了免费下载屁用没有
再加上至今不肯全站 SSL
而且必应搜中文的结果水平和百度差距不大（甚至更好 包括找题目解析）
垃圾百度（和大数字啊神马啊乱七八糟的）越早扔掉越好

#paper 黄林鹏, 倪德明. 并发函数式语言CM的设计及实现[J]. 计算机工程与设计, 1994(4):38-45.

#recommended #blog https://lfkdsk.github.io/2017/09/11/quick-learn-skip-list/ #data #algorithm

Schoolar 上可以找到和华为所谓 HCC 和 CM、某优化技术什么的相关的内容，但很可惜，都是基本不沾边，只是引用甚至部分内容里稍微提了下华为，而 research 也不是华为弄的

Compiler-inserted predicated tracing
https://patents.google.com/patent/US20110154309A1/en

Compiler with energy consumption profiling
https://patents.google.com/patent/US20090037887A1/en

然后这篇蛤为的论文就是某优化编译算法之前的理论？

Application scenario identification method, power consumption management method, apparatus, and terminal device
应用程序的应用情景识别、功耗管理控制、设备和移动终端
https://patents.google.com/patent/US9813297B2/en

#zhihu #recommended https://www.zhihu.com/question/21350325

https://github.com/duangsuse-valid-projects/Python-ML-intro #Project

#web #gl https://www.taccgl.org/blog/css-transition-visibility.html

这排版测试还是失败了（

所以说，Firefox 才是最好的排版软件嘛（ 真的的让人震惊

这个应该是自然语言处理和机器学习方面的可视化

说起来，弄了半天也没写半个字的实际内容，全搞排版测试什么的去了....

所以说大佬实在不少，哭哭（但其实是好事... 大佬对社会都是“超值”的，就是我们这些菜鸡看了会自闭而已）

可能是我这几个星期熬过最长的夜了...

虽然还是啥都没有做到
不过至少还是有努力过不后悔吧...（虽然肯定会很后悔为什么不等下个星期搞

虽然又是啥都没有完成，可是也完成了了一些东西呢。
#life

#Rust #PLT https://lexuge.github.io/
#recommended #blog