Explaining Attention with Program Synthesis · HackerLangs