steinwinde

7 ms·

1.
by steinwinde 15d ago
I clicked on the dot for Khartoum, the only one in Sudan. It shows the Nile in Egypt, related to a movie that plays (only) in Egypt. A bit disappointing.
2.
by steinwinde 22d ago
I suppose you mean the book "How to Make the World Add Up" of Tim Harford?! :-)
3.
by steinwinde 22d ago
> reduced to checking the definition of the constant But this doesn't mean the remaining task is small or doesn't ask much from the reviewer, does it?! Otherwise we'd see a considerable turn-out of new findings on https:&
4.
by steinwinde 22d ago
Anyone interested in the subject area has noticed the recent surge of AI-assisted or generated mathematics. From the outside, it is very hard to see, if AI indeed already speeds up progress in mathematics in general - apart from a number of
5.
by steinwinde 29d ago
> on a long enough time horizon Gitlab or other provider isn't significantly better I suspect the same. But do you have any evidence for this? The status pages of Github and Gitlab (more precisely their history pages) don't see
6.
by steinwinde 29d ago
Agreed. Tangentially: Although many of the creators, maintainers and board members of Palomar have a background in Lean, the project welcomes alternative proof assistants, see "What about other proof assistants?" on the about ( ht
7.
by steinwinde 29d ago
> suffer whenever either of the sources goes unreachable This is not the way Palomar works. From the About page ( https://palomar-registry.org/about ): > Palomar does keep a public preservation fork of every registered
8.
by steinwinde 1mo ago
For a list of AI accomplishments in mathematics see https://mathoverflow.net/questions/502120/examples-for-the-u... - or a candidate list here: https://aimath.robertj1.com/ . Many have observed an
9.
by steinwinde 1mo ago
This is a reference to Inter-Universal Teichmüller Theory. Its Wikipedia article gives a good overview ( https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll... ). In maths lasting disagreements over a published
10.
by steinwinde 3mo ago
Please critisize the harassment, not libraries for providing shelter to homeless people. A well managed library has a degree of supervision that allows the visitor to do something about harassment. This level of control is also important fo
11.
by steinwinde 5mo ago
https://govstack.global/ is trying to find common grounds, but it doesn't coordinate any government work
12.
by steinwinde 5mo ago
I'm a member of an organization that collects money for Sudanese soup kitchens and hospitals in affected areas ( https://sound-of-sudan.org/ ) , and I know a few other organizations that indirectly support such campaigns
13.
by steinwinde 5mo ago
According to Dario Amodei, companies bear a lot of responsibility and must act on this. Just read https://www.darioamodei.com/essay/the-adolescence-of-technol... . But it seems that he has given up on this, even if he
14.
by steinwinde 5mo ago
From a non-US perspective this must be disquieting to read: Not so much that Anthropic considers only US companies as partners. But what does Anthropic do to prevent malicious use of its software by its own government? > Anthropic has al
15.
by steinwinde 6mo ago
You can listen to each of the original recordings. Just make sure you click on the first play button after you've chosen the sound, not the second (which often seems to be the default).
16.
by steinwinde 1y ago
Reminds me of a visit of a garden restaurant in Munich, back in the days. My friend ordered a soup, but got a beer. Pointing out the mistake to the waiter, he was told that it doesn't matter, because the price is the same.