kogasa
@kogasa@programming.dev
- Comment on Manifolds 5 days ago:
Not really, you need to have a basic understanding at least
- Comment on Manifolds 5 days ago:
You might be thinking of a [connection of an affine bundle](en.wikipedia.org/wiki/Connection_(affine_bundle). You could learn it through classes (math grad programs usually have a sequence including general topology, differential topology/smooth manifolds, and differential geometry) or just read some books to get the parts you need to know.
- Comment on Manifolds 5 days ago:
Manifolds and differential forms are foundational concepts of differential topology, and connections are a foundational concept of differential geometry. They are mathematical building blocks used in modern physics, essentially enabling the transfer of multivariable calculus to arbitrary curved surfaces. I think the joke is that physics students don’t typically learn the details of these building blocks, rather just the relevant results, and get confused when they’re emphasized.
- Comment on Generative A.I. a Parasitic Cancer 1 month ago:
I don’t think you need permission to send someone an email directly addressed to and written for them. I don’t have context for the claims about Kagi being disputed, but I’d be frustrated if someone posted a misinformed rant about my work and then refused to talk to me about it. I might even write an email. Doesn’t sound crazy.
- Comment on Fuck geometry 2 months 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 2 months 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 2 months ago:
The distance between two complex numbers is the modulus or their difference, a real number
- Comment on Fuck geometry 2 months ago:
Metric, not measure. Metrics are real by definition.
- Comment on Fuck it, we're doing eggs this.weekend. Behold: Scotch eggs. 2 months 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 2 months ago:
That’s not a metric. In any metric, distances are positive between distinct points and 0 between equal points
- Comment on Fuck geometry 2 months 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! 2 months ago:
R^(3) specifically
- Comment on Het! 2 months ago:
Did they teach you how to formulate thought experiments in the shop?
- Comment on Het! 2 months 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! 2 months 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! 2 months 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 2 months ago:
Somehow I doubt hips and wheelchairs are among the top offenders
- Comment on fuckery 3 months 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 3 months 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 3 months ago:
Disrespecting fragile cretins who need to pandered to at all times
- Comment on Infinite Suffering 4 months ago:
It can be, usually for college credit though
- Comment on Infinite Suffering 4 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 4 months ago:
It’s called speed of lobsters
- Comment on mfw you're trying to take the Fourier Transform of a distribution 5 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. 7 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. 7 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. 7 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. 7 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 7 months ago:
Well, we knew he was a shitbag beforehand, so that’s not really what’s in question
- Comment on Evidence 7 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.