I just proved that constraint solving problems can be encoded as p-adic linear regression problems[+], and that therefore we can use machine learning optimisation techniques to get exact answers.

So of course no journal or conference is in the least bit interested, and I'm now reformatting it for another obscure low-tier journal that no-one will ever read.

Otherwise:

- automating the translation of a Byzantine Greek work that has never been translated into English before. https://stephanos.symmachus.org

- also preparing evidence for a case against the university I sometimes work for.

[+] Linear regression, but instead of minimising the Euclidean distance, minimise the p-adic distance - https://en.wikipedia.org/wiki/P-adic_valuation