This page has moved to https://rohan.padhye.org/posts/.