Georgia Tech's online master's in computer science has taken off like a rocket ship. It is the most successful degree program in the history of higher education and we should all take important ...

I'm a software developer and writer, passionate about learning and sharing knowledge and one way I do that is through writing. I'm a software developer and writer, passionate about learning and ...

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

The process of preparing for coding interviews is anxiety-inducing for many developers. There’s so much material to cover, and often much of it feels irrelevant to what devs are doing in their day ...

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

This blog entry is an excuse for continuing our discussion of cartesian closed categories (CCCs) and the λ-calculus in a slightly more organized way. Let’s focus on more or less “traditional” aspects ...