Kirr
(Personally I hope the newly found mathematical prowess of AI's can be put to productive and peaceful use of finding Busy Beavers, and solving numerous Busy Beaver-adjacent questions, beginning with BB(6) and the Collatz conjecture.)
For the rest of the world, this is ~222 meters, more than twice the length of a 100 meter track.
EDIT: Ninja'd! :-)
[1] https://kirill-kryukov.com/electronics/resistor-network-solv...
<script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
Therefore, if you ever used MathJax, by possibly copying the above and forgetting, make sure to patch it out.[1] https://www.mathjax.org/#gettingstarted
EDIT: To clarify, patch out just the polyfill (the first line in the snippet). You can of course keep using MathJax, and the second line alone should be enough. (Though still better host a copy by yourself, just in case).
In discussion the authors say "Moreover, we want to emphasize the likely sample bias in our data. We recruited participants mainly via mailing lists and our project therefore probably has especially appealed to people who are already interested in health or aware of mental health issues."
I guess this bias could be significant. I can't imagine that someone who is particularly stressed, depressed and sleep-deprived will pay attention to a mailing list message that has anything to do with mental health, or aks "How's your PhD going?". Personally, if I saw such email, I would close it and forget it as fast as I possibly could.
Another problem is that people tend to lie to themselves about their mental health issues, telling themselves that it's not too bad. They would answer the survey more optimistically, as if this makes the issues go away. It takes a good capacity of self reflection to see the problems clearly, and the loss of such capacity often accompanies other mental health problems.
Additionally, it takes a particularly trusing personality to discuss your health issues in a web survey. You never know how anonymous it all really is and where the collected data may end up eventually. I'm not sure how this correlates with mental health. The paranoid types will obviously be less trusting, but I guess a certain level of care when sharing your personal health data should be normal. In any case, this is another inevitable source of bias in survey-based data.
These points don't invalidate the study, just suggest that it probably underestimates the real prevalence of mental health issues.
Imagine poor kids 100 years from now having to memorize all those emojis and their combinations at school. Or having to know 3000 basic emojis in order to be able to read news.
http://www.mattmillman.com/info/crimpconnectors/dupont-and-d...
https://www.connectortips.com/breakthrough-contact-design-sp...
"It had been a bad idea from the start, back in 1982, to operate every mechanism from a central source. Of course, the basic idea had sounded good: with the ozone layer burned off, too many people were behaving irrationally, and it had become necessary to solve the problem by some electronic means immune from the mind-slushing ultra violet radiation now flooding earth. Mr. Computer had, at the time, seemed to be the answer. But, sad to say, Mr. Computer had absorbed too much freaked-out input from its human builders and therefore, like them, Mr. Computer had its own psychotic episodes."