The biggest effect of naming mathematical concepts after people today is it reminds learners that the art belongs to Europeans.
The biggest utility in using people's names in mathematics is to create a high barrier of entry as it makes learning more difficult, as well as to obscure the real history behind how the mathematical idea was conceived.
The biggest reason we continue to name mathematical ideas after people is due to lack of effort or wanting to uphold their own academic superiority.
@stman Language. Every child should be able to use and learn technologies *completely* in their own language, then have a pathway into developing with at least a language that is substantially similar to their native language.
Until the day English is no longer a monopoly of our computational ideas, cyberspaces cannot truly realize the immense diversity of people.
objectively speaking US is an incredibly corrupt country
"Summary of June 8 outage"
Says they'll post a post-mortem soon.
Synthetic Messenger; A botnet scheme for climate news: https://syntheticmessenger.labr.io/#
I'm no fan of web ads or the botnets they attract, it's all hugely wasteful! But if we are to have it, I'm glad someone's making sure climate news doesn't miss out on funding.
Doom Captcha - Miquel Camps Orteza: https://vivirenremoto.github.io/doomcaptcha/
You can execute arbitrary code on Minsky's universal turing machine xD
@jiaming Naming theories, theorems/lemmas, and definitions after people, as a form of recognition, is very flawed. Not because of ideology of the said people, but because a) they probably didn't invent it at all (a.k.a. the half-serious Arnold's law), and b) this creates bad incentives (lust for fame).
Also history of science is a completely different, and mostly irrelevant field.
The FoM is an interesting topic, and all mathematicians should pay a bit of attention to it, but it's not like without knowing it in depth you can't do any math, quite the contrary.
actually this is why i seriously don't like that we have so many programming languages and frameworks lmao. they're all broken in at least five ways. but then you have the Choice to pick any of them for the tiny downside that every tool or module has to be written ten thousand times in parallel. beautiful
This did not occur until people started discussing on the pull request where to organize outside of their control for a fork. Organizing works.
✨ HOW TO HAVE A NICE TIME ON THE FEDIVERSE ✨
1. Don't be a downer in replies for no good reason.
2. No unsolicited advice.
3. If someone says something nice to you, boost a post of theirs that you like.
4. If someone is rude/unhelpful/a downer in your replies, block-unblock them to get them off your follower list (or just block them if they don't follow you).
5. Use hashtags sometimes, and when you do, click on them and boost the good stuff to federate it about.
Interested in formal methods and constructive mathematics.
To support this server and the OMN project https://opencollective.com/open-media-network