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!

  • 1 Post
  • 26 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.











  • My computer was taking too long to start up, which I interpreted as failing to boot, but in hindsight was probably just my hard drive being slow. So, I booted into recovery mode, and ran an update. At one point, apt said “there are unnecessary packages” and would I like to remove them? I figured that apt knew better than I did (after all, maybe a package dropped a dependency), so I said yes.

    It was after I noticed the very large number of packages that I suspected I messed up. Turns out, apt uninstalled the entire desktop environment, and network manager, so I had to boot into a USB drive with Network Manager installed, chroot into my main drive, and reinstall plasma. As a bonus, I think I missed the main group for the plasma desktop and only installed only most of it, so some of my extensions just didn’t work anymore.



  • Not all ad blockers remove elements from web pages, and if they acted that predictably you could detect the ad blocker by detecting whether an expected element is hidden.

    I have not looked through an ad blocker’s code, but I don’t believe it is that simple.


  • KiranWells@pawb.socialtome_irl@lemmy.mlme🚫irl
    link
    fedilink
    arrow-up
    55
    ·
    1 year ago

    This already exists - @soatok@furry.engineer’s blog already has a popup about not having an adblocker, although it is easy to dismiss. It’s probably a bad idea to block content based on not having one, as detecting ad blockers is a losing battle (as YouTube is learning).