Vines' Log

Topics covered Abstract Data Types, Data Relations, Orderings, C++ STL Data Structures

Topics covered OS Architecture, Process, Concurrency, Threads, Memory

Topics cover Propositional Logic Proof System (Resolution), Resolution Graph and SAT Solvers

Topics cover Propositional Logic Basics (CNF, DNF), Validity and Satisfiability, Semantic Equivalence

Topics cover Chapter 2,3,4, 15, 16 of the 3rd Edition of the CLRS book. (Algorithm Correctness, Asymphtotic Notations, Divide-And-Conquer, Dynamic Programming, Greedy Approach)

Topics covered Architectual Pattern including Layered Architecture, Tiered Architecture, Publish-subscribe, MVC.

Topics covered Refactoring, Code Smell. A code smell is a superficial characteristic of code that is often indicative of deeper problems. It’s similar in concept to the term “red flag” for interpersonal relationships.

Topics covered basics of UML, Composite Pattern, Decorctor Pattern, Adapter Pattern, Strategy Pattern, Template Method

Topics covered Modularity, Cohesion and Coupling

自律是解決人生問題最主要的工具，也是消除人生痛苦最重要的方法。通過自律，在面對問題時，我們才會變得堅定不移，並能從痛苦中獲取智慧。簡單地說，所謂自律，就是主動要求自己以積極的態度去承受痛苦，解決問題。自律有四個原則：推遲滿足感、承擔責任、忠於事實、保持平衡。而自律的原動力是愛。