Hacker News new | ask | show | jobs
by xarball 2933 days ago
That sounds a lot more like what they should aim for: Formalizing algebra.

It's probably a far safer bet that algebra won't be changing very often, much less so than any graphics pipeline!

I think they would be wise to think a little beyond beginners though. Algebra does not have to be always complicated, but it definitely needs to be open-ended to extend its usefulness.

The standard has been burned by short-sightedness before.