Posts by Year


Jeddah Airport Rant

1 minute read

Jeddah Airport: Possibly the worst airport Recently I flew out of Jeddah and even though I knew that it is ranked quite badly I wanted to see if the rumors w...


less than 1 minute read

Setting up HotCRP!


VRDP VirtualBox

1 minute read

Using VRDP with VirtualBox VMs Recently, I had some Android VMs running on a remote server and I had to look at the VM state graphically to see the progress ...

Bash Cookbook

less than 1 minute read

Bash Cookbook In this article I will post a cookbook like set of bash commands that I needed to use for several different scenario. In addition there would b...

Playing with Videos, Images and Fire

less than 1 minute read

Interacting with Video I used FFMPEG to process with videos. While there is pyffmpeg library as a python wrapper API but it appears to be broken at the momen...

Using AWS CLI for EC2

5 minute read

Using AWS CLI for EC2 This small tutorial will guide you through the process of executing basic ec2 operations using aws cli tool. The aws cli tool is extrem...

Guide: Calendar Notifier

less than 1 minute read

Google Calendar API and Calendar Notifier In our research group we use google calendar for booking time slots to run experiments on a shared cluster. While c...

Tutorial: Introduction to JMH

less than 1 minute read

Introduction to Java Microbenchmark Harness (JMH) Detailed tutorial on JMH

Tutorial: SSH into VirtualBox VM

less than 1 minute read

SSH into VirtualBox VM VBoxManage modifyvm myserver --natpf1 "ssh,tcp,,3022,,22" where ‘myserver’ is the name of the created VM. Check the added rules:

Docker Swarm

5 minute read

title: The future of Noddity date: Fri Jan 28 2014 00:00:00 GMT+0000 (UTC)


Fix bash warning for setlocale

less than 1 minute read

Errors/Warnings and Fixes Error/Warning: bash: warning: setlocale: LC_CTYPE: cannot change locale (en_US)