gspr

68 ms·

931.
by gspr 5y ago
Sorry if I sound exclusively negative about someone else's hard work – that is not the intention. I find people's obsession over memorizing mathematical symbols (part 2) really strange. If you understand what the concepts involved
932.
by gspr 5y ago
Or like, I don't know, realize that there's something in-between "just dirt" and a deep green lawn. Someone else brought up the term for it in this thread: Xeriscaping – https://en.wikipedia.org/wiki&#x2F
933.
by gspr 5y ago
Ah yes, I see now that it literally says "to work". Thanks!
934.
by gspr 5y ago
Sure.
935.
by gspr 5y ago
If we could have true autonomous local driving, cities would change forever. All cars would live outside the city, and cover (pooled!) demand with incredible efficiency. Cars in cities today are incredibly stupid compared to public transit.
936.
by gspr 5y ago
I'm sorry for your father. It's sad to see Musk fan the cultism in his followers :-(
937.
by gspr 5y ago
For visiting outside the city, you temporarily rent a vehicle outside the city, where space isn't a problem. For moving heavy things: come on, how big of an impact on city traffic is this really?
938.
by gspr 5y ago
Yeah. I usually think that Americans have an insane tolerance for commuting, but 31 minutes per day is nothing! 15 minutes door-to-door to work is pretty fantastic — so fantastic that I too doubt that it's the average in the US northea
939.
by gspr 5y ago
You do the secret Grinch thing instead?
940.
by gspr 5y ago
Well, then there needs to be a widely adopted, standardized alternative.
941.
by gspr 5y ago
Indeed. Another abomination.
942.
by gspr 5y ago
I think that's the point the other person was making: The Internet is still fine, regardless of whether or not the content gets delivered. There are roads (or shall I say tubes?). There are cars and busses on the road. Over time, almos
943.
by gspr 5y ago
Cool, so instead of actually serving text, they could also just serve up little SVGs for each letter. Because god forbid the recipient chooses a different font than Gmail!
944.
by gspr 5y ago
It's covered in the first few entries in the FAQ: https://github.com/Rust-GCC/gccrs/wiki/Frequently-Asked-Ques...
945.
by gspr 5y ago
I highly disagree with you, but that's besides the point. Even supposing you are right, how does this relate to the point I was making? (I also find it amusing that you categorize physics as "too big to make such an asinine commen
946.
by gspr 5y ago
Highly applied mathematics, yeah.
947.
by gspr 5y ago
I agree with most of what you're saying, but 7 seems way off. Maybe it's field-dependent? I would say that in e.g. mathematics, physics and neuroscience, almost all good papers come from academic labs.
948.
by gspr 5y ago
Sounds like you have a good system. If you ever find yourself wanting some more convenience commands around a system that's just like what you describe, I wholeheartedly recommend Pass [1]. It's exactly like your homebuilt setup,
949.
by gspr 5y ago
I second your nomination of Euler's formula as the most beautiful mathematical statement! Another candidate in my mind is the generalized variant of Stokes' theorem (there's nothing wrong with the basic calculus variant, but
950.
by gspr 5y ago
> What I was trying to tell was that even a fundamental concept such as vector isn't clearly defined in undergraduate level treatments. Of course it is. I'm sure there are instances where it isn't, but it also mostly is.
951.
by gspr 5y ago
Right, but the individual vector spaces you speak of there are the tangent spaces of a manifold M. There's a vector space TpM attached to M at a point p. And the point you make is that there isn't necessarily a canonical way to re
952.
by gspr 5y ago
Maybe I misunderstood what the original poster meant by "anchored", sorry.
953.
by gspr 5y ago
And you live in a country with a really nicely developed public transport infrastructure, so you don't go through the nightmarish car commutes that most USians probably have in mind. When I lived in CH, I did not mind the days I had to
954.
by gspr 5y ago
I'm sorry, but why is this a website?
955.
by gspr 5y ago
> The thing is group theory is taught in an incredibly abstract manner, its hard to find any motivating application for it, or any problems it helps us solve. Mathematics is abstractly defined. But for basic group theory there's a p
956.
by gspr 5y ago
It's a good text, but the parent poster may wish to be made aware that it's very physics-centric. If they do not come at this from an interest in physics or a physics mindset, it may be counterproductive.
957.
by gspr 5y ago
Indeed.
958.
by gspr 5y ago
To understand the definitions and apply them in practice, a first course in group theory + a basic understanding of vector calculus suffices. To add the adjective "topology", the first parts of a general topology course is enough.
959.
by gspr 5y ago
Even in this case you need to take care of the action of rotations on points near the poles, don't you? (I don't remember, it's been a long time since I did such calculations). But yes, otherwise I agree with you.
960.
by gspr 5y ago
The reason this works is often skipped in computationally oriented writeups: Rotations of 3-dimensional real space form the topological group SO(3). Naive parameterizations of that group do not form a cover [1], but the group of norm-1 quat

More ›