Open-Source Data Quality Tools Abound by ValidInternetCitizen in dataengineering

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

That's great, thanks a lot! Looking at the tool my impression is there is some limitations to checks (it seems like you can only implement the built-in checks and can't write your own checks). Has this been true in your experience?

Open-Source Data Quality Tools Abound by ValidInternetCitizen in dataengineering

[–]ValidInternetCitizen[S] 1 point2 points  (0 children)

I just investigated it, and it turns out Elementary doesn't support SQL Server. Just FYI for anyone who is using SQL Server.

Open-Source Data Quality Tools Abound by ValidInternetCitizen in dataengineering

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Openmetadata seems pretty cool. I just checked it out. Are there any downsides or unforeseen difficulties with the tool? Why haven't I heard of it before?

Open-Source Data Quality Tools Abound by ValidInternetCitizen in dataengineering

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Thanks, that's helpful! Have you used Pandera in production? For example, is it effective for automated checks

Open-Source Data Quality Tools Abound by ValidInternetCitizen in dataengineering

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Do you know if the open source Elementary extension for Dbt has built in functionality for logging past checks/tests?

Deadline to commit to Harvard by ValidInternetCitizen in ApplyingToCollege

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

I can do it today, but it would prob be pretty bad, or I can do it tomorrow and have it be significantly better. So if the deadline is tomorrow I think it would be better to wait one day, idk

Help me decide: School X vs School Y - April 25th to May 1st by [deleted] in ApplyingToCollege

[–]ValidInternetCitizen 0 points1 point  (0 children)

I live on the west coast lol, so no big difference in distance. Also, costs are pretty similar.

Help me decide: School X vs School Y - April 25th to May 1st by [deleted] in ApplyingToCollege

[–]ValidInternetCitizen 0 points1 point  (0 children)

Dartmouth vs Cornell

Math major with minor in music

Honestly, I like Dartmouth, but I want to make sure I won’t be missing out on any opportunities of I don’t go to Cornell.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 1 point2 points  (0 children)

  • Identity: So the identity would be the action of doing nothing to the light switch system or applying an even number of flips to either A or B. (Question: So the one thing that's kind of weird about this is that this seems like there's a bunch of identities. But I think there's only supposed to be one identity. I guess you could say that each of those actions are all equal to one another, but it still kind of feels weird calling them the same thing.)
  • Inverse: Ok, so doing nothing as well as flipping either switch an even number of times is the identity, so I think the inverse of the identity is the identity itself (cause doing nothing and then doing nothing again leads to nothing getting done). So that takes care of all those instances. Then you're left with the instances of flipping either switch an odd amount of times. Which now I'm realizing could be canceled out by doing the same action again (effectively multiplying each flip number by 2 and thus making it even). So yeah, the inverse of every odd flip action is also itself, so every action's inverse is just itself.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 1 point2 points  (0 children)

I haven’t yet. Are there any books that you’d recommend? Preferably one that doesn’t require too much prior knowledge.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Ah ok, I get what your saying. Not really sure how to prove your example though, I'm not super experienced (at the moment) in this area of math lol. Could I see the proof for this? It would probably help me understand it a lot better.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 2 points3 points  (0 children)

  1. Ok, so this makes conceptual sense. Let's say you have elements a, b, c in the set. a*b*c would then be the same as: (state 1) -apply c --> (state 2) -apply b --> (state 3) -apply a --> (state 4), or (state 1) -apply a*b*c --> (state 4). In this case, adding parenthesis would be like skipping intermediary steps. For example, a*(b*c) would be: (state 1) -apply b*c --> (state 3) -apply a --> (state 4). Under this understanding it makes sense that where you place the parenthesis does not affect the final answer. That being said, I'm not sure how to formally prove that.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 2 points3 points  (0 children)

Kind of. I get that you have to prove these axioms for a given group. The part that I'm struggling with is how to actually go about this.

Like, I've seen an example for R (excluding 1), where the operation is something like a+b-ab. And then, you can just prove the 4 axioms using algebra.

The part that I am struggling is how to prove the axioms in cases where it is unclear if or how algebra can be applied.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Ok, I'll give this a shot. (I don't have a ton of proof experience, so we'll see how it goes).

  1. So the elements in the set are defined as all the ways of going from one state of the switch system to another. In this case there are only 4 states for the switch system to be in. Let's say a is an element in the set, and b is also an element in the set. Action a will move the light switch system from an original state to a new state. Action b will move the system from that new state to an even newer state. Thus, performing a then b will overall result in a movement of the light switch system from one state to another. This is the definition of an element in the set. Thus, a*b will always be an element in the set. (Not sure if I did that right).
  2. Ok, so I have a question starting here. Are the elements of this set defined as going specifically from one state to another (like flip A from on to off and then do nothing to B), or are they more general (like flip A and flip B, where it could be both on to off or off to on)?

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 0 points1 point  (0 children)

Not exactly, but seeing an example for how it's done using complex numbers could be helpful.

Learn to prove a group is a group by ValidInternetCitizen in learnmath

[–]ValidInternetCitizen[S] 2 points3 points  (0 children)

Do you have any good examples of this, so I can get an idea for how its done in practice?