This really looks like a nice library for symbolic maths. Keep in mind it's python based but it goes all the way to generating solutions to the given problem in various languages.

Good musing about simple code and complexity. We definitely should avoid unwarranted complexity in our code, or at least try to prevent it's spreading.

A bit too much written in superlatives for my taste. Still, this is an interesting set of qualities indeed. Definitely things to aim for.

They're definitely a powerful tool. I see them used in a few places but definitely not enough.