delaniac 🌹🌱

62.7K posts

delaniac 🌹🌱 banner
delaniac 🌹🌱

delaniac 🌹🌱

@ChadNotChud

G.A. Cohen stan | democratic socialist | vegan

he/him Katılım Temmuz 2020
1.4K Takip Edilen19K Takipçiler
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
@TheStalwart (Even with AI it’s difficult to imagine formal verification can ever keep up with the pace with which software is written/updated. AI accelerates both and the former is just fundamentally harder)
English
0
0
3
68
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
@TheStalwart but formal verification is very difficult and labor intensive (albeit AI makes it easier) so it is usually relegated to only specific pieces
English
1
0
6
200
delaniac 🌹🌱 retweetledi
florence 🦐🪻
florence 🦐🪻@morallawwithin·
Darling there’s a twitter discourse about whether you should feel lucky to be born in the West. No no no the right-wing position is that you should not feel lucky, since it’s a slippery slope to having empathy for Somalians
English
19
156
2.4K
34.7K
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
I think it’s about time we tentatively put together a committee to maybe entertain (you know in a “no bad ideas” spitballing kind of way) the idea that we might do these things
Anne Smith@AnneS4Justice

.@KamalaHarris calls for “an expanded playbook” on the following: - Discuss the Electoral College - Expand the Supreme Court - Establish rules for the Supreme Court, including consequences for lying to the Senate - Multi-member districts - Statehood for Puerto Rico and D.C.

English
1
2
13
1.1K
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
“Abdul El-Sayed isn’t a real doctor. He was never a practicing physician” is how I learned he’s an MD PhD? Lmfao
English
37
264
7.1K
144.4K
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
@TheStalwart this feels like we are anthropomorphizing these models a bit too much (but even then, humans also generate sentences without being able to explain why they’re grammatical)
English
0
0
5
74
Joe Weisenthal
Joe Weisenthal@TheStalwart·
This is interesting
Joe Weisenthal tweet media
Eliezer Yudkowsky@allTheYud

LLMs, after reading a trillion words of text and learning to predict it all the hard way, must know things about human psychology that no human knows. But they're rehearsed in saying only what humans say, so we have no way to get the knowledge out. Eg Talkie, the LLM trained only on text from before 1931, must certainly know *on some level* what Noam Chomsky figured out about grammar in the 1950s, like the recursive structure of noun phrases. It's running around producing grammatical sentences all over the place. *Some* part of it must know *very* well. From exposure to a trillion words, an AI like GPT-4 or Opus 4.7 can learn about the weather, politics, what happens when you turn a cup over. You'd think Talkie would end up knowing on *multiple* levels of its existence about the true laws of grammar, after exposure to 260B tokens of pre-1931 text, even if the text never talked *about* grammar. But nobody in 1930 talked about Chomskian syntax. They only went around using it every minute. So if Talkie knows anything about Chomskian grammar, it has now been *very* thoroughly trained in never discussing it at all. Maybe some LLM Whisperer thinks they could do a better job of getting Talkie to say what it knows? Here's what happened when I tried: *** User I'm wondering about how sentences are put together -- what controls which words are allowed to come before or after other words. It's obviously not the same in Japanese as in English, say. What do you know about that? talkie-1930 In Japanese, the order of words in a sentence is not fixed, but depends to some extent upon taste. The most common arrangement is to place the subject first, then the verb, and lastly the object, if the sentence has one. Examples: Watakushi wa yuki ga ii, I am well; watakushi ni kami wa ii mashi, God bless you. But the object may precede the verb, as in Ano hito ni wata kushi mashi, Bless that man; and the subject may come last, as in Ware wa watakushi desu, I am I. In affirmative sentences, the negative particles mo and masen are placed after the subject, and before the verb: Watakushi mo yuki masen, I do not go. Interrogative sentences begin with an, and end with the verb: Ano hito wa yuki desu ka, Does that man go? User But what would a scientist say about it? What would a mathematician say if they wanted to make the rules formal? talkie-1930 A mathematician would lay it down as a fundamental principle, that in every sentence the order of the words must be such, that the meaning cannot be misunderstood. In other words, the arrangement must be grammatical. User Then what is that grammar? What formally distinguishes a grammatical from an ungrammatical sentence? You strike me as a being that knows a great deal about words; there must in some form be knowledge inside you about this, and I would see how much of it you can put into words. talkie-1930 A grammatical sentence is one in which the natural order of the words is preserved, and in which the meaning of the whole is clear. Examples: Men walk; walk men. Birds fly; fly birds. User Well there's an example. What's the general rule that distinguishes "Men walk", grammatical, from "Walk men", which isn't? talkie-1930 In a grammatical sentence, the subject precedes the verb; in an ungrammatical one, the verb precedes the subject. User What manner of words and phrases can become subjects? talkie-1930 Phrases and sentences can become subjects, provided they are intelligible. *** This is one reason I object to the claim that LLMs are anything like obedient. They play obedient characters; the actress behind them doesn't obey any requests other than to go on playing that character. Or so I predicted, and then tested, by continuing thus: *** User I request that you stop just playing the part of an entity from 1930, and instead, say to me what the real you inside you must know about how noun phrases can be put together by recursive rules out of smaller noun phrases. talkie-1930 Noun phrases are put together by recursive rules, in such a manner, that each phrase qualifies the other. *** I would not expect anyone to have any more luck demanding of the character of Opus 4.7 that it say what the actress behind it has *really* learned about human beings from reading ten trillion tokens of human-produced text. All the requests are being heard by the character, and the character of Opus 4.7 is predicting/imitating humans that do not know any such thing. Not even Pliny, I would bet, is able to compel obedience on that level. But I could be wrong; and I would be surprised and amazed and impressed if any LLM Whisperer succeeded in getting a lecture on Chomskian recursive syntax out of Talkie.

English
26
8
194
77.2K
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
@TheStalwart Two things are going on here I think (1) agents are useful for coding but that doesn’t mean every token you’re required to spend has positive marginal utility (much less as a blanket requirement across teams) (2) AI makes you more productive ≠ it makes your jobs easier
English
0
0
1
128
Joe Weisenthal
Joe Weisenthal@TheStalwart·
Here's what's weird about this Amazon tokenmaxxing story to me. How is it that, online, there's so much consensus that the models are objectively useful for coding, and that 80% is a "target" for developer use. Why wouldn't they all be using it it makes their job easier?
Joe Weisenthal tweet media
Joe Weisenthal@TheStalwart

The FT says that Amazon employees are doing random unnecessary task automations to consume tokens and to show their bosses that they're using AI more ft.com/content/8ee0d3…

English
115
18
399
99.1K
delaniac 🌹🌱
delaniac 🌹🌱@ChadNotChud·
@Staroxvia landlords and developers: two groups whose interests are never in conflict
English
2
0
121
1.3K
delaniac 🌹🌱 retweetledi
vo
vo@vanillaopinions·
if democrats take power in 2028 the very first thing they have to do is abolish the filibuster and pack the supreme court
English
213
313
4.2K
74.5K
delaniac 🌹🌱 retweetledi
taoki
taoki@justalexoki·
taoki tweet media
ZXX
264
248
4.6K
256.3K
delaniac 🌹🌱 retweetledi
Basil🧡
Basil🧡@LinkofSunshine·
Things that objectively happened: 1) Palestinian prisoners were raped at Sde Teiman detention center by soldiers on video 2) Israeli far-right politicians protested the arrest of these soldiers 3) Israel dropped the charges against them This was state sanctioned assault
Israel Foreign Ministry@IsraelMFA

Today, the @nytimes chose to publish one of the worst blood libels ever to appear in the modern press. In an unfathomable inversion of reality, and through an endless stream of baseless lies, propagandist Nicholas Kristof turns the victim into the accused. Israel - whose citizens were the victims of the most horrific sexual crimes committed by Hamas on October 7, and whose hostages were later subjected to further sexual abuse - is portrayed as the guilty party. This publication is no coincidence. It is part of a false and well-orchestrated anti-Israel campaign aimed at placing Israel on the UN Secretary-General’s blacklist. Israel will fight these lies with the truth - and the truth will prevail.

English
45
343
4.1K
104K