duangsuse::Echo
这就是为什么你几乎总是需要手动指定索引的原因,而且这种索引需要数据库“内部支持”。你一次又一次的希望 SQL 能够自动为你生成高效的索引和算法,却一次又一次的失望,也就是这个原因。当然,你永远可以使用所谓的 stored procedure 来扩展你的数据库,然而这就像是我的 IU 同学们用 miniKanren 来实现 HM 类型系统的方式——他们总是先使用一种过程式语言(Scheme)来添加这种描述性语言的“相关特性”,然后欢呼:“哇,miniKanren 解决了这个问题!”而其实呢,还不如直接使用过程式语言来得直接和容易。…
只要你有一个程序语言,你就可以发送这语言的代码,到一个“数据服务器”。服务器接受并执行这代码,对数据进行索引,查询和重构,最后返回结果给客户端
欸,这不就是我开始打算给 GeekApk 加的 Query Combinating Language 吗(Telegram)?看来真是略同、略同(抱拳)。((<< filter flatten) (# (u) (eq? (user/name u) "duangsuse"))类似 Kotlin 的伪代码
(map user-followers
(user-followers "duangsuse")))
User("duangsuse").followers.map(User::followers).flatten().filter { it.id == "duangsuse" }
虽然比 SQL JOIN 要优秀,但是明显还是不如图数据库直接 bfs(广度优先搜索可达指定类型目标集合 efficient不过这次原回答者的回复也不太对,
恭喜您发明了Spark。但是这怎么解决写入的问题?
控制权,对上传代码的解释权还是在我们这里啊!我们可以不接受可能不停机的程序、我们可以在程序运行过久的时候强行终止、我们可以只提供有限的基本操作使得没有人可以进行不安全的操作来破坏安全需求,只不过这可能不是特别 efficient 而已如果你看清了SQL的实质,就会发现这样的“过程式设计”,其实并不会损失SQL的“描述”能力问题是不看情况打破数据和关系抽象,然后用一个简单粗暴不一定健壮(robuest)的逻辑直接替换掉,是不是有点暴力 🐸 了呢?
GitHub
[GA v1♭] [NOTES] TODO() by duangsuse · Issue #11 · duangsuse-valid-projects/GeekApk
TODO https://github.com/bjzhou/Coolapk-kotlin TravisCI integration support AppType Add getXXXXCount() Interfaces for client update event check QCL interpreter (v1.1b) Add platform task for GeekApk ...
duangsuse::Echo
只要你有一个程序语言,你就可以发送这语言的代码,到一个“数据服务器”。服务器接受并执行这代码,对数据进行索引,查询和重构,最后返回结果给客户端 欸,这不就是我开始打算给 GeekApk 加的 Query Combinating Language 吗(Telegram)?看来真是略同、略同(抱拳)。 ((<< filter flatten) (# (u) (eq? (user/name u) "duangsuse")) (map user-followers (user-followers "duangsuse")))…
总结:
我也想引用本频道发过的一段话:
所以有时候,看到『存在即合理』这句话,不要忘记它还有一个深层含义:
虽然王垠对某些问题的理解还有点偏差,以及“非工”,擅长理论但工程起来基本菜
但是王垠的技术是很不错的。这一点毋庸置疑。
这篇文章是他 4 年前写的,这几年应该还有长进吧,不知道现在怎么样。
说起来某些工程师吹王垠吹够了没有... CS 方向优秀的大牛不少,只看王垠一个,可惜了。
不要看见乌王垠的部分偏差观点被批评就立刻倒戈批判一番 🐸
至少人家还能同时说出数据结构算法和 PLT 俩领域很多名词,也是很多人一辈子都不能达到的水平了
现在但凡是写个需要存储的程序基本上都要某种数据库,而且极大概率是“关系型数据库“。如果真如王垠所说,SQL和关系型数据库如此的不堪,就等价于承认所有SQL/关系型数据库的使用者都是傻X。为什么在关系型数据库从学术到商用长达几十年的历史上没有一个人比王垠更聪明,发现这个问题,并去解决它?虽然理论上的确有这个可能性,但是从直觉上看,这种情况发生的概率又有多少呢?作者:大宽宽[ref]
我也想引用本频道发过的一段话:
所以有时候,看到『存在即合理』这句话,不要忘记它还有一个深层含义:
如果你一看到某件东西就觉得它很莫名其妙,很弱智,那就不要立刻去喷它,因为*存在即合理*。
如果你依然坚持自己的看法,为什么不思考一下,每天有无数人和你持一样的想法,为什么没有人做出点什么证明它真的没有道理?
是因为它后台很硬,还是看不到它合理性的你们 — 都太菜了?
但是,虽然这里批判了王垠的这篇文章,不代表他的所有文章都该差评,虽然王垠对某些问题的理解还有点偏差,以及“非工”,擅长理论但工程起来基本菜
但是王垠的技术是很不错的。这一点毋庸置疑。
这篇文章是他 4 年前写的,这几年应该还有长进吧,不知道现在怎么样。
说起来某些工程师吹王垠吹够了没有... CS 方向优秀的大牛不少,只看王垠一个,可惜了。
不要看见乌王垠的部分偏差观点被批评就立刻倒戈批判一番 🐸
至少人家还能同时说出数据结构算法和 PLT 俩领域很多名词,也是很多人一辈子都不能达到的水平了
Zhihu
如何看待王垠对数据库的理解? - 知乎
看了一遍王垠的文章,觉得很是有趣,也顺便白话白话吧。我同意这篇文章的很多观点,比如:我认同SQL的表…
duangsuse::Echo
#Cplusplus https://en.cppreference.com/w/cpp/language/lambda#Lambda_capture Lambda capture in C++11 #reveng https://github.com/freakishfox/xAnSo #recommended 即使作者的项目管理风格有点... 呃... 比较原始,而且作者貌似是自己能用了就跑路了,后来开了仨 issue 说是不能用或者建议作者给软件文档的也没有用的回复。 这个是看 @Trumeet…
#这周份的dunangsuse 关键字: Python机器学习 Java 数学 电子
Kotlin KotlinNative 奇怪的问题 WASM CSharp
编译器 逆向工程 字节码 数据结构和算法
QuickHack工程 JavaEE OOP
观点明确
中国 华为
理论:新了解 逻辑式
Haskell Agda 文章评论 王垠
Kotlin KotlinNative 奇怪的问题 WASM CSharp
编译器 逆向工程 字节码 数据结构和算法
QuickHack工程 JavaEE OOP
观点明确
中国 华为
理论:新了解 逻辑式
Haskell Agda 文章评论 王垠
duangsuse::Echo
#Cplusplus https://en.cppreference.com/w/cpp/language/lambda#Lambda_capture Lambda capture in C++11 #reveng https://github.com/freakishfox/xAnSo #recommended 即使作者的项目管理风格有点... 呃... 比较原始,而且作者貌似是自己能用了就跑路了,后来开了仨 issue 说是不能用或者建议作者给软件文档的也没有用的回复。 这个是看 @Trumeet…
#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]cppinsights.io
C++ Insights
C++ Insights - See your source code with the eyes of a compiler.
其实无视百度公司的其他行为来看,百度学术(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
但是他们不重视知识产权,没有对知识最基本的敬畏,到了学术界还是一副对作者的权利的爱理不理的样子... 和以前对那些歌曲一个态度
它太强调免费了... 听起来就像是百度的尿性,养成了那么多死看着免费免费自 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
www.cnki.com.cn
并发函数式语言CM的设计及实现--《计算机工程与设计》1994年04期
函数 语言程序设计 并发程序设计 并行处理
Forwarded from Rachel 碎碎念 (Rachel Miracle. | 🏳️🌈)
能用咕咕噜用咕咕噜
不能用咕咕噜为什么不问问神奇的必应呢
再加上强行推广狗屎百家号
再加上百度学术也是狗屎除了免费下载屁用没有
再加上至今不肯全站 SSL
而且必应搜中文的结果水平和百度差距不大(甚至更好 包括找题目解析)
垃圾百度(和大数字啊神马啊乱七八糟的)越早扔掉越好
不能用咕咕噜为什么不问问神奇的必应呢
再加上强行推广狗屎百家号
再加上百度学术也是狗屎除了免费下载屁用没有
再加上至今不肯全站 SSL
而且必应搜中文的结果水平和百度差距不大(甚至更好 包括找题目解析)
垃圾百度(和大数字啊神马啊乱七八糟的)越早扔掉越好
#paper 黄林鹏, 倪德明. 并发函数式语言CM的设计及实现[J]. 计算机工程与设计, 1994(4):38-45.
duangsuse::Echo
其实无视百度公司的其他行为来看,百度学术(xueshu.baidu.com) 还是可以用的 但是他们不重视知识产权,没有对知识最基本的敬畏,到了学术界还是一副对作者的权利的爱理不理的样子... 和以前对那些歌曲一个态度 它太强调免费了... 听起来就像是百度的尿性,养成了那么多死看着免费免费自 high 的网民,改不了啊。 这里有一个例子: http://xueshu.baidu.com/usercenter/paper/show?paperid=e0f4dfe28ad3be0897827fb00ad16791…
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
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
Google
Compiler with energy consumption profiling
An energy based framework is disclosed that allows a software compiler or developer to make decisions between performance and energy consumption. In one aspect, a first program code (e.g., vector engine based computation) may alternatively be compiled into…
duangsuse::Echo
这个应该是自然语言处理和机器学习方面的可视化
所以说大佬实在不少,哭哭(但其实是好事... 大佬对社会都是“超值”的,就是我们这些菜鸡看了会自闭而已)
This media is not supported in your browser
VIEW IN TELEGRAM