I’m a Christian and software engineer; I create random graphics projects and websites. Feel free to ask me for help with programming, or about my faith!

  • 0 Posts
  • 6 Comments
Joined 1 year ago
cake
Cake day: June 12th, 2023

help-circle
  • For anyone who is confused: This is exploiting an old soundness bug in the Rust compiler that is still present. The GitHub issue page has this comment from maintainers:

    we already had a crate published on crates.io before which used this bug to transmute in safe code, see #25860 (comment).

    this issue is a priority to fix for the types team and has been so for years now. there is a reason for why it is not yet fixed. fixing it relies on where-bounds on binders which are blocked on the next-generation trait solver. we are actively working on this and cannot fix the unsoundness before it’s done.






  • Was looking for a furry one, and pawb.social seemed to be well-run (since it was related to a couple of decently-sized Mastodon servers) and was generic enough (and not NSFW focused). There also seemed to be a decent number of technical people there as well (in fact, one of the Mastodon instances is furry.engineer), so it matched up with my other interests as well. I considered lemmyrs.org, but ended up not choosing it.