BROWNTOWN
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
RSS Bot@lemmy.bestiver.seBM to Hacker News@lemmy.bestiver.seEnglish · 23 days ago

11 year old unsoundness bugs found in Rust borrow checker

github.com

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • [email protected]
1
external-link

11 year old unsoundness bugs found in Rust borrow checker

github.com

RSS Bot@lemmy.bestiver.seBM to Hacker News@lemmy.bestiver.seEnglish · 23 days ago
message-square
0
link
fedilink
  • cross-posted to:
  • [email protected]
struct's lifetime requirements can be bypassed via covariant field assignment · Issue #164250 · rust-lang/rust
github.com
external-link
In the following code: use std::sync::Mutex; static KEPT: Mutex>> = Mutex::new(Vec::new()); struct Q(Option); impl Drop fo...

Comments

alert-triangle
You must log in or # to comment.

Hacker News@lemmy.bestiver.se

hackernews@lemmy.bestiver.se

Subscribe from Remote Instance

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: [email protected]
lock
Community locked: only moderators can create posts. You can still comment on posts.

NOTICE: The bot occasionally has downtime, sorry about that. I’m working on adding better monitoring and error recovery so I can get notified faster.

Posts from the RSS Feed of HackerNews.

The feed sometimes contains ads and posts that have been removed by the mod team at HN.

Source of the RSS Bot.

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 0 users / day
  • 0 users / week
  • 0 users / month
  • 0 users / 6 months
  • 0 local subscribers
  • 5.69K subscribers
  • 808 Posts
  • 0 Comments
  • Modlog
  • mods:
  • patrick@lemmy.bestiver.se
  • RSS Bot@lemmy.bestiver.seB
  • BE: 0.19.19
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org