Skip Navigation
I wish I was as bold as these authors.
  • It has access to a python interpreter and can use that to do math, but it shows you that this is happening, and it did not when i asked it.

    That's not what I meant.

    You have access to a dictionary, that doesn’t prove you’re incapable of spelling simple words on your own, like goddamn people what’s with the hate boners for ai around here

    ??? You just don't understand the difference between a LLM and a chat application using many different tools.

  • I wish I was as bold as these authors.
  • ChatGPT uses auxiliary models to perform certain tasks like basic math and programming. Your explanation about plausibility is simply wrong.

  • I wish I was as bold as these authors.
  • If you fine tune a LLM on math equations, odds are it won't actually learn how to reliably solve novel problems. Just the same as it won't become a subject matter expert on any topic, but it's a lot harder to write simple math that "looks, but is not, correct" than it is to waffle vaguely about a topic. The idea of a LLM creating a robust model of the semantics of the text it's trained on is, at face value, plausible; it just doesn't seem to actually happen in practice.

  • Again.
  • 40k breeding forums are usually pretty chill

  • Twitch banned Dr Disrespect after viewing messages sent to a minor, say former employees
  • Or... the whispers were reported by the other party, or detected by an automatic abuse detection system, they paid off his contract because he was suing them for it and they weren't confident it was a good investment to fight

  • Deadrop developer Midnight Society cuts ties with Dr Disrespect following new Twitch ban allegations
  • Well, we knew he was a shitbag beforehand, so that's not really what's in question

  • Evidence
  • I'm not a physicist, I don't know one way or another. But it's possible that there's a leading explanation for the formation of the universe based on a mathematical model that predicts exactly one big bang.

  • Evidence
  • Based on the comment you're replying to, I assume they would say "no, nothing materialized from nothing because there wasn't a 'before' in which nothing could have existed"

  • Cats
  • It wouldn't have been published, and he's only relatively famous if you're a topologist, but it was Charlie Frohman. Not that it must carry the same weight for you, but I value his insight highly, even if it's just a quip.

  • Science memes
  • Yes, but it proves that termwise comparison with the harmonic series isn't sufficient to tell if a series diverges.

  • Science memes
  • The assumption is that the size decreases geometrically, which is reasonable for this kind of self similarity. You can't just say "less than harmonic" though, I mean 1/(2n) is "slower".

  • Cats
  • Quoting a relatively famous mathematician, linear algebra is one of the few branches of math we've really truly understood. It's very, very well behaved

  • How to write Hello World
  • Yes, with Iosevka font

  • Irrational
  • Google it? Axiomatic definition, dedekind cuts, cauchy sequences are the 3 typical ones and are provably equivalent.

  • Irrational
  • I'm fully aware of the definitions. I didn't say the definition of irrationals was wrong. I said the definition of the reals is wrong. The statement about quantum mechanics is so vague as to be meaningless.

  • Irrational
  • That is not a definition of the real numbers, quantum physics says no such thing, and even if it did the conclusion is wrong

  • Rule
  • Being suitable for human consumption doesn't mean it's not also suitable for playing a role in a more efficient food chain

  • Math
  • Stokes' theorem. Almost the same thing as the high school one. It generalizes the fundamental theorem of calculus to arbitrary smooth manifolds. In the case that M is the interval [a, x] and ω is the differential 1-form f(t)dt on M, one has dω = f'(t)dt and ∂M is the oriented tuple {+x, -a}. Integrating f(t)dt over a finite set of oriented points is the same as evaluating at each point and summing, with negatively-oriented points getting a negative sign. Then Stokes' theorem as written says that f(x) - f(a) = integral from a to x of f'(t) dt.

  • Rule
  • Going to almost certainly be less than 1. Moving further up the food chain results in energy losses. Those fish are going to use energy for their own body and such

    For sure, which is why I said "another food source would be needed." I had in mind something like the wild-caught fish being processed into something useful as part of a more efficient food chain, e.g. combined with efficiently-farmed plant material.

    Moreover there’s high mortality rates inside of fish farms for fish themselves.

    I don't have any context on the other pros and cons of fish farming, so definitely not arguing whether they're a net positive or not.

  • kogasa Kogasa @programming.dev
    Posts 0
    Comments 750