Y Not? - Adventures in Functional Programming

Y Not? - Adventures in Functional Programming

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 - http://stackoverflow.com/questions/707184/how-do-you-run-a-crontab-in-cygwin-on-windows

3 steps to HTTPS on Ubuntu

Got it from https://help.ubuntu.com/10.04/serverguide/httpd.html

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 imap.gmail.com:993


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

Midi rendering using Javascript

Wow ... I accidentally ran into this awesome piece of software ..... https://github.com/gasman/jasmid

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

http://matt.west.co.tt/music/jasmid-midi-synthesis-with-javascript-and-html5-audio/

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 - http://www.raspberrypi.org/downloads

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.