Monday, April 8, 2013

Quick intro to git

Here are some quick steps to setup a project under git - Say, you have a project called project at /path/to/project

1. Initialize the git repository
    cd /path/to/project
    git init

   This will create a directory called .git at /path/to/project

2. git add file1 file2 ...
    Add the files that you'd like to be tracked

3. git commit -m "comments for commit"
    This will "commit the changes

After that, you can make changes to the file and then do a "git diff" to see the changes

Unlike other repositories, you need to do "git add" each time

Say, you make changes to file - f1 - to put the changes into the repository, you need to do

git add f1
git commit -m "comment"

Thursday, March 14, 2013

Good elisp functinons

1. Convert a lisp data to string - prin1-to-string

Running cron under cygwin

Not a big deal at all ... I got it working on windows8 today ...

All I had to do was - run cron-config (after installing cron under cygwin ofcourse) .. inside a cygwin terminal that was started as administrator!

Thanks to this link -

Saturday, February 23, 2013

3 steps to HTTPS on Ubuntu

Got it from

1. sudo a2enmod ssl
2. sudo a2ensite default-ssl
3. sudo /etc/init.d/apache2 restart

SSL clinent/server using openssl

Telnet is nice program that allows us to create a TCP socket connection with a server and then interact with the server on the terminal. This ofcourse does not work when the server uses SSL. That is where openssl comes to the rescue.

openssl s_client -connect

Similarly an SSL server can be cooked up instantaneously -

openssl genrsa 1024 > key
openssl req -new -x509 -nodes -sha1 -days 365 -key key > cert
openssl s_server -accept 12345 -cert cert -key key

Tuesday, January 29, 2013

Midi rendering using Javascript

Wow ... I accidentally ran into this awesome piece of software .....

MIDI synthesis in javascript - that too, very neat looking javascript :)

Saturday, January 19, 2013

Raspberry Pi - in India

I got my raspberry pi yesterday and I was able to get it to run today!!!

Things I had to purchase/use

  1. Raspberry pi - Rs 2964
  2. SD card - 8 GB (I hear that >2 G would do) - Rs 1000
    1. You might have this already - in your camera
  3. USB keyboard/mouse
  4. Ethernet cable - I already had this for my Airtel set top box
  5. RCA video cable (usually Yellow). I have not been able to get the audio to work yet. Looks like regular white/red audio cables do not work
  6. Micro USB power supply - I could use my HTC mobile phone charger for this

I burnt the raspberry pi image on the SD card using the instructions mentioned here -

After that I was able to get the whole thing connected and started. Raspberry Pi started off without any problem. For logging in, you need username=pi and password=raspberry

Next steps

  1. Buy an HDMI cable
  2. Buy an ethernet cable
  3. Figure out how to get wifi working - I'd need to buy a wifi dongle for this.