orthonormal comments on Let’s reimplement EURISKO!

[orthonormal]

I think that most upvoters got the joke...