Verification with Lean is a piece of empirical evidence that the proof is correct. The paper passing peer review would be another. But even together, those two would be insufficient to establish the claim. While it's a…
Clay will award the prize (or choose to not award it) when there is an expert consensus that the problem has been solved and the solution is correct. The rules merely state what that would mean in some typical cases.…
It's possible that Clay Mathematics Institute will not award the prize at all. The spirit of the rules seems to be that the result can be attributed clearly to one or more individual mathematicians. If the attribution…
I prefer the SMBC version: https://www.smbc-comics.com/comic/2012-03-21
That's the difference between a profession and a job. If you work in a professional field, other people in the field will judge you by the standards of the profession. Academic research is structured around people…
My point was that if someone is at fault, it's the individual OpenAI employees. Because they chose to engage in a professional field, they can't use "boss told me to do so" as a defense.
I think it's better to ignore OpenAI here, because OpenAI didn't do anything. Academic research is a professional field in the traditional sense. Individual researchers are ultimately responsible for their actions. If…
Mercator used to be quite rare before Google Maps, at least in Finland. But it's an appropriate choice for online maps that can be zoomed in and out. Local and regional maps look as you would expect, and shapes don't…
I meant that Vostochny is the one that is supposed to reduce their reliance on Baikonur, while Plesetsk is more like the Russian equivalent of Vandenberg. During Soviet times, Baikonur was the premium spaceport for all…
You are thinking about Vostochny in Russian Far East. Plesetsk was an early ICBM launch site that started doing orbital launches in 1966. It was the busiest spaceport in Soviet times, and the cumulative number of…
The West is not a single monolith. Attitudes towards data centers vary from country to country. As does the perception of how much influence people have over the government. The actual issue, as far as I see it, is the…
Nuclear power plants are ultimately not that different from coal power plants. Typical estimates for the capital costs of coal power are ~$4000/kW, which can be used as a lower bound for the costs of nuclear power. The…
US states are sovereign in the sense the term is understood in US constitutional law, but not in the sense used in international law and international politics. They would be autonomous subdivisions of a sovereign state…
The problem is a lack of funding, which leads to excessive competition and ties continued employment to sustained contributions. Many results are obvious in retrospect, and such results are often the best ones. The…
That's mostly a feature of elections with single-member districts or other winner-take-all mechanisms. Every successful politician must have a wide coalition behind them, and marginal groups that could back either major…
It's a non-immigrant visa, because the law uses "immigrant" as a technical term that does not match the common usage. For international comparisons, it makes more sense to say that H-1B is an initial immigrant visa that…
The rivers in that area are pretty small. You would have to block them for days before there is a risk of a massive flash flood. From what I've understood, the collapsing glacier either contained enough liquid water or…
> And my degree from the social side didn't include statistics. In the university I went to, Department of Statistics used to be part of the Faculty of Social Sciences. It was impossible to graduate from social sciences…
You can't generalize from your personal experience to the rest of academia. There is far too much variation between fields, institutions, and countries as well as over time. ML in particular is an extreme outlier due to…
SSD controller is on the same die, but the actual SSDs in a Mac Studio are slotted and technically upgradeable. Storage bandwidth generally matches NVMe drives of the same generation, as Apple is ultimately using the…
And there have been plenty of times when the armed thugs have staged a coup and overthrown their masters. In the absence of civic order, personal relationships between the elites are what matters. Your thugs can easily…
Fringe groups tend to start new political parties in the Finnish system. There are still two communist parties left, both offshoots of the pro-Soviet minority of the original communist party. One of them even has the…
I disagree. When I moved from Finland to the US, I was surprised to find how popular actual "abolish private property" style socialism was among young Americans. I hanged out with leftist people when I was a student,…
That's just the established naming convention. For brown bears, you have parvorder Ursida, superfamily Ursoidea, family Ursidae, subfamily Ursinae, tribe Ursini, genus Ursus, and finally species Ursus arctos. When there…
The moral justification for meritocracy is that the society benefits when the most capable people are in charge. Which means the society should find the children with the most potential and give them the best education…
Verification with Lean is a piece of empirical evidence that the proof is correct. The paper passing peer review would be another. But even together, those two would be insufficient to establish the claim. While it's a…
Clay will award the prize (or choose to not award it) when there is an expert consensus that the problem has been solved and the solution is correct. The rules merely state what that would mean in some typical cases.…
It's possible that Clay Mathematics Institute will not award the prize at all. The spirit of the rules seems to be that the result can be attributed clearly to one or more individual mathematicians. If the attribution…
I prefer the SMBC version: https://www.smbc-comics.com/comic/2012-03-21
That's the difference between a profession and a job. If you work in a professional field, other people in the field will judge you by the standards of the profession. Academic research is structured around people…
My point was that if someone is at fault, it's the individual OpenAI employees. Because they chose to engage in a professional field, they can't use "boss told me to do so" as a defense.
I think it's better to ignore OpenAI here, because OpenAI didn't do anything. Academic research is a professional field in the traditional sense. Individual researchers are ultimately responsible for their actions. If…
Mercator used to be quite rare before Google Maps, at least in Finland. But it's an appropriate choice for online maps that can be zoomed in and out. Local and regional maps look as you would expect, and shapes don't…
I meant that Vostochny is the one that is supposed to reduce their reliance on Baikonur, while Plesetsk is more like the Russian equivalent of Vandenberg. During Soviet times, Baikonur was the premium spaceport for all…
You are thinking about Vostochny in Russian Far East. Plesetsk was an early ICBM launch site that started doing orbital launches in 1966. It was the busiest spaceport in Soviet times, and the cumulative number of…
The West is not a single monolith. Attitudes towards data centers vary from country to country. As does the perception of how much influence people have over the government. The actual issue, as far as I see it, is the…
Nuclear power plants are ultimately not that different from coal power plants. Typical estimates for the capital costs of coal power are ~$4000/kW, which can be used as a lower bound for the costs of nuclear power. The…
US states are sovereign in the sense the term is understood in US constitutional law, but not in the sense used in international law and international politics. They would be autonomous subdivisions of a sovereign state…
The problem is a lack of funding, which leads to excessive competition and ties continued employment to sustained contributions. Many results are obvious in retrospect, and such results are often the best ones. The…
That's mostly a feature of elections with single-member districts or other winner-take-all mechanisms. Every successful politician must have a wide coalition behind them, and marginal groups that could back either major…
It's a non-immigrant visa, because the law uses "immigrant" as a technical term that does not match the common usage. For international comparisons, it makes more sense to say that H-1B is an initial immigrant visa that…
The rivers in that area are pretty small. You would have to block them for days before there is a risk of a massive flash flood. From what I've understood, the collapsing glacier either contained enough liquid water or…
> And my degree from the social side didn't include statistics. In the university I went to, Department of Statistics used to be part of the Faculty of Social Sciences. It was impossible to graduate from social sciences…
You can't generalize from your personal experience to the rest of academia. There is far too much variation between fields, institutions, and countries as well as over time. ML in particular is an extreme outlier due to…
SSD controller is on the same die, but the actual SSDs in a Mac Studio are slotted and technically upgradeable. Storage bandwidth generally matches NVMe drives of the same generation, as Apple is ultimately using the…
And there have been plenty of times when the armed thugs have staged a coup and overthrown their masters. In the absence of civic order, personal relationships between the elites are what matters. Your thugs can easily…
Fringe groups tend to start new political parties in the Finnish system. There are still two communist parties left, both offshoots of the pro-Soviet minority of the original communist party. One of them even has the…
I disagree. When I moved from Finland to the US, I was surprised to find how popular actual "abolish private property" style socialism was among young Americans. I hanged out with leftist people when I was a student,…
That's just the established naming convention. For brown bears, you have parvorder Ursida, superfamily Ursoidea, family Ursidae, subfamily Ursinae, tribe Ursini, genus Ursus, and finally species Ursus arctos. When there…
The moral justification for meritocracy is that the society benefits when the most capable people are in charge. Which means the society should find the children with the most potential and give them the best education…