Show newer

@timj

I signed the letter on first day I learnt about it.

Shamar boosted

@BrodieOnLinux @yisraeldov There is a problem, some persons and organizations, I used to respect up to now, signed the letter against #Stallman. Amongst them are #Mozilla and the #Tor Project, also some important persons of #Debian.

See my previous saying:
linuxrocks.online/@gamliel/105

#RMS #supportRMS

@ekaitz_zarraga

Another thing I'd like to experiment in language design is a typesystem based on Cantor's set theory.

Basically, a type is a logic predicate that is granted to always stay true during the data lifetime.

Such approach meld the difference between structural type system, nominative type system and (value-)dependent type system.

If you have two types, Integer and Even, you can pass an Integer to a function than takes an Even only if you have checked if such integer is even.

And, obviously, you can always use an Even value when you need an Integer.

Imagine a `head` function that only apply to NonEmptyList, that is a List whose length is greater than 0, and so on.

Why Cantor set theory?

Because people learn it at primary school and well... I'm naive... just like . 😉

@informapirata

Sarebbe interessante verificare se siano presenti account di utenti che si sono cancellati da .

@ekaitz_zarraga

I'm not so deep into electronics and virtual machines, but what I have in mind right now is something like a based on (like Kernel style languages) but with a -like syntax (early python, no syntactic sugar whatsover).

Homiconicity is important because people need to learn that data is code and code is data.

Oberon has a great simplicity, it could be a good alternative to an Kernel-style but his syntax is not readable on first sight nor homoiconic.

But to be readable on first sight it has to build on top of few orthogonal existing human language conventions.

For example, instead of "include" or "import" or "using" and so on, you would include external definitions through something like "KNOWING", meaning that to understand what a piece of code will do, you have to know what the imported files do.

Just like with human , when we build on top of what was already written by those before us.

And to contextualize, you would always use /, not ".", ":", "->".

And maybe we should have a multilanguage programming language as we do in Europe, not just mindless adopting English.

It's time to go forward.

@ekaitz_zarraga

I'm not sure.

My trust has been betrayed so many times in these years by (those I thought were) projects... I do not know who to trust now.

, , ...
corrupts everything it touch... and now its employees also created the foundation.

There MUST be a way out, but I cannot see it right now.

GCC taught me a new valuable lesson, though.

A new operating system is not enough. A new protocol is not enough either.

We need a new programming language that can be read and understood by literally everybody on first sight.

@ekaitz_zarraga

is American too, but I focused on their culture (and this their nationalities) because they accepted the request of a employee to remove because of "his disgusting opinions".

So they made a cultural issue.

But I was pretty clear about the fact the real problem is the influence of their employers over .

And apparently they can't argue with that: gcc.gnu.org/pipermail/gcc/2021

The real issue is: how we can go forward?

Relying on GCC is a severe risk for anybody outside the . and are just as bad.

So we need to build alternatives from scratch.

: cancel because of his disgusting opinions

Steering Committee: Ok!

Me: now that I look at the remaining members of GCC Steering Committee, all I see are corporations with long ties with the DoD. Please, fix it.

: don't worry, we shall do no evil!

developer: go away, you concern troll! We are inclusive!

Me: 🥺

gcc.gnu.org/pipermail/gcc/2021

Beware if you live outside the .

Do not rely on software built with .

gcc.gnu.org/pipermail/gcc/2021

gcc.gnu.org/pipermail/gcc/2021

We need to rebuild literally everything from scratch.

has been removed from the Steering Committee.

But now a more serious reason to NOT contribute to GCC (or rely on it) emerges.

gcc.gnu.org/pipermail/gcc/2021

The fix is just as easy, through.
gcc.gnu.org/pipermail/gcc/2021

Will they address this issue as fast as they joined the mob against and ?

Shamar boosted

In support of Richard M. Stallman 

I have signed an open letter in support of Richard M. Stallman. While I would have preferred different phrasing, I agree with the message and wish to voice my support in face of the ongoing cyberbullying campaign.

For those who don’t know, Richard Stallman, founder of the free software movement and foundation, has resigned from his position of the latter’s president in 2019, following a rather ugly medial campaign against him. Now, in 2021, he has announced his return to the foundation’s board of directors, which has prompted massive outrage of people calling for his removal, as best seen in this open letter against him.

While I don’t find anyone’s removal necessary, I believe that some valid concerns are being raised, in regard to both Stallman and the foundation’s handling of the issue, and I hope to see them addressed. However, the letter against him does not give these concerns the clear voice they deserve; instead, it gives voice to specious accusations based on lies and deliberate misinterpretations.

For example, it accuses him of ableism for stating that people with Down’s syndrome should not be treated as pets, and accuses him of transphobia for writing guidelines where he encourages contributors to ‘treat other participants with respect’, ‘call them by the names they use, and honor their preferences about their gender identity’, using his favourite neopronoun as an example. (There’s no other mention of these guidelines as something good he’s done.)

This is not factual criticism; this is just misleading libel, and using it to call others out for ‘impropriety’, or even ‘hurtful and dangerous ideology’, is simple hypocrisy. Reading the list of signatures has made me lose a lot of respect for many individuals and organisations I used to look up to (in particular Mozilla and Tor Project).

Some individuals told me they have signed the letter in spite of the libel, since they had more legitimate reasons of their own. While it’s comforting to learn of those motivations, I don’t think they’ve made the right decision. When you sign a letter, you’re not just expressing support for its stated, intended effect; you’re expressing support for the whole message, which lends it more weight to achieve the intended effect, as well as any other effects the letter may have.

Please don’t lend your support to libel and misinformation: nothing good can come from those, they don’t deserve your name underneath them, and surely your name deserves better, too. The end can not justify the means when the means are supposed to justify the end. It is for this reason I wish to oppose the ongoing campaign and support Richard Stallman.

#lang_en #FreeSoftware #FSF #RMS :gnu:

Shamar boosted

@bpepple

Hi Brian, nice to meet you.

Before you mute me, I just want to point you a few facts:

1) the authors of the open letter against and the had to rectify the appendix several times to reduce legal risks for the signers ( is a crime in many countries), see rms-open-letter.github.io/appe

2) the same authors deleted thousands of issues opened in their repos, _most_ of which were constructive criticism in either the form or the contents github.com/rms-support-letter/

3) on the merit of what happened 2 years ago: jorgemorais.gitlab.io/justice-

4) if you want to know who inspired so many organization to sign the attackers letter, just follow the money and look if most of them share the same sponsors

For example, since 2013, the receive more than 10% of its whole incomes (but less than 20%, they are proud to note) from a single sponsor. Check for yourself.

I'm sorry you are now going to mute or block me, but you'll be welcome had you to change your mind later.

@polezaivsani@chaos.social

@bpepple

Hi Brian, nice to meet you.

Before you mute me, I just want to point you a few facts:

1) the authors of the open letter against and the had to rectify the appendix several times to reduce legal risks for the signers ( is a crime in many countries), see rms-open-letter.github.io/appe

2) the same authors deleted thousands of issues opened in their repos, _most_ of which were constructive criticism in either the form or the contents github.com/rms-support-letter/

3) on the merit of what happened 2 years ago: jorgemorais.gitlab.io/justice-

4) if you want to know who inspired so many organization to sign the attackers letter, just follow the money and look if most of them share the same sponsors

For example, since 2013, the receive more than 10% of its whole incomes (but less than 20%, they are proud to note) from a single sponsor. Check for yourself.

I'm sorry you are now going to mute or block me, but you'll be welcome had you to change your mind later.

@polezaivsani@chaos.social

Shamar boosted

A chart showing the signature count as a graph comparing the open support letter vs the anti-stallman letter... yay the letter in support of stallman is not just winning, but it seems to be growing in support where the other letter has lost steam and stopped growing.

The link below includes the script used to generate the chart

linuxreviews.org/Open-RMS-Lett

Shamar boosted

If you are not familiar with the background of the witch-hunt on Richard Stallman, read this carefully, check the articles that lead the campaign to cancel him in 2019: Low grade "journalists" and internet mob attack #RMS with lies. In-depth review. sterling-archermedes.github.io

Show thread
Shamar boosted

Richard a.k.a. is the founder of the Free Software Foundation (), author of the original versions of **gcc** and **Emacs**, and perhaps best known for his creation of the GNU Public Licence a.k.a. .

Thanks to the pioneering work of Richard Stallman, Android has a freely available kernel that can boot it, and companies like Samsung are forced to release their augmented kernel source code to us every month, so that we can build — using Stallman's compiler — a working custom recovery like TWRP.

Richard Stallman is currently under coordinated attack by the cancel culture mob. They have him firmly in their sights and have set their hearts on trying to get him removed from the board of the organisation he founded in 1985, and which has been his life's work.

The reason for the attack is that Stallman is alleged to hold views that are "problematic" in the eyes of his detractors.

My own stance is that to even engage in debate of Stallman's views would be to lend credence to the notion that they are somehow germane to the work that Stallman does in support of free software. I contend that they are not, which is not to imply that the accusations leveled at Stallman would otherwise require intellectual or moral contortion to refute. They would not. Stallman's views, even if they were relevant, have been grossly misrepresented.

The attempted silencing of free speech is always painful to behold, but this ill-conceived attack on Stallman is particularly stomach-turning, given how much of his life he has devoted to the freedom of others, including those who accuse him now.

His contributions to free software and his consistent, uncompromising commitment to his beliefs regarding software freedom have made millionaires of others, including many among his accusers now, while Stallman himself continues to lead a life of subsistence.

would not exist if it hadn't been for Stallman.

Without Stallman, we would not have the assurance that important software like will continue to exist long after the project's creator has moved on.

Without Stallman, would not now exist.

Were it not for Richard Stallman, most of the cheap electronic appliances and gadgets in your home would simply not exist.

Without Richard Stallman's groundbreaking work, the world would be a different and much worse place.

Now you can do something in return. Richard Stallman needs your support.

Please consider signing the petition below:

github.com/rms-support-letter/

If you need more background before signing, please take the time to do your own research and reach your own conclusions.

Shamar boosted

“La chiusura delle scuole è un danno per tutti, ma il danno non è uguale per tutti” ift.tt/3cnZcRW

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.