• 1 Post
  • 4 Comments
Joined 3 years ago
cake
Cake day: February 1st, 2023

help-circle

  • Fedora desktop (any DE, and most desktop distros, for that matter) uses networkmanager to configure networks, because it is powerful and offers an API for DEs to configure networks, so as long as you have the drivers, networking will work the same. However, If I recall correctly, Gnome and KDE use the same frontend library for networkmanager, just with different GUIs, so they really are going to be the same, and they have for many years. Cosmic being new and rust based might have rolled its own frontend or used a different library, and it might not be as mature as what the other DEs use.

    Try configuring your WiFi manually, editing networkmanager’s config files directly, instead of the gui. And see if that work. I would even suggest straight up copying the config files produced by gnome or KDE.


  • This looks more complex than it needs to be. We can just merge those two IFF soundnesses at the top and remove transitive implications and we are left with a straight line with a couple bifurcations to cul de sacs.

    Also… I only know constructive logics and abstract interpretation with Galois connections… Where do they fit in this? 🥺


  • edinbruh@feddit.ittoScience Memes@mander.xyzName this Paper
    link
    fedilink
    English
    arrow-up
    2
    ·
    29 days ago

    Is this to measure calories? We did something similar in elementary school, our teacher would light a piece of snack on hanging above an aluminium dish, and we would count for how long it burned. Then we looked at the packaging and the snacks with more calories burned the longest.