ComplexSystems

10 ms·

31.
by ComplexSystems 4mo ago
That makes sense. If you could magically just get the top d PCs in quadratic kernel space without having to compute the whole kernel matrix, and then just do top-d quadratic PCs -> ridge, would that be better than doing the PCA -> top
32.
by ComplexSystems 4mo ago
Absolutely. Who cares if the LLM automates some of the grunt work? Mathematicians are artists, and they paint with ideas. The goal is map out more of the beautiful structure of how things work. The enjoyment in it derives entirely from the
33.
by ComplexSystems 4mo ago
What makes this different from just kernel PCA with the quadratic kernel?
34.
by ComplexSystems 4mo ago
People can and do see unidentified things and take plenty of photos of them.
35.
by ComplexSystems 4mo ago
While I am sure FreeBSD is more secure than your average Linux distro, I sure hope they are using these new AI models to harden everything.
36.
by ComplexSystems 5mo ago
Good article, but "We take the exponential of each input and normalize by the sum of all exponentials. This transforms a vector of arbitrary real numbers into values between 0 and 1 that sum to 1, it technically this is a pseudo-probab
37.
by ComplexSystems 5mo ago
It seems like some kind of technique is needed that maximizes information transfer between huge LLM generated codebases and a human trying to make sense of them. Something beyond just deep diving into the codebase with no documentation.
38.
by ComplexSystems 5mo ago
Yes it does; you can build the absolute value as sqrt(x²), and sqrt(x) and x² are both constructible using eml.
39.
by ComplexSystems 5mo ago
This line of reasoning makes no sense when the AI can just be given access to a fuzzer. I would guess that it probably did have access to a fuzzer to put together some of these vulnerabilities.
40.
by ComplexSystems 6mo ago
> So the data cannot possibly tell you anything about how likely is the observed outcome, because the observed outcome is the only outcome that you observe. This could also be viewed as supporting the Bayesian perspective, where the obse
41.
by ComplexSystems 6mo ago
I found it surprising that this article persistently did not capitalize the word "Bayesian." Is this a new trend or something?
42.
by ComplexSystems 7mo ago
I certainly don't. If a software developer has found a way to use these tools that works well for them and produces good results, that's a good thing.
43.
by ComplexSystems 7mo ago
They are mathematical models of what human beings would say. That's it.
44.
by ComplexSystems 7mo ago
> the code is not public, so we can't know. I feel like you're making this statement in bad faith, rather than honestly believing the developers of the forum software here have built in a clause to pin simonw's comments to
45.
by ComplexSystems 7mo ago
Do you ever replace ChatGPT models with cheaper, distilled, quantized, etc ones to save cost?
46.
by ComplexSystems 8mo ago
How much does this setup cost? I don't think a regular Claude Max subscription makes this possible.
47.
by ComplexSystems 8mo ago
The model doesn't know what its training data is, nor does it know what sequences of tokens appeared verbatim in there, so this kind of thing doesn't work.
48.
by ComplexSystems 8mo ago
It's really only about the flooding the marketplace part, not about the extracting volume without their consent part. The current set of GenAI music models may involve training a black box model on a huge data set of scraped music, but
49.
by ComplexSystems 8mo ago
If this isn't AGI, what is? It seems unavoidable that an AI which can prove complex mathematical theorems would lead to something like AGI very quickly.
50.
by ComplexSystems 8mo ago
Sometimes you will tell agents (or real devs) to do things they can't actually do because of some mistake on your end. Having it silently change things and cover the problem up is probably not the best way to handle that situation.
51.
by ComplexSystems 8mo ago
I don't think this is odd at all. This situation will arise literally hundreds of times when coding some project. You absolutely want the agent - or any dev, whether real or AI - to recognize these situations and let you know when inte
52.
by ComplexSystems 8mo ago
Signals can be approximately frequency and time bandlimited, though, meaning the set of values such that the absolute value exceeds any epsilon is compact in both domains. A Gaussian function is one example.
53.
by ComplexSystems 8mo ago
"Isn't that basically what we've been doing with dietary guidelines since the 80s?" If by this you mean to ask if the new guidelines are the same as previous ones from the 80s, then no. The new pyramid is different, make
54.
by ComplexSystems 9mo ago
https://archive.is/20251230100610/https://www.nytimes.com/20...
55.
by ComplexSystems 9mo ago
Suppose you have (let's say) a 3x3 matrix. This is a linear transformation that maps real vectors to real vectors. Now let's say you have a cube as input with volume 1, and you send it into this transformation. The absolute value
56.
by ComplexSystems 9mo ago
Kerning and perplexity together could probably solve quite a few of these.
57.
by ComplexSystems 9mo ago
I am as tired of AI slop as everyone else but I think the backlash to this is way too exaggerated. Commercials are already "slop." There is no expectation of quality at all. The average Christmas commercial involves a bunch of elv
58.
by ComplexSystems 10mo ago
I became even better off when I installed an ad blocker.
59.
by ComplexSystems 10mo ago
Ultimately the main thing that will stop it from solving literally "all the others" are things like the impossibility of solving the halting problem, considerations like P ≠ NP, etc. But as we have just seen, despite these impossi
60.
by ComplexSystems 10mo ago
> We've had automated theorem proving since the 60s. By that logic, we've had LLMs since the 60s! > What we need is automated theorem discovery. I don't see any reason you couldn't train a model to do this. You&#x2

More ›