I've also started doing this, and it's surprisingly enjoyable to both do and even to read. The end result is often more readable to me than using a 3rd-party JS visualization library, because I only need to know standard HTML/CSS concepts to understand what's going on. And a side benefit is smaller pages with less bitrot due to being able to skip the dependencies.
Besides growth, Nvidia also has much higher profit margins. In Q1 2024, Apple's margins were 42% gross, 26% net, versus Nvidia's 78% gross, 57% net. May or may not be sustainable, but for now Nvidia's basically printing money.
In practice, wrong findings that aren't due to misconduct and aren't very recent are usually not retracted though. It's just considered part of the history of science that some old papers have proofs or results now known to be false. It is pretty common in mathematics, for example, for people to discover (and publish) errors they found in old proofs, without the journal going back and retracting the old proof. A famous example is Hilbert's (incorrect) sketch of a proof for the continuum hypothesis [1].
I think the flags have more been because of the poor sourcing of the actual death. It seems various people and groups heard that he died and are posting their obituaries and remembrances, but there's no real factual confirmation or details (e.g. one thing that was briefly on the front page here [1] was a link to an unsourced, now-deleted tweet from Momentum UK).
Yes, this article doesn't appear to have any independent sourcing, it just cites the Jacobin one that you link: "de acordo com a revista norte-americana Jacobin" ("according to the North American magazine Jacobin").
"Unfit for deployment" or "not intended for deployment" is semi-standard wording for research models that are just raw language models with none of the safety/bias/offensiveness filtering that is usually desired for product applications. For example, if you deploy it as a customer-service chatbot, it might tell your customers to kill themselves, or call them racial slurs.
It doesn't mean that there's anything technically wrong with the language model per se as a model of language, just that there has been no effort made to ensure it's fit to be deployed as-is for any given generative-AI use case, and the model authors would prefer you didn't do that.
> DeepL and Google Translate definitely also make things up
I think what they make up is different, but this is a good point. They have a particularly odd tendency to either do something like autocorrect where it wasn't appropriate (translate a different word that is similar in spelling to the requested word), or to make up false friends, doing something like transliterate + then autocorrect in the target language.
In 2018, if you translated it to Greek with Google Translate, it gave you κουνέλι (kouneli), which is Greek for rabbit. A word that is one letter away from ribbit but not close to a similar meaning. When I tried it just now, it translates it to ραβδί (rabdi), which means stick and is completely unrelated to the correct answer, but I guess starts with similar letters as ribbit?
Same situation in Greece. Formal documents like identity cards, university diplomas, and even mailboxes, generally put the surname first, while in running text, like a news article, the given name is first. Some formal documents also list the patronymic, in the order: Surname Given Patronymic.
In some situations it is less clear which convention applies. For example most of my older relatives use surname-first for their Facebook account name, which is less common with younger people. I have also seen both orders on business cards. I think most Greeks would not expect foreigners to be familiar with or follow these conventions though.
Retirement savings are in fact excluded from parents' assets for the purposes of FAFSA, at least if they are in some kind of account legally recognized as a retirement account (401k, 403b, IRA, traditional pension, annuity, etc.). Details of what is included and excluded from parental assets: https://studentaid.gov/2324/help/parent-investments
There are a few others as well. As of the 2023-2024 cycle, there are 13 ways to be considered independent (any one of them suffices), according to the official list [1]. To summarize them here:
1. Born before Jan 1, 2000; 2. Married; 3. Will be attending grad school [2]; 4. Active-duty U.S. military; 5. U.S. military veteran; 6. Have dependent children; 7. Have live-in dependents other than children; 8. Both parents deceased and/or were a foster child or a ward of the court after age 13; 9. Current or former emancipated minor; 10. Legal guardian is someone other than parent or stepparent; 11,12,13. Homeless or at-risk-of-homelessness within the past year (three different routes of determination).
[2] Graduate students in the U.S. generally don't get the kind of need-based financial aid that undergrads do, though, so this one is often not very helpful.
That matches my experience. Of places I've spent significant time in the past year, the one with the most reasonably priced food for eating out is NYC, of all places. It has very expensive places too, of course, but a lot more sub-$10 options than anywhere else I've been recently. There are even a few 99-cent pizza slice places still in business (not as many as 10 years ago, but they exist, and $2-3/slice places are abundant).
That's a good point. I wonder how many of those '70s theorists of technology would have predicted that, 50 years later, UPS driver and plumber would be (seemingly) harder to automate than knowledge work. Not really to blame them; it's only obvious in retrospect. But I agree we may need to rethink some of the established analysis that was based on different assumptions.
Some of the alliances are more surprising to me than others. I'm not surprised that religious social conservatives eventually discovered that they have things in common with other religious social conservatives, even from other traditions. If your main issue is that you like the traditional patriarchal family and don't like homosexuality, it's not a huge stretch to find others who agree.
I'm more surprised by the movement in this direction of people like Tommy Robinson, former leader of the English Defence League (discussed in the article intro). I thought of this kind of far-right as more of a "clash of civilizations" type of cultural and/or racialist right-wing, defending "the West" against foreigners and immigration. They did not historically have much of a religious angle to them, nor particularly care about social conservatism (other than opposing immigration). It feels like a genuine change that people in that camp now find common cause with Islamism against a shared enemy of Western liberals.
It's a bit more than six courses a year at community colleges and teaching-oriented 4-year colleges (though you're still right that adjuncts are much cheaper). In California, most full-time faculty at community colleges have a 15 credit per semester teaching obligation, which works out to ten 3-credit courses a year. Some do get credit in lieu of a course for taking on other responsibilities (dept chair, director of a program, etc.), but that's the baseline workload. Even the Cal State system, which is made up of 4-year schools, has a baseline teaching load of eight classes a year ("4/4").
Chase is also more restricted in how the investment banking side of the business can use funds from the retail banking side, precisely because banks in the 1920s did play fast and loose with investing customer deposits, which caused a bunch of depositors to lose savings in the 1929 crash and associated bank runs.
This is the reason UBI was historically popular among (some) libertarians, even though most current proponents in the U.S. probably come from some variety of left-liberalism or market socialism. Milton Friedman supported a version of UBI as a replacement for the welfare state, for example. His view was that if you think it's the role of the state to provide some minimum floor for standard of living, fine. But instead of trying to administer a dozen different programs with complex eligibility requirements and a whole bureaucracy behind them (food stamps, public housing, housing vouchers, Medicaid, etc.), it would be more efficient, less economically distorting, and less invasive into the lives of the recipients, to just pick whatever level of spending you're willing to put towards this goal, and give it out as unrestricted cash.
In the general case you're right, it's equivalent to the halting problem. The outline of the proof by reduction: set up two communicating processes in a way that will deadlock iff a particular loop in one process fails to terminate. So if you had a deadlock detector for arbitrary communicating processes, you could use turn it into a termination detector for arbitrary loops.
> If you're using a dynamic language, then _by definition_ the language will not enforce your static hints at runtime.
I don't think this follows by definition. It's common not to check the static hints at runtime, but a dynamic language could choose to treat them as contracts or assertions. Over in Lisp-land, SBCL will enforce static type declarations at runtime [1], contrary to most other Lisp compilers, at least under the default compilation settings (you can force it to skip the checks by compiling with a low "safety" level). If the compiler can prove that a static type declaration always holds, it will omit the runtime check; otherwise it will compile it into a runtime assertion.