What Should We Optimize Away? · HackerLangs