jltsiren

6 ms·

1.
by jltsiren 4d ago
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 convenient to as
2.
by jltsiren 4d ago
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. There is always an opti
3.
by jltsiren 4d ago
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 remains unclear (
4.
by jltsiren 5d ago
I prefer the SMBC version: https://www.smbc-comics.com/comic/2012-03-21
5.
by jltsiren 5d ago
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 working under their o
6.
by jltsiren 6d ago
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.
7.
by jltsiren 6d ago
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 some OpenAI
8.
by jltsiren 6d ago
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 change when y
9.
by jltsiren 10d ago
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 the big high-profile
10.
by jltsiren 11d ago
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 orbital launches from Plese
11.
by jltsiren 11d ago
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 financialization of c
12.
by jltsiren 11d ago
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 costs are high,
13.
by jltsiren 13d ago
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 in the latter sense.
14.
by jltsiren 15d ago
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 difficult part with such
15.
by jltsiren 17d ago
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 candidate deter
16.
by jltsiren 20d ago
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 grant
17.
by jltsiren 21d ago
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 melted enough fr
18.
by jltsiren 21d ago
> 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 without taki
19.
by jltsiren 22d ago
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 amount of money
20.
by jltsiren 22d ago
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 same NAND modules over
21.
by jltsiren 22d ago
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 take everything you o
22.
by jltsiren 24d ago
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 official status of a po
23.
by jltsiren 25d ago
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, and I kind of
24.
by jltsiren 25d ago
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 are millions of
25.
by jltsiren 26d ago
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 and other opportuniti
26.
by jltsiren 27d ago
(Upper) middle class culture, where parents try to give their children a favorable start in life, which often involves a lot of effort. Such as buying a home in a good school district or helping them gain admission to a good university.
27.
by jltsiren 27d ago
You may have heard the joke that polyamory is wrong, because it should be multiamory or polyphilia. Meritocracy is a similar case. Because the word mixes Latin and Greek roots, it's unlikely to be old. The first recorded uses of "
28.
by jltsiren 28d ago
I noticed another thing a long time ago. Some academic cultures have a tradition of formal debates. They are based on the premise that an educated person should be able to argue convincingly for or against any idea, regardless of whether th
29.
by jltsiren 28d ago
My point was that you can usually pronounce foreign words in your native language, if the alphabet is the same and your language has a straightforward mapping between spelling and pronunciation. And then you can derive the spelling from tha
30.
by jltsiren 28d ago
Meänkieli split from what became the Torne Valley dialects of Finnish in 1809, when an international border suddenly appeared in the middle of the region. To a Finnish speaker it sounds like a bit old-fashioned dialect, but it's mostly

More ›