Program Verification And Automated Theorem Proving

Presented @ XConf, ThoughtWorks, Chennai

Posted in Labels: , | 0 comments

படித்ததில் பிடித்தவை - 5

கொடும்புருவம் கோடா மறைப்பின் நடுங்கஞர்
செய்யல மன்இவள் கண்

கலைஞர் உரை:
புருவங்கள் வளைந்து கோணாமல் நேராக இருந்து மறைக்குமானால், இவள் கண்கள், நான் நடுங்கும்படியான துன்பத்தைச் செய்யமாட்டா.
மு.வ உரை:
வளைந்த புருவங்கள் கோணாமல் நேராக இருந்து மறைக்குமானால், இவளுடைய கண்கள் யான் நடுங்கும் படியான துன்பத்தைச் செய்யமாட்டா.
சாலமன் பாப்பையா உரை:
அதோ வளைந்து இருக்கும் புருவங்கள் வளையாமல் நேராக நின்று தடுத்தால், அவள் கண்கள், எனக்கு நடுக்கம் தரும் துன்பத்தை தரமாட்டா.
Translation:
If cruel eye-brow's bow, Unbent, would veil those glances now;
The shafts that wound this trembling heart Her eyes no more would dart.
Explanation:
Her eyes will cause (me) no trembling sorrow, if they are properly hidden by her cruel arched eye-brows.

An Interesting Friday

Until Friday morning, I had no clue how different that day going to be. I was lately notified that my parents had some plans for that evening. Sensing the end of bachelor life nearing sometime soon, I felt bit sad but was little anxious as it was the first of its kind in my life. I reached home bit early and was shocked to see everyone busy getting dressed up well for the ‘day’.

While my sister, nephew and niece were all dressed in new attire, I wore my usual short shirt and jeans. I was forced to change to some other color and couldn’t get exactly which one they actually mean. It was quite evident that guys can perceive only primary colors like red, blue. I honestly have no clue to differentiate between bluish gray and grayish blue. While I managed to please my sister and dad, there came my sister’s hubby who wanted me to dress in formals. At Thoughtworks wearing formals is almost an offense, if not, people will exchange strange looks. As my mom smilingly asserted (her usual way) that most of them were at laundry, my sister’s hubby offered his shirt. I said ‘no’ as it reminded me of Senthil’s match-making scene in Padayapa. Saying “enna vechu comedy panaleye”, I managed to wear random T Shirt no matter whatever people gonna say.

We took a cab and my sister started sharing her own experiences. It looks like she felt as if she were in an interview. Gist of the conversation she had with her husband when they met first:

· Where are you currently working at?

· What’s your plan 5 years down the line?

· Are you willing to relocate?

While she was bullying her husband for those first meet moments, I decided that I shouldn’t be making any of those same mistakes. But I had no clue what to ask or what not to either. Before thinking of something that I could ask or tell her, we reached girl’s home. Not any different from others, the girl’s brother got my company’s name wrong first time. ”What” works? --ThoughtWorks. (A usual question people ask when I tell them where I work.). It was already 9 PM. I was bit hungry and was expecting some Baji / Bonda, a common recipe particularly well known to be served on this event. To my disappointment, Baji/Bonda was not offered instead were treated with some snacks.

And that moment finally arrived. The girl turned up before us. Not sure if it is because of watching too many movies, I had rough idea about this event in mind. While I don’t really expect any girl to be too traditional, I was expecting a girl in sari. Eventually that expectation was ended up in vain too as she was in some salwar. While I thought that it is quite common nowadays to let girl have few words with guy, her father declared that girl had no queries. Oh no… No matter what so ever, since I was about to make decision purely based on conversation and coherence of thinking wavelengths, I had to buy some time for that.

With no much room for privacy (just few feets away from others and to make things worse my sweet nephew and niece were playing just circling us), I managed to talk for a while and things went off well. For the first time in life, felt that talking to a girl is a skill to master. Suddenly realized Santosh Subramaniam movie kind of thing happening. She seemed to be so much dependent on her father that when I asked her for mobile number I got a big “bulb”. She said she wanted to confirm with her father before sharing. As in my previous post, I like someone who is independent and has her own ideas & thoughts.

On contrary, I informed my parents about quitting Verizon only just few days before I joined ThoughtWorks. Neither have I consulted my parents for my travel, career and any day-to-day activities for that matter nor have they insisted anything. It looked as if we were brought up in extremely different environments. While returning home I was regretting for not pursuing proposals of x and y, which is exactly why I am going through all of these :)

Posted in Labels: | 6 comments

Why I Love Gitli

I watched Swades again. Yes. I would have watched dozens of times. In particular, I liked the way Gayatri Joshi (Gitli / Geeta) was portayed: A matured girl with her own thoughts and ideas, too bold and witty. The way she converses with (SRK/ Mohan) is witty but at times romantic. [To put in local jargon, she gives lot of "bulbs" :)].


I am really impressed with Ashutosh Gowriker. He has handled the movie meticulously and framed each scene with utmost perfection. Rahmans BGM and songs are awe inspiring. I have watched this movie dozens of time and never felt boring. This movie is simply an epic. I thought of listing the scenes I liked the most.

Bookshop scene:
Geeta's intimidating intelligence and sarcasm, Mohan's cool attitude and looks (when he looks at calculator and then Geeta) are interesting to watch.

Gazing Scenes:
  • Mohan's gazes at unaware Geeta from caravan but she coldly shuts off not reciprocating.
  • Mohan pretending to sleep while he gazes at Geeta watering plants.
  • Mohan's side glances when they watch Yadon Ki Baraat together.

Caravan scene: Mohan communicating Geeta with eyes to hide cigars

Classroom scene:
Mohan pranks Geeta pretending ignorant of his owns country's heritage. Geeta humiliates Mohan for his ignorance but Mohan finally expresses his knowledge when she is alone at classroom in style. (Duster flick deserves mention :)). Actually she exposes the dilution of her resentment, gets impressed for the first time and starts building positive notions on Mohan. Excellent BGM mesmerizes me. Gitli simply rocks. Watch

Match making scene:
Mohan expressing sigh off relief when Geeta turns down Kaveriamma's match was simply superb. The follow-up discussion that night depicts Geeta's attitudes and traits. She is a girl with opinion and ideas. I love this character(Gitli) madly.

Dhoti Wearing Scene:
Scintillating BGM. Her looks while she wraps dhoti for Mohan… simply romantic. She is good at expressing feelings through eyes. Watch

Mohan leaving village to meet Haridas scene:
Confident Mohan's dialogues "Don't Miss me too much", "Tumhari aankhon mien. kya dekhiye sab kuch" are intelligent. Again the bgm in this scene is mind blowing that I keep listening several times.

Geeta proposing Mohan scene:
She stops teasing him and finally confesses her feelings. She smirks at him and proposes. admiring… Watch

Assorted Water scenes:
Throughout the movie, the way Mohan accustoms with water portrays his change in perceptions. Initially he refuses to drink water Kaveriamma offers and hesitates to step in to the river along with Geeta. But finally when he sees a little boy toiling to sell water for 50p, he buys from him ignoring sanitary conditions. At the end, he washes of mud stains in the same river which he previously abandoned.

Posted in Labels: , , , , | 0 comments

En Swasa Kaatre - Theendai Mei Theendai Chants

I have been long trying to understand the chants in Theendai Mei Theendai song from En Swasa Kaatre.

Lyrics: Vairamuthu
Music: A R Rahman
Singers: SPB, Chitra
I like all the above four and no wonder this is my favorite number. I am not sure if the following lyrics is perfect but it is very close to what I hear.

ஆழியில் பிறந்த அமுதெங்கோ
மாமலை விளைந்த மணிஎங்கோ
முல்லை விடைந்த உடலெங்கோ

Posted in | 0 comments

Ilayaraja BGM - 1

Nice BGM from Aan Paavam

Posted in Labels: , | 0 comments