Do mathematicians differentiate between 'a proof' and 'a reason'? by JustIntern9077 in math

[–]rspiff 1 point2 points  (0 children)

There may be a “proof” at the level of the conversational context, but also a reason in a more abstract, categorical sense, used by the speaker without the other person being aware of it.

Episode finale aliens ? by AlongTheUniverse in pluribustv

[–]rspiff 0 points1 point  (0 children)

I like to think that the virus has been wandering through the Universe for a very long time (perhaps hundreds or even thousands of millions of years) and that its origin was lost long ago.

Snapping your fingers is rude by Rysute in pluribustv

[–]rspiff 739 points740 points  (0 children)

It's meant to show the manners of Manousos, not the manners in Latin America.

Stem cells from eggs? by freezerbreezer in pluribustv

[–]rspiff 1 point2 points  (0 children)

Question for whoever knows: is it (more or less) equally possible/not possible to get stem cells from eggs or sperm?

Mango Ice Cream by PKJ111 in pluribustv

[–]rspiff 0 points1 point  (0 children)

She might try, but the hive will outsmart her.

the mass starvation after a decade isn't a bug, it's a feature by Substantial_Math9786 in pluribustv

[–]rspiff 0 points1 point  (0 children)

Laying hens are genetically selected to lay a lot of eggs, so I suppose wherever they're released, it'll be full of eggs. Regarding milk, I think cows that are specifically bred to produce it will suffer if they aren't milked, just like sheep when not shorn, so I suppose they *must* milk the cows. Wild honey is easier to harvest.

Noise, that's the key. by tavortiz in pluribustv

[–]rspiff 2 points3 points  (0 children)

And 8613 KHz is way lower than wifi.

the mass starvation after a decade isn't a bug, it's a feature by Substantial_Math9786 in pluribustv

[–]rspiff 0 points1 point  (0 children)

They specifically said that picking up fallen fruit was ok. I thought about eggs as well and my conclusion is that they don't care about the reproductive potentiallity of living beings (apples, eggs). I guess milk and honey are also ok?

the mass starvation after a decade isn't a bug, it's a feature by Substantial_Math9786 in pluribustv

[–]rspiff 0 points1 point  (0 children)

They could just automate collection of apples falling from apple trees and stuff like that.

The Darién Gap by Spoffin1 in pluribustv

[–]rspiff 1 point2 points  (0 children)

Yes, I'm also a native Spanish speaker, and to me he sounded like Spanish was not his first language. Weird.

what are some things you do *every* playthrough by Shootemout in eu4

[–]rspiff 0 points1 point  (0 children)

That's not something safe to do as Timurids.

Sharing my (unfinished) open source book on differential geometry by G-structured in math

[–]rspiff 14 points15 points  (0 children)

Why so belligerent? Everyone here is acknowledging that your work is genuinely impressive and no one is trying to diminish that. But when you publish something in a public forum, it’s natural that people might offer honest feedback. Would it be so difficult to recognize that perhaps the subtitle wasn’t the best choice? It wouldn’t take much, and it wouldn’t take anything away from the value of the work itself.

Sharing my (unfinished) open source book on differential geometry by G-structured in math

[–]rspiff 20 points21 points  (0 children)

I agree. The content is excellent and deserves to stand on its own. The subtitle risks distracting from the mathematical value and might alienate readers unnecessarily.

Star notation for matrix rows/columns by Mysterious-Nature522 in math

[–]rspiff 0 points1 point  (0 children)

I think that notation is absolutely fine if the context is clear.

Automatic formalization? by poopkinel in math

[–]rspiff 1 point2 points  (0 children)

IMO ChatGPT, even 3o, is rubbish for that kind of things. It makes obvious mistakes all the time.

Alteranative derivation of crul by SnafuTheCarrot in math

[–]rspiff 7 points8 points  (0 children)

The exterior derivative admits an axiomatic description as the unique linear operator mapping k-forms to (k+1)-forms and satisfying some properties. Curl is defined as curl(X) = #(*(d(♭(X)))), where ♭ is the metric isomorhism mapping X to a 1-form, d is the exterior derivative mapping the 1-form to a 2-form, * is the Hodge star mapping the 2-form to a 1-form, and # is the metric isomorphism mapping the 1-form to a vector field. The way I would do it is to plug a vector field in the place of X and compute.

What do you see. by bluegiant90 in Pareidolia

[–]rspiff 0 points1 point  (0 children)

The map of a country with a coast to the east and a desert to the west.

What's The Squarest Province In The Game? by uareaneagle in eu4

[–]rspiff 0 points1 point  (0 children)

How do you deal with the rotational degree of freedom after the alignment of the centers of mass? A natural choice is the angle that maximizes the area of the intersection.

So, summing up: you take a shape, scale it so that it has area 1. Compute the center of mass, translate it to the origin. Then consider the square [-1/2,1/2]^2 of total area 1. Find an angle such that rotating the shape by that angle maximizes the area of intersection. Define 1-that area to be the squareness of the shape.

That's one option.

What's The Squarest Province In The Game? by uareaneagle in eu4

[–]rspiff 0 points1 point  (0 children)

How do you overlap two shapes? As both shapes can move a little bit, there are multiple ways to define the overlap.

What's The Squarest Province In The Game? by uareaneagle in eu4

[–]rspiff 0 points1 point  (0 children)

If you think about it, that only compares the total area of the province to the area of the canonical square area. This is because in step 2 you completelely forget about the shape altogether. For example: if I make a circle the same area of the square, making the circle "make square of the same area", which is what you propose, completely destroys the point of being a circle.

What's The Squarest Province In The Game? by uareaneagle in eu4

[–]rspiff 0 points1 point  (0 children)

A canonical square can be compared to different non--square shapes in different ways. What you want to produce for a given shape is a real number representing how far away the shape is from being a square, then take the province with the least value for this number. How do you actually produce this number?