what is model checking?

courtesy of Edmund M. Clarke

it's a cool DOF, isn't it?

little house on the prairie

After a very looong time eventually I can watch the series again. Still very touching. First time, the series reminded me when I went to a small books rental in Malang near my rent-house, Indonesian version, "Di Tepi Danau Perak" and "Empat tahun pertama". After that my friend lent me an english version "In the bank of plum creek", the picture here is exactly depicting a first chapter of "in the bank of plum creek", a house which build under ground, on the plum creek river bank, there are beautiful Laura and her brave dog Jack. Laura wasn't so beautiful, cute hehe, but her older appearance was very pretty when Almanzo Wilder proposed to marry her, she was 18.
This series will truly negate any dogma which was told us about the danger of western culture, moreover if we compare it to today local television series. Ingalls family teach about a thankful life in a hard life, which is really suitable for general Indonesian people's hard life. Everything goes logically nice, there is no fairies or stupid big luck which are usually the magical solution in the climax of Indonesian TV series. Evil deeds among children were also depicted adequately, just as children nuisance, not as a smart ass conspiracy that tend to be dangerous even put someone's life at stake.
Most Indonesian TV series are very dangerous for children, sorry not only children, anybody. They shape your mind into a dull one that validate TV series director's illogical reasoning. Not only that, low taste dressing styles and many bad things.
Unfortunately today western serials such as "Friends", "Annie Mc Beal" or "Sex and the city" which are depicting glamour life attract more people to watch, hence they attract more commercials. Some opinions said that they might upgrade woman dressing style and taste...if and only if people afford to buy mango, zara, miu-miu, gucci, ysl, dkny, esprit and so on that are looming in many commercial building around Jakarta. If people are "smart" and confident enough maybe they can find them on factory outlet shop or even from grass root market such as Blok-M Melawai or even Poncol. In my opinion, I highly recommend women not to watch those serials due to their nature as shopping frenzies. The fashion knowledge gained from the serials might make their father or husband live in misery. While I was in a flight from Schiphol, I had a short conversation with a dutch woman about her shopping frenzy, she simply replied "I'm woman", hehehe, exactly the same as a javanese village woman's answer when I contested her about the same matter, hi mom :D. Since this answer was got from two very far point, which are distanced half of earth round, I think it is fair enough to make a generalization of their shopping frenziness.
So, for you who felt that life is hard, watch this series, little house on the prairie! Hopefully you'll be a thankful person. Last but not least, stay away from any disgraced Punjabi's products, beware, their product are such as sauron's rings, never let your family consume them or your beloved will be enslaved by this 'ring' called sinetron. The rings do not only enslave in a lifetime even after the lifetime, turn the bearers into creatures without souls, animated corpses even before they die.

The Road to Hell

Bukan, ini bukan film katro Road to Heaven punya nia dinata, itupun kalau layak disebut film.

Ini sebuah judul buku yang disinggung di opini kompas, rasanya bakal lebih baik dari bukunya perkins.

"Dalam buku The Road to Hell (Free Press, 1997), ia membongkar kebohongan politik bantuan lembaga internasional yang memanipulasi kepedulian, rasa kasih, aman, dan damai masyarakat korban untuk kepentingan kemewahan fasilitas dan gaji besar. Masyarakat Afrika tetap teronggok dalam kemiskinan."


target hunting buku selanjutnya!!

On pursue of good Mushaf

This Ramadhan somehow I want to have a good mushaf, the paper and the content. So far I rarely see a good one. The paper usually made of white HVS paper that made your eyes tired. About the content I must strict, it should big enough, official translation of Religious Affairs Minister, and have an arabic written style which I've been accustomed(I don't know which one, but I couldn't read a particular arabic style well).
The hunting begun!
First, Eramedia which is on the site of Soekarno Hatta Bridge, I couldn't find a suitable choice, I think it is awfull to know an Islamic bookshop that have not enough supplies of Al-Quran.
Second, Bondowoso book market, I found a very interesting one, made of thin yellow high quality paper, Religious affairs translation, but there's one problem it is too small.
Third, GIP on graha gip, near unisma. Finally I found what I want. Huge letters, good paper but there is one big mistake, typography! How could main text of translation printed with sans serif font? It is truly typhographic failure. Sans serif fonts only suitable for titles, not the main text, because it is clear but made the eyes tired. A conspiracy thought hit my mind, is it zionis role to made moslem lazy to read Al-Quran? Please GIP, you should hire better typographer!
Fourth, El tara, moslem shop in the downtown. A friend told me that shop is owned by National Heroe family, Haji Agoes Salim. Yeah, actually it is a cloth/dress shop, so it was ok if couldn't find what I want.
Fifth, I surrendered. At last I went to togamas, pick one that most likely fit my criterias, huge letter, non bluish white, Religious Affair official translation, etc. At home a examine it again, oh I was pick a wrong one! But I have no better choice.

Further more in recent month I bought another mushaf, it has a nice paper (non-bluish white) and serif font(times news roman, maybe). But the serif font is only on the few first pages! ¡another mistake!