Shameless self-promotion: https://kevinventullo.com/2020/12/21/2-adic-logarithms-and-f...

I have a vague feeling that the relationship between 2-adic analysis and practical computation is underutilized, but I haven’t been able to nail down a compelling use case.