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.
I suppose you mean the book "How to Make the World Add Up" of Tim Harford?! :-)
> 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…
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 -…
> 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)…
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…
> 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…
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 affinity of AI to the…
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…
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…
https://govstack.global/ is trying to find common grounds, but it doesn't coordinate any government work
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…
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…
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?…
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).
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…
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.
I suppose you mean the book "How to Make the World Add Up" of Tim Harford?! :-)
> 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…
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 -…
> 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)…
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…
> 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…
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 affinity of AI to the…
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…
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…
https://govstack.global/ is trying to find common grounds, but it doesn't coordinate any government work
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…
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…
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?…
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).
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…