ESINNG在哪里

摘要： Hypothetical Judgements 之前一篇介绍了 "Judgements和Inductive Definition" ，这里通过给Judgements加上一些关系，同时扩展下Inductive Definition。 Derivability Derivability指的是说，由某几个 阅读全文

摘要： 背景呢还是背景呢 这学期学了一门 "Type System and Programming Language" ，感觉是一门很有意思的课。虽然讲的是编程语言，但是很多思想其实工作的时候可能也会用的到。记得老师有一节课说:『你们现在不学习（PL），以后就不会学了。这是你们多数人唯一的机会了』。这门课有 阅读全文

摘要： 背景 这里介绍下在写 "Parallel Computing Final Project" 项目时候用到的一些技术。 "Parallel Computer Architecture and Programming" 是一门非常赞的课，这里面有公开的视频，大家可以学习。这里只介绍下，Final Pr... 阅读全文

摘要： 最近Distributed System学习了Paxos算法，表示并没有听懂…… 自己恶补下…… 这里是Paxos Made Simple的笔记。
这篇文章里面Lamport详细的描述了为何Paxos算法会是这个逻辑。Lamport还是很幽默的，第一个版本的Paxos里 面的幽默不能被大家接受，于是... 阅读全文

摘要： GCC中有一些参数是很有用的，在工作中遇到了，顺便记录下来。-Dmacro=string，等同于定义了#define macro string。-Umacro则和-Dmacro相反，相当于撤销宏的定义。-rdynamic 是link时候的一个选项，把所有的符号添加到动态符号表中（.dynsym），这... 阅读全文

摘要： 之前C语言没有好好学习，最近想看看Bash的源代码，碰到了宏，所以做点笔记。 #和## '#'则是表示在替换宏的时候，在宏左右都加上双引号，比如 #define CONVERT_TO_STR(x) #x 那么CONVERT_TO_STR(abc) 则会被替换为“abc” '##'则是表示连接的意思，是把两个宏参数连接到一起，比如 #define CANCAT(a,b) a##b... 阅读全文