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.

hiding menu on xournal

Before shorten menu

Two rows of toolbar while working with xournal on small screen might be difficult. They consume too much space. Xournal manual point out how to hide these toolbar.
check your ~user/.xournal/config. It can be generated by saving preference.
Then edit the value of this line:
shorten_menu_items=toolbarMain toolbarPen hbox1
toolbarMain for top toolbar
toolbarPen for below top toolbar
hbox1 for status bar


After shorten menu

I got these values from xournal.glade of the xournal source code as pointed out by xournal user manual. The lines on xournal.glade are:
widget class="GtkToolbar" id="toolbarMain"
widget class="GtkToolbar" id="toolbarPen"
widget class="GtkHBox" id="hbox1"

on freedom of expression

This time I deeply regret 15-M manifestation in Sol. Their direct engagement with Catholic World Youth Day teenager is really unacceptable. What did they do before these event was finally held?

In my opinion it is a really bad impression among happy teenagers who travel across continent and ocean leaving their family just to visit Madrid and meet the Pope.

Here's the situation on 23.00 of the second day of the JMJ event in Puerta del Sol. Really strange compare to the day before on the first day where hundreds if not thousand of young teenager around the world gather there with their country flags or region and various Catholicism apparels.

Clearly, ones freedom is limited by other's freedom. Respect.

oil on lens

Camera lens indeed has sophisticated mechanical parts. As other mechanical devices, lubrication is an essential treatment. However it doesn't mean that a lens needs lubrication.

Here is a severe example of the impact of a drop of oil on the aperture. The aperture mechanism is using a very light force. Therefore a small inhibitor will affect its functionality. The aperture blade is so light and designed with such kind of matte surface, apparently to prevent any glare. Therefore the oil fill the matte texture of the blade, and the cohesive forces between blades increase, so they are harder to move. Finally the diafragm cannot be changed.

I wonder from where did the oil come from? Apparently it came from the melting grease. But still I'm unsure, it may also came from silly human action.

on being unproductive

I feel that in these several recent days I've done nothing meaningful. Stuck in something and made no progress. Just feel horrible somehow.

If this situation would be continuously going on, I think I just merely waste my precious time of the most productive period of my life.

Instead of insisting to move forward, and get stuck, I must step backward, strengthen the foundation and then make a leap jump. Reading some 'ancient' seminal papers is a really good idea. Last time I learnt about a shocking vulnerability exploit. Though it is merely a simple problem on the surface, a deep observation led me to broad fields in computer science. From assembly, memory structure, into security policy. It refreshed and also taught me about the basic knowledge a computer engineer should have.