163 karma · joined April 21, 2019
If you are dealing with polynomials/algebraic geometry only then there is a very simple, totally rigorous approach using nilpotents. And there is a newer approach called "alpha calculus" that I know nothing about but here is an example: https://arxiv.org/pdf/0807.3477.pdf
And low resource computing is more theoretically and practically interesting. I've heard experts complain of some experiments "they didn't really discover anything, they threw compute at the problem until they got some nice PR." This was coming from M'FAANG people too so it's not just resentment.
This is a strange example of inconsequential protest, as the movement against furs was highly successful.
https://www.nytimes.com/2018/10/15/technology/myanmar-facebo...