Vines' Log

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

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

Topics covered Process, Process Interaction

最近在看的書。 很多男人在戀愛屢次碰壁之後，都會將問題歸結為自己沒錢或者自己長得不高不帥等，但事實上這些都不是根本原因，最根本的原因是他完全不了解女人。

Reading paper Prompt-to-Prompt Image Editing with Cross Attention Control and Null-text Inversion for Editing Real Images using Guided Diffusion Models