kogasa
@kogasa@programming.dev
- Comment on I need to vent about plastic milk jugs 1 week ago:
This is supported by the patent documents for at least one type of milk jug, which I found thanks to Snopes:
- Comment on How about the digestive system? 1 week ago:
Topology is immensely useful to describe reality.
- Comment on Indie Game Awards Disqualifies Clair Obscur: Expedition 33 Due To Gen AI Usage 2 weeks ago:
A placeholder isn’t what they’re working on either. It’s a placeholder for something someone else is working on but hasn’t completed yet.
- Comment on Indie Game Awards Disqualifies Clair Obscur: Expedition 33 Due To Gen AI Usage 2 weeks ago:
It was a placeholder texture that was always intended to be replaced by actual art made by a human. It was overlooked accidentally and promptly replaced. So no, it isn’t a very different thing. It was never supposed to be part of the game or even a significant part of its development.
- Comment on Indie Game Awards Disqualifies Clair Obscur: Expedition 33 Due To Gen AI Usage 2 weeks ago:
A stance that is perfectly relatable in 2025, but not as much when Expedition 33 was in early development.
- Comment on Indie Game Awards Disqualifies Clair Obscur: Expedition 33 Due To Gen AI Usage 2 weeks ago:
The only takeaway is that the Indie Game Awards’ rule is overly restrictive. Woops, one of your contracted artists used a GenAI model to generate a music playlist to set the mood while he was working on your game, you’re disqualified and the fact that you didn’t come forward with this information immediately makes you a liar. Obviously absurd. If they’re going to take a strong anti-AI stance, it should be more realistic. At some point, maybe even already, every single competitor should be disqualified but isn’t aware or forthcoming about it, so what’s the rule actually doing except rewarding dishonesty?
- Comment on Indie Game Awards Disqualifies Clair Obscur: Expedition 33 Due To Gen AI Usage 2 weeks ago:
“the truth” being that a few generated placeholder textures were accidentally left in and promptly replaced? crazy
- Comment on imagine 2 weeks ago:
If you could construct such a set, it wouldn’t be independent of ZFC
- Comment on Interesting looking ring. Wonder what it means? 1 month ago:
Jatravartid ring
- Comment on Lemmy shitpost 2 months ago:
Hugh Laurie cooked hard
- Comment on one bright second 2 months ago:
Highly effective unless the universe really does revolve around you.
- Comment on Which one and why? 2 months ago:
the availability of spoons is not the matter at hand
- Comment on In this essay... 2 months ago:
There are non-standard models of arithmetic. They follow the original first-order Peano axioms and any theorem about the naturals is true for them, but they have some wacky extra stuff in them like you mention.
- Comment on He died doing what he loved. 3 months ago:
Isn’t there an NSFL tag? Idk, feels pretty obvious not to post this shit in communities that don’t commonly host gore
- Comment on Baldur's Gate 3 or Clair Obscur: Expedition 33? 4 months ago:
If you mostly play Souls games, I have to lean towards E33 due to the real-time parry mechanic. Both games are amazing and you won’t regret playing either.
- Comment on number box o number box 4 months ago:
Which is really a roundabout way of saying a tensor is a multilinear relationship between arbitrary products of vectors and covectors. They’re inherently geometric objects that don’t depend on a choice of coordinate system. The box of numbers is just one way of looking at a tensor, like a matrix is to a linear transformation on a vector space
- Comment on functional 5 months ago:
Stokes’ theorem tattoo would go hard
- Comment on Emma Watson banned from driving for speeding 5 months ago:
So I’m not advocating for speeding, and I think getting a ticket for going 38 in a 30 is reasonable enough, she should be more careful. But “the probability of death given a collision” is an astronomically low contributor to the risk to pedestrians compared to “the probability of a collision.” We all know getting hit by a car is extremely dangerous even at low speeds. The risk of hitting a pedestrian doesn’t go up much between 38mph and 30mph under normal conditions, so the risk to pedestrians doesn’t change much. It’s probably within typical margins considering the difference between drivers who may be older, have slower reaction times, have slept less that day, etc.
- Comment on Emma Watson banned from driving for speeding 5 months ago:
it’s not like you can accidentally go around 30% over the limit
When that 30% is 8mph, yes you can
- Comment on UwU brat mathematician behavior 5 months ago:
In the context of differential forms, an integral expression isn’t complete without an integral symbol and a differential form to be integrated.
- Comment on UwU brat mathematician behavior 5 months ago:
The mathematician also used “operative” instead of, uh, something else, and “associative” instead of “commutative”
- Comment on Dunkin' Donuts Drinks 5 months ago:
Everything changed when they removed ham from the menu
- Comment on Listen here, Little Dicky 5 months ago:
-
I also have a masters in math and completed all coursework for a PhD. Infinitesimals never came up because they’re not part of standard foundations for analysis. I’d be shocked if they were addressed in any formal capacity in your curriculum, because why would they be? It can be useful to think in terms of infinitesimals for intuition but you should know the difference between intuition and formalism.
-
I didn’t say “infinitesimals don’t have a consistent algebra.” I’m familiar with NSA and other systems admitting infinitesimal-like objects. I said they’re not standard. They aren’t.
-
If you want to use differential forms to define 1D calculus, rather than a NSA/infinitesimal approach, you’ll eventually realize some of your definitions are circular, since differential forms themselves are defined with an implicit understanding of basic calculus. You can get around this circular dependence but only by introducing new definitions that are ultimately less elegant than the standard limit-based ones.
-
- Comment on Listen here, Little Dicky 5 months ago:
Ok, but no. Infinitesimal-based foundations for calculus aren’t standard and if you try to make this work with differential forms you’ll get a convoluted mess that is far less elegant than the actual definitions. It’s just not founded on actual math.
- Comment on Listen here, Little Dicky 5 months ago:
No 👍
- Comment on Listen here, Little Dicky 5 months ago:
It doesn’t. Only sometimes it does, because it can be seen as an operator involving a limit of a fraction and sometimes you can commute the limit when the expression is sufficiently regular
- Comment on Listen here, Little Dicky 5 months ago:
The other thing is that it’s legit not a fraction.
- Comment on Anon loves The Lord of the Rings 6 months ago:
Sounds like a skill issue. If that ruined the game for you, I dunno what to say. Might be a replicant?
- Comment on Anon loves The Lord of the Rings 6 months ago:
I agree with them, that game is a masterpiece. Didn’t you love it?
- Comment on Order of magnitude is a hell of a drug 6 months ago:
It’s a number and complexity refers to functions. The natural inclusion of numbers into functions maps pi to the constant function x -> pi which is O(1).
If you want the time complexity of an algorithm that produces the nth digit of pi, the best known ones are something like O(n log n) with O(1) being impossible.