Wow, that's remarkable.

As an aside, your work on numerical cohomology appears to have been useful for a new result pertaining to lattices. Given the authors of the followup work it's likely helpful for the study of lattices in post-quantum cryptography.