14 ms·

At least based on the comments on lobste.rs [0] and /r/rust, these seem to be actively worked on and/or will be solved Soon (TM): 1. Checking does not take mat

At least based on the comments on lobste.rs [0] and /r/rust, these seem to be actively worked on and/or will be solved Soon (TM): 1. Checking does not take match and return into account: I think this should be addressed by Polonius? https://rust.godbolt.org/z/8axYEov6E https://rust.godbolt.org/z/8axYEov6E 2. Being async is suffering: I think this is addressed by async closures, due to be stabilized in Rust 2024/Rust 1.85: https://rust.godbolt.org/z/9MWr6Y1Kz https://rust.godbolt.org/z/9MWr6Y1Kz 3. FnMut does not allow reborrowing of captures: I think this is also addressed by async closures: https://rust.godbolt.org/z/351Kv3hWM https://rust.godbolt.org/z/351Kv3hWM 4. Send checker is not control flow aware: There seems to be (somewhat) active work to address this? No idea if there are major roadblocks, though. https://github.com/rust-lang/rust/pull/128846 https://github.com/rust-lang/rust/pull/128846 [0]: https://lobste.rs/s/4mjnvk/four_limitations_rust_s_borrow_checker https://lobste.rs/s/4mjnvk/four_limitations_rust_s_borrow_ch... [1]: https://old.reddit.com/r/rust/comments/1hjo0ds/four_limitations_of_rusts_borrow_checker/ https://old.reddit.com/r/rust/comments/1hjo0ds/four_limitati...

dccsillag 2y ago
(Side note) That's odd, lobste.rs seems to be down for me, and has been like that for a couple of months now -- I literally cannot reach the site. Is that actually just me?? EDIT: just tried some things, very weird stuff: curl works fine. Firefox works fine. But my usual browser, Brave, does not, and complains that "This site can't be reached (ERR_INVALID_RESPONSE)". Very very very weird, anyone else going through this?
- rascul 2y ago
  Seems like lobste.rs might be blocking Brave. https://news.ycombinator.com/item?id=42353473 https://news.ycombinator.com/item?id=42353473
- porridgeraisin 2y ago
  They are throwing a bit of a hissy fit over brave. Change the user agent or something and view the site.
  - ykonstant 2y ago
    Reading the facts of the situation, it seems like a warranted "bit of a hissy fit".
    - sammy2255 2y ago
      Disagree. Regardless of what Brave is doing you shouldn’t block via User Agent like this.
      - gs17 2y ago
        Especially not simply making the site not load like that. If you really think a browser is so bad you don't want people using it, at least have it redirect to a message explaining what your grievance is. Unless the browser is DDoSing webpages it loads successfully, making the site look broken is pretty worthless as a response. EDIT: Although, it looks like they tried to do that sometimes? No idea why they would switch from that approach.
    - hitekker 2y ago
      Eh, pushcx's is right to disagree with past bad decision Brave made, but I think he's conflating a few grievances together. Someone tried to reason with him on that front: https://lobste.rs/s/iopw1d/what_s_up_with_lobste_rs_blocking_brave#c_ezne5h https://lobste.rs/s/iopw1d/what_s_up_with_lobste_rs_blocking... I sense hidden ideology, but it's his community to own, not mine.
      - coffeeling 2y ago
        It's not just that he disagrees with the things on an object, what happened level. He actively reads malice into every misstep to paint the organization as abusive.
        porridgeraisin 2y ago
        Yep.
- yurivish 2y ago
  Why Brave is blocked: https://github.com/lobsters/lobsters-ansible/issues/45 https://github.com/lobsters/lobsters-ansible/issues/45
  - DaSHacka 2y ago
    Looks as though it's not currently in effect, however? https://github.com/lobsters/lobsters/issues/761 https://github.com/lobsters/lobsters/issues/761 What a trite cat-and-mouse game, though at least it's entertaining to watch them try.
- Permik 2y ago
  Hello from Finland, I can reach the site all fine. Hope you get your connection issues sorted :)
DylanSp 2y ago
Case 1 is definitely addressed by the Polonius-related work. There's a post [1] on the official Rust blog from 2023 about that, and this post [2] from Niko Matsakis' blog in June 2024 mentions that they were making progress on it, though the timeline has stretched out. [1]: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-u... [2]: https://smallcultfollowing.com/babysteps/blog/2024/06/02/the-borrow-checker-within/ https://smallcultfollowing.com/babysteps/blog/2024/06/02/the...

dccsillag 2y ago

(Side note) That's odd, lobste.rs seems to be down for me, and has been like that for a couple of months now -- I literally cannot reach the site. Is that actually just me?? EDIT: just tried some things, very weird stuff: curl works fine. Firefox works fine. But my usual browser, Brave, does not, and complains that "This site can't be reached (ERR_INVALID_RESPONSE)". Very very very weird, anyone else going through this?

rascul 2y ago
Seems like lobste.rs might be blocking Brave. https://news.ycombinator.com/item?id=42353473 https://news.ycombinator.com/item?id=42353473
porridgeraisin 2y ago
They are throwing a bit of a hissy fit over brave. Change the user agent or something and view the site.
- ykonstant 2y ago
  Reading the facts of the situation, it seems like a warranted "bit of a hissy fit".
  - sammy2255 2y ago
    Disagree. Regardless of what Brave is doing you shouldn’t block via User Agent like this.
    - gs17 2y ago
      Especially not simply making the site not load like that. If you really think a browser is so bad you don't want people using it, at least have it redirect to a message explaining what your grievance is. Unless the browser is DDoSing webpages it loads successfully, making the site look broken is pretty worthless as a response. EDIT: Although, it looks like they tried to do that sometimes? No idea why they would switch from that approach.
  - hitekker 2y ago
    Eh, pushcx's is right to disagree with past bad decision Brave made, but I think he's conflating a few grievances together. Someone tried to reason with him on that front: https://lobste.rs/s/iopw1d/what_s_up_with_lobste_rs_blocking_brave#c_ezne5h https://lobste.rs/s/iopw1d/what_s_up_with_lobste_rs_blocking... I sense hidden ideology, but it's his community to own, not mine.
    - coffeeling 2y ago
      It's not just that he disagrees with the things on an object, what happened level. He actively reads malice into every misstep to paint the organization as abusive.
      - porridgeraisin 2y ago
        Yep.
yurivish 2y ago
Why Brave is blocked: https://github.com/lobsters/lobsters-ansible/issues/45 https://github.com/lobsters/lobsters-ansible/issues/45
- DaSHacka 2y ago
  Looks as though it's not currently in effect, however? https://github.com/lobsters/lobsters/issues/761 https://github.com/lobsters/lobsters/issues/761 What a trite cat-and-mouse game, though at least it's entertaining to watch them try.
Permik 2y ago
Hello from Finland, I can reach the site all fine. Hope you get your connection issues sorted :)

DylanSp 2y ago

Case 1 is definitely addressed by the Polonius-related work. There's a post [1] on the official Rust blog from 2023 about that, and this post [2] from Niko Matsakis' blog in June 2024 mentions that they were making progress on it, though the timeline has stretched out. [1]: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-u... [2]: https://smallcultfollowing.com/babysteps/blog/2024/06/02/the-borrow-checker-within/ https://smallcultfollowing.com/babysteps/blog/2024/06/02/the...