Proofs of Useful Work from Arbitrary Matrix Multiplication / hacker news