• 32 Posts
  • 21 Comments
Joined 3 years ago
cake
Cake day: July 5th, 2023

help-circle
  • MimicJar@lemmy.worldtoScience Memes@mander.xyzWe're so back
    link
    fedilink
    English
    arrow-up
    15
    ·
    2 months ago

    refused to say that ivermectin is a miracle cure

    What sucks the most is that ivermectin is a miracle cure! It just isn’t helpful again COVID or Hantavirus. The 2015 Nobel Prize in Physiology or Medicine was awarded (in part) for discovering ivermectin.

    It’s what frustrates me the most about discussion with people like this. They’re willing to take a random drug, a drug that is fully backed by the medical community, but they’re not willing to take the drug actually recommended by the medical community.


  • Mint is based on testing irc.

    I thought so too, and it looks like it used to be, but LMDE is currently based on Debian Stable, specifically LMDE 7 is based on Debian 13 “Trixie”, first released Aug 2025.

    FWIW I’ve been running Debian Testing for a few years now and been plenty happy, might get worth trying that.





  • As you’ve mentioned in other threads, bash is a hard requirement for the OS, so if it’s already installed, and the default on most Linux distros, bash is probably the best option.

    The dash shell isn’t designed to be user interactive. It’s a lightweight scripting shell/language.

    The ksh shell is an older standard shell. Years ago I worked for a company that ran corporate Unix systems and on those systems only ksh and tcsh were available. Ksh was the default, and as someone only familiar with bash it was a bit different but mostly the same. So there is at least one point for maybe choosing ksh.

    However my personal shell preference is zsh. When I write scripts I do so using bash. The two shells are 99% similar on a day to day basis, but I prefer zsh for a user interface. So I use one for day to day and the other for scripting.

    Other threads have also mentioned fish, which is also a great choice if you don’t know where to start.

    Are zsh or fish “heavier” or “bloated”, maybe. But remember to consider your attack surface. If your house is on fire it doesn’t matter of you fix the leaky faucet in bathroom or the kitchen.


  • For #4 if the Random instance weren’t “new”, then calling the nextInt() function would definitely have side effects, since the next integer would pull one away from the random stack.

    However unlike the first three which will run within a consistent amount of time, #4 will take an unknown amount of time to run, so you can’t just collapse it and eliminate the loop.

    For example a very simple race game where a participant moves a random number of steps each turn, we may want to time how long that race takes. We can’t just say that they will reach the end immediately. In fact technically we don’t know that they will ever finish the race… But that’s the halting problem and a whole other issue.



















  • Linux has two ways of drawing pictures, the old way (Xorg) and the new way (Wayland).

    The old way is like a giant box of crayons with the crayon sharpener built in. The box is all marked up, the sharpener is full of gunk, and a few crayons are melted together. Nobody really wants to touch the old box of crayons, although it does work for the most part, it’s a familiar box.

    The new way is like a smaller box of crayons. The clean sharpener isn’t built in but it is available nearby, although some people say it doesn’t work as good. A few crayons are missing, but are available in most cases, they’re just not in the box. Most people are working to improve the new box.

    If you’re using Linux, the new box of crayons is generally the better choice. It’s ok to stop using the old box.








  • I agree, but it’s more common than you’d think.

    I used to work at an organization that used Chromebooks, which replaces the caps lock key with a search key (same shape, different behaviour). I was surprised at the number of people who struggled with their passwords because they would hit the “search” key, enter a single letter, and then hit “search” again. It took me a little while to figure it out because… Who does that?







  • So I’m considering switching browsers for the third (Is it the third?) time.

    I don’t think switching browsers is a big deal. Obviously switching every day would be a burden and being forced to switch is annoying, but I don’t think the switch has to be a big all or nothing.

    I do think Firefox or one of it’s derivatives are probably the best choice, but I’d say be flexible. I use Firefox for the majority of my mobile browsing, but Chime sneaks in depending on the task. On my laptop I use Chrome most of the time, but I’ve also got Firefox open for others. Perhaps that’s insane, but it works for me.

    If you like Firefox, keep using Firefox. If you want to try a derivative, test them out. If they suck in 6 months, try something new. Try a bunch of new things.

    At the end of the day the best option is the browser experience you like best.



  • It’s definitely amplified to pretend that any existing story is a “real story” or to just pad a slow news day.

    You can just say “Twitter users are saying” and suddenly something sounds important. No need to clarify that it’s just a few dozen people, and by “people” it’s just Twitter accounts many of which are bots.

    The sooner Twitter implodes the better off we all are. Sure I’d like folks to move to Mastodon, but really I don’t care where they go. Bluesky or Threads is fine. Some new hotness/flavor of the week is fine. But Twitter is a lost cause. It’s speeding towards failure since Musk took over but he just accelerated its eventual fate.