• ZkhqrD5o@lemmy.world
    4·
    2 months 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.

  • ImplyingImplications@lemmy.ca
    3·
    2 months 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
      3·
      2 months ago

      Propositional logic is easy.

      Predicate logic just looks hard.

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

  • pack@sh.itjust.works
    3·
    2 months 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
      1·
      2 months 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.