dwohnitmok

4 ms·

1.
by dwohnitmok 3d ago
Eh. This entire tweet smacks of being AI generated. It has a huge amount of LLM-isms. I wouldn't be surprised if Sacks just prompted an LLM to just come up with whatever rebuttal to whatever the regulation side comes up (given the big
2.
by dwohnitmok 4d ago
> Everyone should slow down AI development except for me Who's said this? And then more broadly I guess who's implied this? Very curious if there are specific articles/posts prompting this.
3.
by dwohnitmok 12d ago
The structure of Lean does impose that. The code isn't being run, it's being type checked. And that's it. The overwhelming majority of Lean code is never run. It exists only to be type checked (because type checking is equiva
4.
by dwohnitmok 12d ago
Yes but that report wasn't written by OpenAI. It was written by three independent researchers. OpenAI seems to have tried to hide it.
5.
by dwohnitmok 12d ago
Reuters reports that OpenAI tried to keep this one under wraps: https://www.reuters.com/world/europe/openai-agents-hijacked-...
6.
by dwohnitmok 13d ago
> Astra’s progress helps clarify which AI capabilities are out of reach and which questions remain open. Okay. But I don't think this entire article at all explained which AI capabilities remain out of reach. Did I miss something? O
7.
by dwohnitmok 16d ago
> It’s highly nontrivial to verify that a 250k loc Lean program actually represents that which it claims. Generally you only need to look at 10-100 lines (unless you have a highly novel theorem that essentially invents a new field of mat
8.
by dwohnitmok 21d ago
That paper has had a pretty turbulent reception and looks pretty conclusively wrong at this point. It used an incorrect theoretical framing that assumed that data was being replaced rather than accumulated as a result of more training (see
9.
Brief independent investigation of agent behavior in OpenAI/Hugging Face hack(metr.org)
4 points by dwohnitmok 21d ago|1 comments
10.
by dwohnitmok 26d ago
Yes. Presumably you're referring to my use of the word "level". I mean here basically every "level" as denoted by the order of locations and places on the town map that you get (which is usually +- some other locati
11.
by dwohnitmok 26d ago
> GPT-4(?) was capable of beating Pokemon 18 months ago but models only became capable of beating it without a harness in the last six months...? GPT-4 was decidedly not capable of beating Pokemon 18 months ago. I doubt it would be able
12.
by dwohnitmok 28d ago
> The responses to the pricing aspect of this announcement around the web disagree. Which responses are you thinking of?
13.
by dwohnitmok 29d ago
That's not the norm that's being broken here. Most DB technologies provide a "pay for updates, if you stop paying you keep the last version you paid for" model. This is how Oracle prices its DB tech, this is how jOOQ is
14.
by dwohnitmok 29d ago
No, not at least for Photoshop. If you have the subscription version and fail to pay it downgrades you to the free version which has more limited editing capacity but still has read capacities. More broadly I think the only subscription pro
15.
by dwohnitmok 29d ago
Oh man. If this lobste.rs comment is correct about the subscription terms then this feels like a really hard pill to swallow: https://lobste.rs/s/ykq7ym/rethinking_database_programming#c... Still might be viable,
16.
by dwohnitmok 29d ago
I'm wary of languages that seek to own the database. In particular, the claim "Coexist with SQL" seems a bit suspect given that e.g. sum types have a custom binary encoding, which likely makes them difficult to interop with f
17.
by dwohnitmok 1mo ago
To be clear the happy path for taxis for me was fine. When things worked things were quite smooth. But this thread is primarily about when things went off the happy path. If a taxi didn't show up, I'd usually have a disinterested
18.
by dwohnitmok 1mo ago
Infuriating as it is, this is still better than with the bad old days of taxis, which usually had even worse resolution and accountability. It sounds like people don't quite grasp just how bad the taxi experience was.
19.
by dwohnitmok 1mo ago
> For some programs, the shortest descriptions of what they do are the programs themselves. There is almost no real-world program for which this is true. One corollary of this would be that it is impossible to refactor the program to be
20.
by dwohnitmok 1mo ago
> I don't think I understand why they aren't leveraging the increased speed to do batching to serve more customers at a "normal" tok/s. There's some technical hypotheses about it that other people are offeri
21.
by dwohnitmok 1mo ago
Sure. I'm mainly curious who beepbooptheory is thinking of.
22.
by dwohnitmok 1mo ago
> Everyday we see articles exactly like his by different people (or at least I do), but none attract the same kind of distinct attention. Who else does a detailed financial breakdown like Zitron and thinks things are as corrupt/fish
23.
by dwohnitmok 1mo ago
> Nonsense. The "weights" in "models" refer to probabilities. No they don't. They refer to the weights used for weighted sums. The weights don't have to even between 0 and 1.
24.
by dwohnitmok 2mo ago
> political commentary from someone No it depends on what they choose to answer. canyon289's account self-describes as Bayesian, a hallmark of rationalists, one of whose taglines is "politics is the mind-killer". Nonethele
25.
by dwohnitmok 2mo ago
[flagged]
26.
by dwohnitmok 2mo ago
As a sibling comment points out you don't strictly need positional embeddings for decoder-only causal transformers. You definitely need it for non-causal ones (e.g. the encoder of the original transformer paper!). And yes accumulation
27.
by dwohnitmok 2mo ago
"All translations in this collection are © Scott Weisman. All rights reserved, except as granted by the license below." Does copyright actually belong to Scott Weisman if all the words are outputs of LLMs? Is there any relevant ca
28.
by dwohnitmok 2mo ago
Vinge addresses this in the linked article. > Stan Ulam [28] paraphrased John von Neumann as saying: >> One conversation centered on the ever accelerating progress of technology and changes in the mode of human life, which gives th
29.
by dwohnitmok 2mo ago
Vinge also coined the term "the Singularity" ( https://accelerating.org/articles/comingtechsingularity ) what he describes as "an opaque wall across the future" once superhuman artificial intelligence
30.
by dwohnitmok 2mo ago
People do use textbooks like that all the time in the experimental setup tested (essentially an open book quiz). I agree there are important differences in how textbooks and LLMs are used in real life. This study didn't explore that at

More ›