kogasa
@kogasa@programming.dev
- Comment on Fuck geometry 3 weeks ago:
You’re talking about a metric tensor on a pseudo-Riemannian manifold, I’m talking about a metric space. A metric in the sense of a metric space takes nonnegative real values. If you relax the condition that distinct points have nonzero distance, it’s a pseudometric.
- Comment on mathposting 3 weeks ago:
It’s (co)homology, not Cartesian algebra. There’s also a typo in the meme. I have a fixed version and solution somewhere.
- Comment on Fuck geometry 3 weeks ago:
The distance between two complex numbers is the modulus or their difference, a real number
- Comment on Fuck geometry 3 weeks ago:
Metric, not measure. Metrics are real by definition.
- Comment on Fuck it, we're doing eggs this.weekend. Behold: Scotch eggs. 3 weeks ago:
Yes, the egg needs to be barely cooked before battering and frying, which makes it really annoying to shell + batter + fry them
- Comment on Fuck geometry 3 weeks ago:
That’s not a metric. In any metric, distances are positive between distinct points and 0 between equal points
- Comment on Fuck geometry 3 weeks ago:
That’s not relevant to what they said, which is that distances can’t be imaginary. They’re correct. A metric takes nonnegative real values by definition
- Comment on Het! 3 weeks ago:
R^(3) specifically
- Comment on Het! 3 weeks ago:
Did they teach you how to formulate thought experiments in the shop?
- Comment on Het! 3 weeks ago:
Yeah, basic graduate level math is a lot more useful than whatever you do with your life to warrant such an attitude.
- Comment on Het! 3 weeks ago:
Specifically, the thing that exists is a regular homotopy of immersions from the standard embedding to its opposite. The “rules” aren’t supposed to be self evident, they’re part of a broader context in topology
- Comment on Het! 4 weeks ago:
It’s interesting because it’s highly counter-intuitive that such a thing is possible. It’s not supposed to be useful except as an example of a false intuition, which can remind us to be careful in our reasoning.
- Comment on Plasticccc 4 weeks ago:
Somehow I doubt hips and wheelchairs are among the top offenders
- Comment on fuckery 5 weeks ago:
Yes, OP only gets you to Q[i]
- Comment on To appease a Steam user's demands for straight representation, Webfishing added a 'Straight' title that costs 9,999 fish bucks 5 weeks ago:
No, I stand by it. People who cry about straight representation are goblins at best
- Comment on To appease a Steam user's demands for straight representation, Webfishing added a 'Straight' title that costs 9,999 fish bucks 1 month ago:
Disrespecting fragile cretins who need to pandered to at all times
- Comment on Infinite Suffering 2 months ago:
It can be, usually for college credit though
- Comment on Infinite Suffering 2 months ago:
At the universities I went to, Calc 2 was integration, sequences and series, then Calc 3 was multivariable. They really pack all the harder parts into 2.
- Comment on The return 2 months ago:
It’s called speed of lobsters
- Comment on mfw you're trying to take the Fourier Transform of a distribution 3 months ago:
It’s a reach, but the Fourier transformation of a Schwarz (rapidly decaying) function is also a Schwarz function. Compact support is a strictly stronger condition than Schwarz (the function must eventually decay to 0) but doesn’t have this nice property with respect to Fourier transforms, i.e. the FT of a compactly supported function is Schwarz but not necessarily compactly supported
- Comment on It's Wednesday, my dudes. 5 months ago:
Yes. A matrix is unitary if the conjugate transpose (conjugate as in “complex conjugate”) is equal to its inverse.
- Comment on I wish I was as bold as these authors. 5 months ago:
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.
- Comment on I wish I was as bold as these authors. 5 months ago:
ChatGPT uses auxiliary models to perform certain tasks like basic math and programming. Your explanation about plausibility is simply wrong.
- Comment on I wish I was as bold as these authors. 5 months ago:
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.
- Comment on Deadrop developer Midnight Society cuts ties with Dr Disrespect following new Twitch ban allegations 5 months ago:
Well, we knew he was a shitbag beforehand, so that’s not really what’s in question
- Comment on Evidence 5 months ago:
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.
- Comment on Evidence 5 months ago:
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’
- Comment on Cats 5 months ago:
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.
- Comment on Science memes 5 months ago:
Yes, but it proves that termwise comparison with the harmonic series isn’t sufficient to tell if a series diverges.
- Comment on Science memes 5 months ago:
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”.