• 0 Posts
  • 1.44K Comments
Joined 2 years ago
cake
Cake day: June 21st, 2023

help-circle



  • TehPers@beehaw.orgtoScience@beehaw.orgMeet Sabrina Gonzales
    link
    fedilink
    English
    arrow-up
    5
    ·
    17 hours ago

    GPA scales make no sense here, but usually the top varies somewhere between 4.0 and 5.0.

    At the university I went to, I believe it went to 4.0 with honors, but I only knew one person who got remotely close to that. Honors was a separate process where they make you miserable in your last two years for no discernable benefit.


  • And before anyone chastises me for being “lazy” or relying on extractive services, I highly favor ordering directly from the restaurant and picking up. The deeply abusive nature of Doordash et al towards both customers and restaurants is not lost on me.

    Doordash prices can also be higher than ordering directly from the restaurant, so even if you do use it, it’s better to compare to what the restaurant would charge if you ordered directly.

    I’ve seen differences in price of nearly 2x in some cases.

    Also, if you have the time and means, my personal suggestion is to always pick up, not have it delivered. Saves a ton of money, plus gives you an opportunity to go outside, even if picking up isn’t a whole lot of human interaction (still better than none).





  • The never type comes more from type theory and isn’t common in other languages (though TS has never). Similar to 0 or the null set, it exists as a “base case” for types. For example, where you have unions of T1 | T2 | ..., the “empty union” is the never type. Similarly, for set theory, a union of no sets is the null set, and in algebra, the summation of no numbers is 0.

    In practice, because it can’t be constructed, it can be used in unique ways. These properties happen to be super useful in niche places.



  • I don’t know where None comes from (what’s the T in Option<T>?)

    Assuming you meant (), that’s a unit type with one valid value. It’s a ZST, but can be created and returned.

    ! is a bottom type. It’s uninhabited. Can’t be created. Functions can never return it because they can never construct it. So why’s this useful? It can be coerced to any type.

    Because the set of valid values for ! is the null set, by contradiction, there do not exist any values valid for the type ! that are invalid for any other type T. Therefore, all valid values of ! are also valid values of any other type T, and you can always convert from it to any other type.

    Notably, this is already possible, but language support for it isn’t amazing:

    enum A {}
    
    fn bar(a: A) {
        let foo: Box<Arc<Rc<Mutex<String>>>> = match a {}
    }
    

    Heck you can even do this today:

    // `loop {}` never returns, so its type is `!`:
    let blah: String = loop {};
    








  • I’ll ignore your last section since that’s a separate discussion and a poor explanation of the situation.

    Many people believe Mangione is guilty based on all the evidence. Heck, from what I’ve seen, it seems incredibly likely. However, belief in that isn’t enough to condemn someone to either a life sentence or death penalty. While I might believe he’s guilty, I won’t be the one to state that he is, without a doubt, the one responsible for the murder because I have no evidence of that. This is what due process is for.

    Many people don’t want him to be guilty because while he likely broke the law, the morality of his actions is a separate and more complicated matter. Depending on one’s morals, they may feel as though the murder was just. Whether you do or not is up to you. However, a lot of the commentary you’ll see online is going to be based on the commenter’s own personal views on the subject. This doesn’t mean the commenter believes he is innocent of a crime, but they may believe that his actions were just regardless of it being a crime (since law and morals are separate things entirely).