Mike SunHow to run KleeTo all my undergrads struggling with Klee and their poor documentationApr 1, 2021Apr 1, 2021
Mike SunEasiest way to get HTTPS SSL on nginx with CertbotI’m writing this article because I just spent 4 hours on the web trying to make my website work. There were bits and pieces of information…Jan 25, 2021Jan 25, 2021
Mike SunPython List ComprehensionList comprehension is a really weird thing when I first saw it, but after a while it get’s trivial. Today, we will be exploring this…Jul 14, 2020Jul 14, 2020
Mike SunValidating A Binary Search TreeFirstly, understand what is a BST. Convention has it that the left child must always be smaller for the right child, for the entire tree…Jul 12, 2020Jul 12, 2020
Mike SunReverse Linked ListGiven a linkedlist, reverse it using both iterative approach and recursive approach.Jul 11, 2020Jul 11, 2020
Mike SunWeird Python Pass By ReferenceEven if you think you know pass by reference and pass by value, truth be told, you get thrown off sometimes. Recently, I was solving a…Jun 27, 2020Jun 27, 2020
Mike SunGetting HTTPS with google domain on AWS EC2Who this guide is for: you are using EC2 amazon linux 2 intance and not on Amazon’s domain. In particular, google domain, because it seems…Jun 22, 2020Jun 22, 2020
Mike SunQuicksort Python ImplementationQuick sort is really very confusing and the following implementation is merely one in many. Originally I wanted to write about quicksort…Jun 20, 2020Jun 20, 2020
Mike SunA beginner friendly linkedlistGoogle’s Udacity course on data structure and algorithmsJun 16, 2020Jun 16, 2020