tag:blogger.com,1999:blog-183843272024-03-14T02:50:24.595+08:00Veni Vidi ViciUnknownnoreply@blogger.comBlogger184125tag:blogger.com,1999:blog-18384327.post-4810018835353848912016-07-17T14:33:00.000+08:002016-07-17T18:21:25.412+08:00How to find outstanding people to work with?
A few years back, in 2010, I gave a talk to the graduating class of DIET as part of the IEEE Gold program. The topic was about "How to craft a successful engineering career?". I had just finished little over 3 years at Microsoft and was looking forward to the next phase in my career. My talk was partly based on my own experience and partly based on what I thought were the key Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-24514042934697194432014-07-08T17:20:00.001+08:002014-07-08T23:23:18.489+08:00Vulnerability Disclosure for Node.js Applications - CashCube and WEPL
This post is about two Server Side JS injection vulnerabilities that I found in CashCube, a node.js application which does personal money management and WEPL, a node.js based REPL.
In CashCube, the vulnerability is due to the use of unsanitized input in the eval command, this enables the attacker to pass arbitrary commands to the server. Can lead to shutdown of server or even deletion of Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-34746268728665945462014-01-22T11:15:00.002+08:002018-02-02T14:39:39.035+08:00Executing OCaml Programs in Eclipse with OcaIDE
This blog post explains how to use OcaIDE to build and run your OCaml Programs. Assuming that you have installed OCaml, Eclipse and the OcaIDE plugin for OCaml, the first step is to setup the right paths to OCaml installation directory in the OcaIDE plugin configuration as shown in the below screenshots.
Once the path to the OCaml directory is set in eclipse you can Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-24834757044272374142013-12-12T10:16:00.000+08:002013-12-12T10:16:34.180+08:00Life in Death
The truth of life is in death,
is this why our dreams are never met.
We go on with our lives everyday,
while the moment of truth is far away.
Life comes in its many shades,
while the blow of death is always gray.
Hopes are born with beginning of life,
death crushes them with no respite.
But is this really even life ?
filled with pain, sorrow, grief and spite.
When death is the only salvation,
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-91006175010049949052013-11-27T23:37:00.000+08:002013-11-27T23:37:13.793+08:00List Example for Extracting OCaml from Coq
In this post I will show how to extract a simple list append function written in Coq as OCaml code.
First let us create an inductive type in Coq to define our lists as follows.
Inductive mylist : Type :=
| nil : mylist
| cons : nat -> mylist -> mylist.
Next, we will define an append function over these lists using the "Function" keyword.
Function myappend (l1:mylist) (l2:Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-44645024974772226062013-10-05T02:03:00.000+08:002013-10-05T02:03:50.417+08:00Using Ocsigen for Web Development with OCaml on Nitrous.IO
As I said in my last post, once you have configured OPAM on nitrous.io, it is quite easy to install additional OCaml libraries and framework. Ocsigen is a web development framework for OCaml. In this post we will see how to configure Ocsigen on nitrous.io to build a simple website with OCaml. To install Ocsigen, just use OPAM
opam install ocsigenserver
After installing Ocsigen we need to Unknownnoreply@blogger.com5tag:blogger.com,1999:blog-18384327.post-80356238120745956622013-10-03T23:35:00.000+08:002013-10-03T23:35:03.731+08:00Configuring OPAM for OCaml on Nitrous.IO
In the previous post I showed how to get a working OCaml compiler installed on a nitrous.io box. We had to get the source code of OCaml from github and build it. It turns out there is a much easier way to get the compiler and all the necessary libraries. We can install the OPAM package manager inside our box and then use OPAM to download additional libraries. In order to configure OPAM onUnknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-18023514104391696652013-09-29T00:15:00.001+08:002013-10-01T04:58:00.201+08:00OCaml on Nitrous.IO
Nitrous.IO provides free servers with console access to developers. The servers can be provisioned across different geographies and allows for a good way to code on the web. Each nitrous box comes with a web based IDE and console access. They provide boxes for web development in Ruby/Rails, Go, Python/Django and node.js. However since they allow console access it is possible to install many Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-18384327.post-87035182136198385372013-06-25T14:34:00.000+08:002014-01-22T11:23:49.101+08:00Air Pollution in New Delhi
After the furor created by the recent haze situation in Singapore, I wondered about the air quality back home in India.
So I decided to check up the air pollution levels in New Delhi which is known to be one of the most polluted cities in India. What I found surprised me, the PSI level on average in New Delhi is 200+. The Delhi Pollution Control Committee provides real time data on Unknownnoreply@blogger.com4tag:blogger.com,1999:blog-18384327.post-17809467473511929662013-06-25T14:05:00.001+08:002013-06-25T14:05:35.476+08:00Time Travel - Wormholes
The theory of general relativity predicts that if traversable wormholes exist, they could allow time travel. This would be accomplished by accelerating one end of the wormhole to a high velocity relative to the other, and then sometime later bringing it back; relativistic time dilation would result in the accelerated wormhole mouth aging less than the stationary one as seen by an external Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-7761716260630311102013-05-13T11:44:00.001+08:002013-05-13T11:44:42.576+08:00Geet Nahi Gata Hun - Atal Bihari Vajpayee
गीत नहीं गाता हूँ, गीत नहीं गाता हूँ
बेनकाब चेहरे हैं दाग बड़े गहरे हैं
टूटता तिलिस्म आज सच से भय खाता हूँ
गीत नहीं गाता हूँ, गीत नहीं गाता हूँ
लगी कुछ ऐसी नज़र, बिखरा शीशे का शहर,
अपनों के मेले में, मीत नहीं पता हूँ ,
पीठ में छूरी सा चाँद, राहु गया रेखा फान्द,
मुक्ति के शानो में, बंध जाता हूँ,
गीत नहीं गाता हूँ, गीत नहीं गाता हूँ (II)
गीत नया गाता हूँ, गीत नया गाता Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-79173963486070325092013-05-06T23:08:00.000+08:002013-08-03T10:32:27.831+08:00Sometimes I wrestle with my demons Sometimes we just snuggle
Sometimes I wrestle with my demons
Sometimes we just snuggle
Sometimes I fight them
Sometimes we just play
Sometimes they hide in my closet
Sometimes I keep them away
Sometimes they pull me under the bed
Sometimes we just push each other
Sometimes they make me suffer
Sometimes we just laugh together
Sometimes they get on to me
Sometimes we just stay away from each other
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-54213764358733507252013-04-11T18:19:00.000+08:002013-04-11T18:19:10.137+08:00Main Tumhe Doondhne - Hindi Poem By Kumar Vishwas
मैं तुम्हे ढूंढने स्वर्ग के द्वार तक,
रोज़ आता रहा रोज़ जाता रहा।
तुम ग़ज़ल बन गई, गीत में ढल गई,
मंच से मैं तुम्हे गुनगुनाता रहा।
ज़िन्दगी के सभी रस्ते एक थे,
गहरा ठहरा हुआ जल बनी ज़िन्दगी,
तुम बिना जैसे महलों में बीता हुआ,
उर्मिला का कोई पल बनी ज़िन्दगी,
दृष्टि आकाश में आस का एक दिया,
तुम बुझाती रही मई जलाता रहा।
मैं तुम्हे ढूंढने Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-84860338003358436382013-03-11T08:13:00.004+08:002021-11-04T10:38:44.346+08:00Vikram Singh Rawat PoemRead the full book of his poems - https://bookdown.org/content/0a3463d1-8940-4f82-b50a-7d6579c78297/
ज़िन्दगी में कुछ भी कभी हरपल नहीं रहता
जो आज साथ होता है तुम्हारे वो कल नहीं रहता
मैं फ़िज़ूल रोया करता था लम्हों पे दशको पे
समझ आया अब की वक़्त खुद भी सदा प्रबल नहीं रहता
मरते हैं इसके भी पल जो बहते हैं इसकी धाराओ में
सदा को ठहरा हुआ कोई भी इसका पल नहीं रहता
सिर्फ तू भंवर में Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-40151655635760724882013-03-07T22:00:00.003+08:002013-03-08T11:09:21.141+08:00Einstein Quote
Politics it the art of possible, Science is the art of soluble - Albert Einstein
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-53042060318711464732013-03-06T22:09:00.003+08:002013-03-06T22:13:15.490+08:00Dushyant Kumar's New Poem
आज सड़कों पर लिखे हैं सैंकड़ों नारे न देख
घर अँधेरा देख तू आकाश के तारे न देख
एक दरिया है यहाँ पर दूर तक फैला हुआ
आज अपने बाजुओं को देख पतवारें न देख
अब यक़ीनन ठोस है धरती हक़ीक़त की तरह
यह हक़ीक़त देख, लेकिन ख़ौफ़ के मारे न देख
वे सहारे भी नहीं अब जंग लड़नी है तुझे
कट चुके जो हाथ ,उन हाथों में तलवारें न देख
दिल को बहला ले इजाज़त है मगर इतना न उड़
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-2640659893872480812013-01-05T16:12:00.003+08:002013-01-05T16:21:51.702+08:0040 Rules for a Better Life
1. Drink plenty of water.
2. Eat breakfast like a king, lunch like a prince and dinner like a beggar.
3. Eat more foods that grow on trees and plants, and eat less food that is manufactured in plants.
4. Live with the 3 E’s — Energy, Enthusiasm, and Empathy.
5. Make time for prayer and reflection
6. Play more games.
7. Read more books than you did Unknownnoreply@blogger.com1tag:blogger.com,1999:blog-18384327.post-23939745603109406552012-11-26T15:27:00.001+08:002012-11-26T15:27:23.271+08:00Time Dilation
We covered Time Dilation or slowing of time in a previous blog post. This famous comic from XKCD depicts it in real life how can it be useful :)
Angular Momentum
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-2595409334843858872012-11-17T04:07:00.004+08:002012-11-18T12:59:50.660+08:00Koi Deewana Kehta Hai - Kumar Vishwas
The poem that started it all ...
कोई दीवाना कहता है, कोई पागल
समझता है !
मगर धरती की बेचैनी को बस बादल
समझता है !!
मैं तुझसे दूर कैसा हूँ , तू मुझसे दूर
कैसी है !
ये तेरा दिल समझता है या मेरा दिल
समझता है !!
मोहब्बत एक अहसासों की पावन
सी कहानी है !
कभी कबिरा दीवाना था कभी मीरा दीवानी है !!
यहाँ सब लोग कहते हैं, मेरी आंखों में
आँसू हैं !
जो तू समझे तो मोती है, जोUnknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-54013353805666513712012-11-10T00:00:00.002+08:002016-03-07T20:38:56.362+08:00An Infographic on the 3 types of Time Travel
We discussed the various other possibilities of time travel in my previous post. The new movie "Looper" actually depicts a dynamic time line (similar to Back to the Future) which loops onto itself and thus ends in a paradox. You can read more on the potential of Looper for time travel here.
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-36823801194431105162012-11-08T18:53:00.002+08:002012-11-08T18:53:55.210+08:00Does Time Exist ?
In a previous post we discussed the arrow of time and how it affects our perception of reality This video from Discovery Channel explores the question of existence of time. Narration is by Morgan Freeman.
Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-39542585674626956562012-11-08T16:41:00.001+08:002013-08-15T18:30:13.155+08:00Making Light Travel Faster
As we discussed in a previous post on nature and shape of time, the speed of light in vacuum is a constant (c = 299792458 m/s) . But in different materials (like glass) the speed of light can be less. Scientists have now developed a new nanoscale device which makes light appear travelling infinitely faster. This makes light appear all throughout the material at the same Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-38306863268309879932012-11-08T13:16:00.001+08:002012-11-08T13:18:46.086+08:00Inclusive Growth
The following essay was written for India Future of Change Competition last year.
A local train journey from ‘Bandra’ to
‘Andheri’ in Mumbai early last year was enough to remind me that not only is
there a big cultural, regional and linguistic diversity in India but also a much more deep rooted economic diversity. Mumbai’s
local trains alone bring out the social divide which exists inUnknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-79445347994162355352012-11-08T13:10:00.002+08:002012-11-08T13:10:42.519+08:00Ho Gayi Hai Peer Parvat - Dushyant Kumar
हो गई है पीर पर्वत-सी पिघलनी चाहिए,
इस हिमालय से कोई गंगा निकलनी चाहिए।
आज यह दीवार, परदों की तरह हिलने लगी,
शर्त थी लेकिन कि ये बुनियाद हिलनी चाहिए।
हर सड़क पर, हर गली में, हर नगर, हर गाँव में,
हाथ लहराते हुए हर लाश चलनी चाहिए।
सिर्फ हंगामा खड़ा करना मेरा मकसद नहीं,
मेरी कोशिश है कि ये सूरत बदलनी चाहिए।
मेरे सीने में नहीं तो तेरे सीने में सही,
हो कहीं भी आग, Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-18384327.post-34453215217165882202012-10-23T10:20:00.001+08:002012-10-23T10:23:47.100+08:00A look at 'Looper's' potential for real world time travel
A new movie - "Looper" explores closed time loops as a time travel mechanism.
You can read more about it in the following article by CNN. The discussion revolves around some of the topics we have already covered in the blog post on various forms of possible time travel.
Unknownnoreply@blogger.com0