Hi, I'm Kartik. I'm a grad student at CMU, interested in mathematics and computer systems. you can find more here