23 Oktober 2011

Lazy

These days clearly one of the laziest days living in Madrid. Everything ends up in front of computer screen, in a hope of solving and write up the solution.

Finally I decided to walk around, in a hope of finding a chicken soup for my lazy soul. Even though not really exactly what I needed, I found some auto critique for myself. I saw how people have to work hard. Really hard in fact, a waiter at 11 pm, stay outside, in a cold weather, on his 50s or even 60s. A teenage waiter, preparing chair, table and utensils. A little girl helping her grandma selling second hand books. An old man gathering trash looking for valuables. A man crawling into a supermarket trash for edible expired food. My God, I must thankful for how lucky I am.

Thankful

It's a really simple word, but it has a really deep meaning which is very hard to grasp, moreover to be applied on a real action.
OMG, forgive me for forgetting the meaning of this word.

coq au curry

Math is always a fascinating subject for me. Particularly the one related to proof and type theory that coined out in curry howard isomorphism. Strange somehow, that I could graduate from bachelor in informatics without knowing this theorem.
My curiousity grows even wilder when I work around people who acquintance with this and using incredible tool such as Coq. It's so cool! Then I dig further into this. Let's see what can I learn from this curiosity.