Both math and programming notations are good and useful and you should learn both if you have the time and mental bandwidth
5
11
114
Conversation
I spend a significant part of my life translating things between these contexts, so this discourse has particularly annoying to me.
So many tweets from both sides utterly misinformed or with such snide dismissiveness that it's obvious they don't know what they're talking about
1
7
Similarly, as somebody who spends a great deal of time translating between natural deduction and type system implementations… and who also wants *both* programming languages and mathematics to be more ergonomic and accessible…