Lena@gregtech.eu to

linuxmemes@lemmy.worldEnglish · 3 months ago

I wonder what AGPLv4 would look like

2

3

I wonder what AGPLv4 would look like

Lena@gregtech.eu to

linuxmemes@lemmy.worldEnglish · 3 months ago

2

You must log in or # to comment.

Chat

ImplyingImplications@lemmy.ca
link
fedilink
arrow-up
1·
3 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
  link
  fedilink
  arrow-up
  1·
  3 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.

linuxmemes@lemmy.world

linuxmemes@lemmy.world

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !linuxmemes@lemmy.world

Hint: :q!

Sister communities:

Community rules (click to expand)

1. Follow the site-wide rules

Instance-wide TOS: https://legal.lemmy.world/tos/
Lemmy code of conduct: https://join-lemmy.org/docs/code_of_conduct.html

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 figures

We 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.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

330 users / day
3.54K users / week
6.47K users / month
10.5K users / 6 months
1 local subscriber
26.3K subscribers
1.56K Posts
63.2K Comments
Modlog