agrounds

6 ms·

1.
by agrounds 2mo ago
Thanks for the reply, this is very illuminating. I never got to this depth in algorithms. I’m but a humble programmer with a math background, but no CS degree.
2.
by agrounds 2mo ago
> That Ring wiki page though, um, nope... :D Fair enough! At a super high level, a ring is just a collection that has a similar structure to what you’re used to “numbers” having. That is, you can add, subtract, and multiply them. Not div
3.
by agrounds 2mo ago
I studied a lot of abstract algebra in college and grad school and I’m surprised that rings and algebras would come up in a CS degree. What algorithms topics used those concepts? Something about polynomials?
4.
by agrounds 2mo ago
Absolutely agree. All formal statements (like mathematical ones) are going to have some level of assumed background. And as the assumed background expands, the language naturally becomes more information dense. As for your specific question
5.
by agrounds 2mo ago
Z is the ring of integers, t is a formal variable allowing us to discuss polynomials whose coefficients are in some ring. That’s what R[t] means: the ring of polynomials of the formal variable t with coefficients in R. Adding in t^-1 lets u
6.
by agrounds 4mo ago
I dunno, why own a car when you could ride your bike instead? They’re just different things and people may choose to use one over the other for a variety of reasons.
7.
by agrounds 5mo ago
>if an AI is confidently telling you something wrong it's hard to work with. But they all do that. It just comes with the territory. Grok will absolutely do the same thing another time you try it.
8.
by agrounds 5mo ago
And everyone you ever want to share files with locally also has access to your home VPN?
9.
by agrounds 6mo ago
There are dozens and dozens of cheap-looking restaurants in San Antonio with absolutely no online presence that will serve you the most delicious tex mex you’ve had in your whole life
10.
by agrounds 6mo ago
Thanks very much for sharing these notes. I studied algebraic topology in grad school but somehow avoided knot theory entirely. Reading these has sparked that feeling I had when I first got into topology.
11.
by agrounds 7mo ago
This is a naive take. Are there specific instances involving individuals of many nationalities/ethnicities? Yes. Is ICE then ignoring race during its operations? Absolutely not. ICE agents are arresting people based solely on their phy
12.
by agrounds 7mo ago
Agreed. But generally it very much depends on the school and the effort of those in and around it. Terrence was very fortunate to have parents who supported him and likely lobbied for his unconventional high school/primary school split
13.
by agrounds 8mo ago
I use a subset of omz by cloning it and manually sourcing the plugins I want myself rather than initializing the entire omz system. No themes, no checking for updates, etc. For me, it’s the best of both worlds. I describe my setup and how t
14.
by agrounds 10mo ago
Superficially, these look the same, but at least to me they feel fundamental different. Maybe it’s because if I have the ability to read the script and take the time to do so, I can be sure that it won’t cause a catastrophic outcome before
15.
by agrounds 11mo ago
>> I also like how you can manage Python versions very easily with it. > > I still don't understand why people value this so highly, but so it goes. Well I do need some way to install multiple python versions in parallel,
16.
by agrounds 11mo ago
> What I was not aware of: `venv`s need to be created with the version of python they are supposed to be run. So you need to have a downgraded Python executable first. This is one of uv’s selling points. It will download the correct pyth
17.
by agrounds 11mo ago
Yes
18.
by agrounds 11mo ago
Scala 3 has failed to be widely adopted, and now the language as a whole is more or less dead. Not that that’s due to the 2-to-3 transition entirely.
19.
by agrounds 3y ago
Scala 2’s implicits have been a source of great pain in many Scala codebases at many different organizations. They are too powerful. The situation is comparable to languages that depend on gotos instead of structured control flow elements (
20.
by agrounds 3y ago
Seconding quartz. I also use it and love it. It converts your markdown files to static HTML, understands Obsidian-specific markdown features, and just looks really nice IMO. For publishing, I use Cloudflare pages to host the static HTML and
21.
by agrounds 3y ago
Inertia. There are still a ton of Java shops out there, and many of them will not switch even partially to another language anytime soon. The hope is that these orgs might find it easier to upgrade to Java 21+ than to learn and start using
22.
by agrounds 3y ago
Category theory was not a response to any limitations of set theory, but rather a collection of new abstractions, still grounded in set theory (originally anyway). The first paper introducing these abstractions was by Eilenberg and Mac Lane
23.
by agrounds 3y ago
I was lucky enough to take two IBL courses from Dr. Michael Starbird at UT Austin. Both were wonderful courses, very engaging and very fun. I never collaborated so much with other math students as I did in those courses. In particular this
24.
by agrounds 3y ago
Mathematicians commonly refer to two objects by the same name if they are equivalent in the given context. In this context, topology, any space that is homeomorphic to a sphere might be referred to as “a sphere” even if literally speaking i
25.
by agrounds 3y ago
To add on to what dullcrisp said, which is all correct, even spheres with thickness are “the same as” spheres of zero thickness from the perspective of homotopy theory. “Sameness” here means homotopy equivalence [1]. In fact the thin sphere
26.
by agrounds 3y ago
I guess it depends on the prompt. But if someone just asks “what crimes has X famous person committed?” and ChatGPT spits out some false information, the libel would be OpenAI’s fault, no?
27.
by agrounds 5y ago
Please note that a field that "satisfying the fundamental theorem of algebra" is not really a thing. The term you're looking for is algebraically complete field. The fundamental theorem of algebra states that the complex numb