• ZkhqrD5o@lemmy.world
    131·
    20 hours ago

    Think about him personally what you will, but professionally, he is the reason why we can have digital personal property today. Also the stuff he did for computing is objectively good.

  • pack@sh.itjust.works
    46·
    2 days ago

    Stallman eats things off his feet, is a terminal creep around women, and a terrible songwriter. But he’s been correct about software licensing, how companies will use and abuse Free software, and enormously consistent about it over the years.

    So yeah, he kinda sucks, but when he talks about licensing and freedom, I listen.

    • GaMEChld@lemmy.world
      3·
      15 hours ago

      Compartmentalization is an important skill. Apparently Einstein was a terrible husband. One can be smart in an area and stupid in many other areas, for life is a complex amalgam of microscopic acts in a macroscopic universe.

  • ImplyingImplications@lemmy.ca
    801·
    2 days ago

    an entire section rewritten into raw logical statements

    Nobody could misunderstand this!

     ~ A  
 A • B  
 A ∨ ~ C 
 C ⊃ (B ∨ A) 
 ~ (~ B ≡ C) 
 (A ∨ ~B) ≡ (C ⊃ A) 
 [A ∨ ~ (C ∨ B)]
    • acargitz@lemmy.ca
      35·
      2 days ago

      Propositional logic is easy.

      Predicate logic just looks hard.

      If you want to truly confuse people, you have to go into temporal logic.

    • LostXOR@fedia.io
      10·
      2 days ago

      You have to define your propositions somehow, probably in English, but honestly this seems like a really good way to precisely specify the terms of a complex contract with a lot of conditions. It does lack a bit in human-readability, but propositional logic isn’t all that hard to learn.