> I think that we might still be looking for the algebraic notation or Leibniz notation for programming that will make everything completely obvious and will make future generations look back at our C, Python, Rust, et al and marvel that we were able to do anything.

I used to think this too, and spent years looking for that notation, but now I think I was wrong. I think any gains now from notational inventions will be dwarfed by further gains from scaling up neural nets. I think we've 'been living in Symbolia but now are in the age of Weightville.