Explore how RoPE and ALiBi solve positional encoding in LLMs. Compare their math, extrapolation power, and adoption in models like Llama and GPT-NeoX.