BlendIT - BSD Cafe
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Tony Bark to Programming@programming.devEnglish • 2 months ago

Big Rust Update Merged For GCC 15 - Lands The Polonius Borrow Checker

www.phoronix.com

external-link
message-square
4
fedilink
46
external-link

Big Rust Update Merged For GCC 15 - Lands The Polonius Borrow Checker

www.phoronix.com

Tony Bark to Programming@programming.devEnglish • 2 months ago
message-square
4
fedilink
alert-triangle
You must log in or register to comment.
  • @sirdorius@programming.dev
    link
    fedilink
    7•2 months ago

    Some more details on Polonius:

    • https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html
    • https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/
    • https://www.youtube.com/watch?v=_agDeiWek8w
  • @spartanatreyu@programming.dev
    link
    fedilink
    5•2 months ago

    Polonius

    “Well it’s about damn time” smokes cigar


    Yes, I know it’s not out out yet, but we’re nearly there

  • @thingsiplay@beehaw.org
    link
    fedilink
    3•2 months ago

    I thought Polonius would be part of the 2024 Edition, and was sad not seeing being mentioned at all. Good to see its still being worked on.

    • esa
      link
      fedilink
      3•2 months ago

      Afaik they’re hoping to land it on nightly in 2025H1.

      Between that, work on the next-generation trait solver and promoting parallel frontend, there’s some stuff to look forward in the compiler this year.

Programming@programming.dev

!programming@programming.dev

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programming@programming.dev

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person’s post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you’re posting long videos try to add in some form of tldr for those who don’t want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



  • 21 users / day
  • 698 users / week
  • 2.93K users / month
  • 6.94K users / 6 months
  • 20.1K subscribers
  • 482 Posts
  • 5.64K Comments
  • Modlog
  • mods:
  • snowe
  • Ategon
  • @MaungaHikoi@lemmy.nz
  • UI: unknown version
  • BE: 0.19.3
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org