Resolutions

It’s already the May of 2022. This year has been a tough year for me so far. Life is throwing challenges at me one by one and seems like it would never stop. It tired me out and almost stopped me from all the leisures that I even lost the energy to read. I think it’s now the time, however, to pick up reading again and to get my life together. To get me started, here comes my very first story on Medium. Hopefully I could make good use of this platform to record my reading and to share my learnings and views on different books.

[Formal explanation] resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in propositional logic and first-order logic. [rule] The resolution rule says that a clause must not contain complements. complements consists of two literals — one literal and the literal of negation of it. For example, …

[abbr] CNF stands for Conjunctive normal form. [intro] CNF is a form that a sentence expressed as a conjunction of clauses.

Throughout history, the seasons have been celebrated far more than the years. The seasons are definable when working off the movements of the earth, the passing of years is more arbitrary. Even before the equinoxes and solstices were known and measurable, the seasons were felt by people. The warming of…

Matplotlib이나 Plotly 등을 이용하여 지도를 포함한 차트 그래프를 시각화하고 이것을 파일로 저장하여 사용할 때 보다 선명한 해상도의 이미지를 사용할 수 있는 방법입니다. Matplotlib plt.savefig(‘test.png’, dpi=300, bbox_inches=’tight’, pad_inches=0) Matplo …

Here is very recent example of down to earth resolutions from my personal life. In the past few weeks I was driving from home to EPFL everyday to work in the amazing library, the vibe is great and the space is just splendid. Earlier this week I looked at the…

CONFESSION FROM THE PAST Dear future self, I admit, I tried to hold you down. Because I was suffering. I closed all the doors, to the people who wanted to help, but I feel like I’m too much to handle sometimes. I’m overly stubborn, and too self-less. I know you…