The LLL algorithm can efficiently “reduce” a “lattice” “basis”, something that turns out to be quite useful in cryptography, finding equations that a given number is a root of, integer
Category: Math
Pascal’s Mugging: Reasoning when you have other things to do
Epistemic status: I don’t think anything I’m saying in this post is completely new (eg see https://www.lesswrong.com/posts/Ap4KfkHyxjYPDiqh2/pascal-s-muggle-infinitesimal-priors-and-strong-evidence and https://www.gwern.net/mugging) apart from maybe the meta-probability framing, but it’s an exercise in