Comment by godwinson__4-8

Can you read your own writing?

What makes someone a "programmer" vs a mathematician? If you suspended your arrogance for a few moments you might realize you've wasted our time with a question that answers itself.

I mean it's also a generalization of very little value. Is someone doing linear algebra in lean not doing "the real stuff"? What is a programmer to you? Your question is why do some people not follow an area that is tangential to them to the maximal extent? Or to some arbitrary level of "real" as you subjectively define it? Is your claim that the level of linear algebra offered here is inherently useless unless paired with the "real stuff"?

Or did you just want us all to know you are a practitioner of such arts? Gold star for you.