Divya Ranjan Pattanaik :hilbert:

View original page

@divyaranjan@mathstodon.xyz · Joined ⁨Nov⁩ ⁨2024⁩

Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.

Email
divya@dialetheia.xyz
PGP Fingerprint
F0B3 1A69 8006 8FB8 096A 2F12 B245 10C6 108C 8D4A

Replying to @⁨zzt@mas.to⁩

@zzt This is such a disgrace. And these people 20 years ago played the "Holier than thou" game to say "oh free software isn't practical, we must work with corporates". We should've learnt the lesson when Linus turned down GPLv3, when he joined the Linux Foundation with Microsoft. He said it repeatedly he DOES NOT CARE about ethics. He does not care about FREEDOM actually, he only cares about technically being allowed to do things. He does not care about incentives, never did.

This is the reminder that 20 years ago we should've been harder with free software. We should've protested against Linus not caring about freedom enough, or should've maintained our own fork of linux since then.

The only thing we can do today is have alternatives, like Hurd or Netbsd. Because this thing is becoming ridiculous.