-
15-418 Project
Our first checkpoint report is here Final Report is here…
-
My new project
I'm going to work on implementing c0 in a distributed context. The source language c0 will look very similar to c in its grammar but we will add extra distributed semantics. The parser and the typechecker will be written in SML and we hope we could compile this code to…
-
Ways to reverse a list in Haskell
Reversing a link list is never an out-dated topic while doing interview. Here I just want to summarize a few ways to reverse a link list by using Haskell, and show some of important logic of functional programming. Some remarks about Haskell's list type A list in Haskell can be…
-
Quine
Intro to the problem of Quine According to the definition of Quine, it is a piece of is a non-empty computer program which takes no input and produces a copy of its own source code as its only output ("Wikipedia"). Another prospective to understand this problem is that if we…
-
Some thoughts about XcodeGhost, RoTT, and Quine
Story background Recently in China, there is a trojan called XcodeGhost that infected many popular softwares in China. The trojan's spreading method is pretty unique: By a faulty Xcode compiler. The whole story is, due to the slow connection speed to the apple's mirror server for Xcode, there is always…