daxia665544-优快云博客

转载我的一生

人生只有900个月。虞美人·听雨——蒋捷少年听雨歌楼上，红烛昏罗帐。壮年听雨客舟中，江阔云低，断雁叫西风。而今听雨僧庐下，鬓已星星也。悲欢离合总无情，一任阶前点滴到天明。 19.9：你能想象吗？下面的表就是你的一生，而我已经用完了三分之一。 94.4 - - - - - - - - - - - - - ...

2019-09-19 17:19:00 227

转载 $Abstract^2 Interpretation$

POPL'19 本文提出 $A^2I$，即 $Abstract^2 Interpretation$，也叫做 meta-abstract interpretation，是指使用抽象解释（abstract interpretation）分析静态程序分析器（static program analyser）的特性。静态程序分析（static program analysis）是自动提取...

2019-09-09 17:15:00 477

转载图说 Python 内存管理

整体结构三层抽象（block, pool, arena）中 pool 的组织 PyMem_API 内部实现 Allocating 逻辑 Free 逻辑转载于:https://www.cnblogs.com/humz/p/11235691.html

2019-07-24 08:54:00 301

转载 Python 解释器初探

A Python Interpreter Written in Python 是一篇很棒的文章，作者用 Python 实现了一个 Python 解释器（Byterun），文章的前半部分讲解 Python 解释器的基本结构，实现一个玩具（简易指令集）解释器。有时候我们把 Python 解释执行的整个流程都叫做 Python 解释器，它包含以下几步： lexer parser compi...

2019-07-05 11:35:00 210

转载幸福之路

罗素（著）傅雷（译） ISBN 7-5613-2610-6 我的一生始终为以下三种激情所支配：对真理不可遏止的探求（search for knowledge），对人类苦难不可遏止的同情（pity for the suffering），对爱情不可遏止的追求（longing for love）。——罗素不幸福的原因什么使人不快乐在上工时间的群众身上，你可看到焦虑，过度的聚精会神...

2019-06-28 15:51:00 369

转载 Spark编程基础

ISBN 9787115488169 之前我们已经完成了Hadoop+Spark集群的搭建，下面改用这本书。教材，讲义，实验 sbt Spark应用程序开发可以采用Scala+sbt，Java+Maven，或Python直接spark-submit三种方式。这里介绍通过sbt编译打包Scala程序的命令行方法，也可以使用Intellij idea或Eclipse等集成开发环境。安装...

2019-06-20 10:42:00 228

转载 LQ84

她很平淡，总是静静的，好像从不想去比较或竞争，我知道她也有一些烦恼，可连那都是淡淡的，仿佛一切都可以接受。记得载她在后座，记得看她玩我的手机，记得和她一起跑步，一起撑伞，一起坐火车。那时候不敢告诉她，那时候一腔年少的追求，那时候在乎太多所谓对错。只能一次又一次地点开她的头像，终于再也没有说话。宁愿她没有动态，猜想她还是傻乎乎地爱看笑话，猜想她鼓足勇气离开了不喜欢的工作，猜想她没那...

2019-06-08 12:39:00 232

转载睡前幻想

说真的，睡眠也算是一个烦恼了吧。想想三分之一的生命被几乎无意识的梦境占据，而我们一方面无可奈何，一方面又总上瘾般的睡不够。于是人类试图造梦，当然这等大计也得从娃娃抓起，从给孩子的睡前故事开始。我小时候好像没怎么听过睡前故事，也可能父母在我记事前就帮我养成了这个好习惯，所以我从小是自己造梦的。刚开始功力比较弱，单靠脑力不足以织起一个梦，还得借助一些道具，好比被褥、玩具之类的。到现在我都记...

2019-06-04 11:00:00 234

转载 Hadoop+Spark大数据巨量分析与机器学习整合开发实战

ISBN 978-7-302-45375-8 简介 Hadoop 大数据存储与处理平台 HDFS（Hadoop Distributed File System）批处理，而非实时互动处理。提高存取大量数据的能力，牺牲响应时间。文件存储架构：文件分割区块（block）副本机架（rack）感知 NameNode：管理和维护HDFS目录系统并控制文件的读写操作 DataNode：...

2019-05-28 10:58:00 1488

转载语丝

一个人如果将他自己描述得很好的话，他十有八九是在撒谎，因为任何生命从内部审视都只不过是一系列的失败。——奥威尔人生的中途，我迷失在黑暗的森林中。——但丁《神曲》身处两个永恒——逝去的往昔和未知的将来——之间，我们从未停止追寻自己所处的位置和方向感。——丹尼尔·布尔斯汀 Nothing happens, nobody comes, nobody goes, it's aw...

2019-05-25 12:37:00 5126

转载 Real World OCaml

ISBN 978-7-5123-7637-3 English First Edition PDF Code Examples Install Guidence from cornell/cs3110 Part I based on Core instead of standard library 1 / 3;; (* - : int = 0 *) 1 / 3.;; 1. /. 3;; ...

2019-04-09 21:23:00 472

转载 clang: error: linker command failed with exit code 1

之前在 macOS 10.13 上参照官方文档 build 了 LLVM 和 Clang，而在使用 clang++ 编译时有时会遇到如题的问题，具体报错信息如下： Undefined symbols for architecture x86_64: "std::string::compare(char const*) const", referenced from: ge...

2019-03-25 11:35:00 4069

daxia665544的博客