Writings on programming, open source and theory by a computer science undergraduate student interested in compilers, formal methods and logic. The easiest way to follow is via RSS.

Posts