Neetcode's website and YouTube channel provide detailed explanations of different patterns for solving LeetCode problems. "Patterns for Solving LeetCode Problems" by Clement Mihailescu (2021) In this ...

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 ...

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 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 ...

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 ...

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 ...

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 ...