149
submitted 2 weeks ago by lena@gregtech.eu to c/linuxmemes@lemmy.world
top 13 comments
sorted by: hot top controversial new old
[-] ImplyingImplications@lemmy.ca 48 points 2 weeks 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)] 
[-] theacharnian@lemmy.ca 18 points 2 weeks 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 7 points 2 weeks 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.

[-] fnrir@lemmy.blahaj.zone 4 points 1 week ago

Instructions unclear. Dick stuck in graphics card.

[-] QuazarOmega@lemy.lol 36 points 2 weeks ago

CEO of Freedom

Lmaoo, sign me up

[-] pack@sh.itjust.works 26 points 2 weeks 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 2 points 1 week 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.

[-] ZkhqrD5o@lemmy.world 11 points 1 week 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.

[-] Fedizen@lemmy.world 4 points 2 weeks ago

I like the code detonating part

[-] kayzeekayzee@lemmy.blahaj.zone 4 points 2 weeks ago

The CEO of freedom looks like Steve from Minecraft

[-] Natanox@discuss.tchncs.de 0 points 2 weeks ago

CEO of Freedom

Stallman v. POTUS copyright infringement lawsuit when?

You forgot "defines a code of conduct and social responsibility so I don't have to resign from the FSF again."

this post was submitted on 27 Apr 2025
149 points (91.6% liked)

linuxmemes

24876 readers
770 users here now

Hint: :q!


Sister communities:


Community rules (click to expand)

1. Follow the site-wide rules

2. Be civil
  • Understand the difference between a joke and an insult.
  • Do not harrass or attack users for any reason. This includes using blanket terms, like "every user of thing".
  • Don't get baited into back-and-forth insults. We are not animals.
  • Leave remarks of "peasantry" to the PCMR community. If you dislike an OS/service/application, attack the thing you dislike, not the individuals who use it. Some people may not have a choice.
  • Bigotry will not be tolerated.
  • 3. Post Linux-related content
  • Including Unix and BSD.
  • Non-Linux content is acceptable as long as it makes a reference to Linux. For example, the poorly made mockery of sudo in Windows.
  • No porn, no politics, no trolling or ragebaiting.
  • 4. No recent reposts
  • Everybody uses Arch btw, can't quit Vim, <loves/tolerates/hates> systemd, and wants to interject for a moment. You can stop now.
  • 5. 🇬🇧 Language/язык/Sprache
  • This is primarily an English-speaking community. 🇬🇧🇦🇺🇺🇸
  • Comments written in other languages are allowed.
  • The substance of a post should be comprehensible for people who only speak English.
  • Titles and post bodies written in other languages will be allowed, but only as long as the above rule is observed.
  • 6. (NEW!) Regarding public figuresWe all have our opinions, and certain public figures can be divisive. Keep in mind that this is a community for memes and light-hearted fun, not for airing grievances or leveling accusations.
  • Keep discussions polite and free of disparagement.
  • We are never in possession of all of the facts. Defamatory comments will not be tolerated.
  • Discussions that get too heated will be locked and offending comments removed.
  •  

    Please report posts and comments that break these rules!


    Important: never execute code or follow advice that you don't understand or can't verify, especially here. The word of the day is credibility. This is a meme community -- even the most helpful comments might just be shitposts that can damage your system. Be aware, be smart, don't remove France.

    founded 2 years ago
    MODERATORS