@JFPuget@eshear@cloneofsimo when someone says “manifold”, they do typically mean smooth riemannian manifold w/o boundary. but manifolds w/ boundary are definitely a thing! see stokes thm:
https://t.co/V5dA3AnSMP
but birkoff polytope isn’t a smooth manifold w/ boundary. it’s a manifold w/ corners (gross)
@ScoopStan@agraybee yes, 1180 is much more than 175, but i don’t get the per capita part. do you think an israeli life is worth over 100x that of an indian life?
@LordOdin3D@_taymiyah@XYHan_@alz_zyd_ to be clear, he meant to write "[y for y in x if y > 3]" where if acts as a filter. in this case, you can't use an else there
but yeah, you can write things like "y if b else z" where if/else act as a ternary condional operator. same as "b ? y : z" in other languages
@ryxcommar@personofswag yeah, i can understand making the distinction for inner products other than the dot product, but you can still define angles for any inner product space. now, those saying, vectors can't be perpendicular in euclidean R^d for d > 3 are just being really silly
@RuslanSmith1@souljagoytellem the uyghur separatist definitely claim the portions of western china which they’ve historically lived (what they call east turkestan) and consider the han chinese that live in the region as colonial occupiers
@RuslanSmith1@souljagoytellem china controls the area most uyghurs live, so i'm not sure what you mean by "invade china". but yes, there has been many mass terrorist attacks committed by uyghurs in china (which doesn't excuse the persecution they face)
@jxmnop related: consider the cube [-2,2]^d packed with 2^d many unit spheres centered at the points with coordinates of ±1. now imagine inflating another sphere centered at the origin until it touches the unit spheres. once d > 9, the middle sphere sticks outside the cube!