Has anyone worked on an high frequency trading stuff here? I would be keen to learn from you!