## The Emperor’s Old Clothes

This is a republication from ACM’s archive of Prof. C. A. R. Hoare‘s lecture at 1980 ACM Turning Award. Prof. Hoare is popularly known for inventing QuickSort. The original piece can be found as PDF here. The primary reason for republishing this is the source PDF’s fonts. The PDF fonts are too horrible to read. […]

## Quick bash command to mass rename files in numbered sequence

Just a quick bash command to rename all files in a directory in a numbered sequence. d=0; for i in *.jpg ; do d=$((d+1)); mv {“$i”,”$d.jpg”} ; done This is going to rename all jpg files in the directory to 1.jpg, 2.jpg, 3.jpg and so on.

## Digit Math Application: Proving that all numbers ending with 5 are divisible by 5

Please read Digit Math: Introduction before you continue. The problem It seems I have developed a fascination for the number 5, so here we go again. Here I would be using Digit Math to prove that all integers which end with digit 5 are always divisible by 5. The proof Case 1: Take a two […]

## Digit Math Application: Proving that multiplying with 10**n puts n zeros at the end

Please read Digit Math: Introduction before you continue. The problem This is a very fundamental concept that we were taught when we were in junior schools. Now, think of it, what it says. If you add \(x\) ten times then you will get \(x\omega0\). If you add \(x\) hundred times then you will get \(x\omega00\); and so […]

## Access Ext3/Ext2 file system on Mac OSX Lion (10.7)

On Mac if you want to access ext3/etx2 filesystems, which are used by Linux systems, you will find lots of links on net but all are pretty outdate and they don’t work for Lion. So, here is the updated version, which works. At least for me. 😉 You will need two softwares:- OSXFuse – Download […]