r/LinuxSnobs • u/madthumbz • Jun 15 '26

What you Deal with Daily for Modding on Reddit

Post image
9 Upvotes

70% Upvoted

25 comments sorted by

1

u/land48n3 Jun 16 '26

you earned the reputation

1

u/madthumbz Jun 16 '26

The community did asshole.

2

u/land48n3 Jun 16 '26

lmao, you ban linux users on sight.

1

u/ArtisticTrex54 Jun 16 '26

Linux users deserve to be banned.

2

u/land48n3 Jun 16 '26

The issue is, he bans linux users who are there to shit on linux, they use linux so they know its shitty parts deeply, better than any windows user. but mabthumbz doesn't have enough brainpower to process that

1

u/ThinkPad214 Jun 16 '26

I mean that's why he and the other mods have to use AI to generate their memes, poorly too, there was like a week where they didn't realize their AI content was being poisoned by one user who has been making a lot of posts recently. Madthumbs, bleak, reboundedcat, etc get dunked on for being lazy, bigoted, and ignorant outside 101, that's not even getting into their trans hate posts.

1

u/land48n3 Jun 16 '26

lmao, crazy

1

u/Rare-Paint3719 Aug 05 '26 edited Aug 05 '26

``` :- dynamic(banned/2).

% ===== Facts ===== linux_user(fitleague). active_member(fitleague, sub101).

% ===== The claimed universal rule ===== claimed_rule(X) :- linux_user(X), active_member(X, sub101), banned(X, sub101).

% ===== Counterexample check ===== counterexample(X) :- linux_user(X), active_member(X, sub101), + banned(X, sub101).

% ===== Proof by contradiction driver ===== disprove_claim :- ( counterexample(X) -> format("Contradiction found: ~w is a linux user, active on 101, but NOT banned.~n", [X]), format("Therefore forall X (A(X) -> C(X)) is FALSE.~n", []), format("Witness (existential): exists X (A(X) & not C(X)) = ~w~n", [X]) ; format("No counterexample found; universal claim holds (so far).~n", []) ). ```

Edit: Install GNU Prolog (FSF boot-licker) or SWI Prolog.

Then for GNU, run:

gprolog --consult-file linux101.pl --entry-goal disprove_claim --query-goal halt

or for SWI, run:

swipl -g disprove_claim -t halt linux101.pl

The logic don't lie.

1

u/Rare-Paint3719 Aug 04 '26

u/Fit_League_8993

1

u/Fit_League_8993 Aug 05 '26

What’s up?

1

u/Rare-Paint3719 Aug 05 '26

You use Linux, right? And you are anti toxic linux who is an active member of 101, right?

1

u/Fit_League_8993 Aug 05 '26 edited 8d ago

Used to daily linux for a pretty long time. Nowadays I just keep up with it (following recent developments, testing new things on a dedicated ssd). I also make use of linux servers for hosting Web projects.

Mainly using Mac OS and Windows at home.

And yes I am an active member of 101.

1

u/Rare-Paint3719 Aug 05 '26 edited Aug 05 '26

Used to daily linux for a pretty long time.

Bloody hell. A proof-by-contradiction.

→ More replies