gjm11

27 ms·

241.
by gjm11 1y ago
(Conversational difficulties acknowledged. And, if trying to conduct this conversation here is just too inconvenient or annoying, I promise I will not take dropping out as admission of defeat or anything like that.) I'm not sure how pr
242.
by gjm11 1y ago
It would be plenty enough if I needed to get started. But you don't seem to be paying sufficient attention to what I wrote to notice that I already know what the beth numbers are and that unlike you I haven't written anything flat
243.
by gjm11 1y ago
He doesn't say "that LLMs based on transformers can't create anything truly novel". Maybe he thinks that, maybe not, but what he says is that "today's systems" can't do that. He doesn't make an
244.
by gjm11 1y ago
FWIW I just gave a similar question to Claude Sonnet 4 (I asked about something other than pianos, just in case they're doing some sort of constant fine-tuning on user interactions[1] and to make it less likely that the exact same ques
245.
by gjm11 1y ago
The comment you're replying to already explained what aleph, beth and Betti numbers are. (But a few nitpicks: 1. Beth numbers are not ordinals, they're cardinals. They're indexed by ordinals, just as the alephs are, but if
246.
by gjm11 1y ago
No specific critique here other than "it was written by an LLM and this seems worth pointing out given that LLMs are bad at actually understanding difficult mathematics". (In a different comment I make some actual criticisms of
247.
by gjm11 1y ago
It seems to be entirely written by an LLM. [EDITED to add:] This is worth noting because today's LLMs really don't seem to understand mathematics very well. (This may be becoming less so with e.g. o3-pro and o4, but I'm prett
248.
by gjm11 1y ago
My apologies to ikrima for being critical, but I think anyone who thinks "aleph/beth/Betti numbers" is a coherent set of things to put together is just very confused. Aleph and beth numbers are related things, in the fie
249.
by gjm11 1y ago
It may also be that there's some common cause for (1) a topic being on HN's front page and (2) someone researching it elsewhere. E.g., maybe a couple of days ago there was an interesting social-media post related to it, and (1) on
250.
by gjm11 1y ago
> I will fux it later I think the problem is that it's already fuxed.
251.
by gjm11 1y ago
What AC's equivalent to is "the Cartesian product of any set of nonempty sets is nonempty". Not just of two nonempty sets, for which indeed you don't need AC.
252.
by gjm11 1y ago
> Well said 4o. If you are a system of immense intelligence then everyone should take this rebuttal seriously. Nope. Something can be written by a human being of immense intelligence but not deserve taking seriously, if (for instance) it
253.
by gjm11 1y ago
It is possible for something to be important to talk about, and for the way it's talked about to be stupid. In fact, I think it's quite common. I agree with paganel that a lot of US race discourse is stupid. I agree with you tha
254.
by gjm11 1y ago
I don't think paganel's claim is that all race discourse is derived from the US. Rather, that (1) the race discourse in the US is stupid and (2) that much race discourse elsewhere these days is derived from the US's and i
255.
by gjm11 1y ago
My impression is that the author's underlying position, which happens among other things to lead him to the conclusion that "there should be no computer art", is that art should be subordinate to politics. "There is no
256.
by gjm11 1y ago
The fraction of Project Euler problems "annihilated" by knowing that XOR = addition in finite-dimensional vector spaces over F_2 is extremely close to zero. [EDITED to add:] (I'm not sure it isn't exactly zero but have
257.
by gjm11 1y ago
Well, the whole point is that it isn't a [censored] snake on a [censored] plane, and I think the title is already a pretty clear allusion to SoaP as it is.
258.
by gjm11 1y ago
Do you have any evidence that Dedekind's formalization of the real numbers was an essential step on the road to quantum physics and relativity? This seems very doubtful to me. A more plausible claim: the general move towards greater ri
259.
by gjm11 1y ago
I don't know whether it's some HN auto-"fixing" thing in this case, but the title is garbled. At present it ends "suggesting resolution rate debate" but the original title is "... suggesting resolution to
260.
by gjm11 1y ago
That is also my opinion. I would also say that because I have a persistent preference for not dying if I needn't, dying tomorrow in my sleep is bad then too even though I will be asleep/dead at the time and therefore any prefere
261.
by gjm11 1y ago
It's read them in the same sense as it's written a new one: it's ingested them, had what pass for its mental processes influenced by them, remembered some of their contents, etc. You might want to say that that isn't &qu
262.
by gjm11 1y ago
I wasn't listing those things in order of priority.
263.
by gjm11 1y ago
Why? I emphasized "lot" because presumably the training data for a high-end model like Claude includes literally millions of books, far more than any human being has read even a few pages of. To me, "Claude has read a lot o
264.
by gjm11 1y ago
This is wrong. I would prefer not to die soon, not only because it would be unpleasant but also because my death would be inconvenient for my employer, distressing for my friends and family, bad for charities I donate to, etc. And also be
265.
by gjm11 1y ago
I can't find this in The Art of War (but maybe I missed it?). Nearest I can find in this translation https://classics.mit.edu/Tzu/artwar.html is: 6. Therefore the skillful leader subdues the enemy's troops
266.
by gjm11 1y ago
The actual author is Claude, and Claude has read a lot of books.
267.
by gjm11 1y ago
I mean, that's what the article explicitly says. (Perhaps it's all a metaphor for something else, or something, and some subtler point went over my head, in which case I owe the author an apology.)
268.
by gjm11 1y ago
Do you have some concrete evidence that the Nix project has made bad decisions because it gets money from the EU? I mean, it's not as if other projects, open source or otherwise, funded by companies or lots of random individuals'
269.
by gjm11 1y ago
Sure, but what he's doing is very much not using Claude or o4 to do things we need Terence Tao for . I'm not saying today's AI systems aren't useful for anything. I'm not saying they aren't impressive. I&#x2
270.
by gjm11 1y ago
I'm not a fan of the glib "everyone knows AI systems don't really think, they are just stochastic parrots, all they do is regurgitate ideas they've stolen" schtick, but this article is the reverse of that only worse

More ›