摘要：
"POPL'19" 本文提出 $A^2I$，即 $Abstract^2 Interpretation$，也叫做 meta abstract interpretation，是指使用抽象解释（abstract interpretation）分析静态程序分析器（static program analyse 阅读全文
摘要：
整体结构 三层抽象（block, pool, arena）中 pool 的组织 PyMem_API 内部实现 Allocating 逻辑 Free 逻辑 阅读全文
摘要：
"A Python Interpreter Written in Python" 是一篇很棒的文章，作者用 Python 实现了一个 Python 解释器（ "Byterun" ），文章的前半部分讲解 Python 解释器的基本结构，实现一个玩具（简易指令集）解释器。 有时候我们把 Python 解 阅读全文
摘要：
罗素（著） 傅雷（译） ISBN 7 5613 2610 6 我的一生始终为以下三种激情所支配：对真理不可遏止的探求（search for knowledge），对人类苦难不可遏止的同情（pity for the suffering），对爱情不可遏止的追求（longing for love）。——罗 阅读全文
摘要：
ISBN 9787115488169 "之前" 我们已经完成了Hadoop+Spark集群的搭建，下面改用这本书。 "教材" ， "讲义" ， "实验" sbt Spark应用程序开发可以采用Scala+sbt，Java+Maven，或Python直接spark submit三种方式。 这里介绍通过 阅读全文
摘要：
她很平淡，总是静静的，好像从不想去比较或竞争，我知道她也有一些烦恼，可连那都是淡淡的，仿佛一切都可以接受。 记得载她在后座，记得看她玩我的手机，记得和她一起跑步，一起撑伞，一起坐火车。 那时候不敢告诉她，那时候一腔年少的追求，那时候在乎太多所谓对错。 只能一次又一次地点开她的头像，终于再也没有说话。 阅读全文
摘要：
说真的，睡眠也算是一个烦恼了吧。想想三分之一的生命被几乎无意识的梦境占据，而我们一方面无可奈何，一方面又总上瘾般的睡不够。于是人类试图造梦，当然这等大计也得从娃娃抓起，从给孩子的睡前故事开始。 我小时候好像没怎么听过睡前故事，也可能父母在我记事前就帮我养成了这个好习惯，所以我从小是自己造梦的。刚开始 阅读全文
摘要：
ISBN 978 7 302 45375 8 简介 Hadoop 大数据存储与处理平台 HDFS（Hadoop Distributed File System） 批处理，而非实时互动处理。提高存取大量数据的能力，牺牲响应时间。 文件存储架构： 文件分割 区块（block）副本 机架（rack）感知 阅读全文
摘要：
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 li 阅读全文
摘要：
之前在 macOS 10.13 上参照 "官方文档" build 了 LLVM 和 Clang，而在使用 编译时有时会遇到如题的问题，具体报错信息如下： 原因是默认的 C++ runtime library 是 ，而非 ，前者把 放在非标准 namespace 下。 我们可以用下面这个简单的 C++ 阅读全文