Mike SunHow to run KleeTo all my undergrads struggling with Klee and their poor documentation2 min read·Apr 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…2 min read·Jan 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…1 min read·Jul 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…2 min read·Jul 12, 2020----
Mike SunReverse Linked ListGiven a linkedlist, reverse it using both iterative approach and recursive approach.2 min read·Jul 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…2 min read·Jun 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…3 min read·Jun 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…1 min read·Jun 20, 2020----
Mike SunPython Priority Queuesimple implementation extending python’s list1 min read·Jun 18, 2020----
Mike SunA beginner friendly linkedlistGoogle’s Udacity course on data structure and algorithms2 min read·Jun 16, 2020----