Shamar @Shamar@qoto.org
Joined May 2019
Regel fa tecnicamente schifo.
Anche come registro elettronico, sebbene potrebbe funzionare per la didattica a distanza ASINCRONA, se usato da persone sufficientemente competenti da aggirarne i limiti.
Detto questo, gli insegnanti sono obbligati a caricare ed accettare i compiti tramite il registro elettronico perché alcuni studenti (o i genitori) rifiutano legittimamente di usare #Google Classroom.
This also means that #Google can reimplement any innovation born in #FreeSoftware that they cannot buy.
Ultimately, it's the definitive legitimization of #EmbraceExtendExtinguish.
I'm not much sure it's a good news.
Shamar
boosted
Cambridge Analytica didn't *abuse* Facebook, they *used* Facebook - used the services that FB had set up and marketed to political dirty tricksters to disseminate disinformation. That was the system working as intended.
FB used the we-fight-arson wheeze to come out of the Cambridge Analytica scandal stronger and more powerful than ever: they shut down the APIs that potential future Facebook competitors used to help people escape its walled garden, claiming it was an act of firefighting.
7/
I don't know Americans enough to argue on that, but having just 2% of people who does not feel the need to join a mob or another, look quite incredible to me.
I'd argue that it's not the issue at work with #RMS, even just because there are signers both letters from all over the world.
Indeed to be honest, I see the real suffering of marginalized Americans is being weaponized (through these cancel mobs, but not only) against other peoples outside the US, to impose solutions to problems we do not have.
I don't think this is reconducible to a polarization that do not recognize nuances, though.
To me, it looks like a mix of identity politics (people trying to create a followship for themselves) and fear of complexity (inability or refusal to understand or even just recognise the huge complexity of our world).
I think that what @Vectorfield described here on post-modern truth might have a role: https://qoto.org/@Vectorfield/106004674022466292
Yet, I think that #Informatics might be useful to navigate outside these phylosophical swamps through probabilistic models, explicit and well defined contexts and dialogue between different perspecitves: http://www.tesio.it/2019/06/03/what-is-informatics.html
The problem is epistemic through.
Let's try to assume the perspective of an anti-realist #SJW that does not care about what #Stallman said or did just to move the global debate on his theme.
Let's even forget Stallman.
How can I teach him the informatics that run his own computer if he refuse logic as a tool of oppression?
This way, he refuse to understand what could reveal him his actual oppressors and free him.
I will never understand how one can justify means with goals.
It can't work because means are to goals what seeds are to plants, what causes are to effects.
Yet... people happily join a cancel mob... to prove they are "inclusive".
It must be a post-modernism thing, a refusal of logic as a tool of the white-male... I don't know.
But I'd really like a computer running without such logic.
Shamar
boosted
@freemo There is a deeper reason why the woke tend to believe absurdity and lie about people:The postmodern philosophy underlying their ideology is anti-realist
<br>
For most of us, the concept of “truth” doesn’t seem terribly complicated until we try to define it. Truth is… what’s true—this is actually the first definition for “truth,” paraphrasing a bit, in some dictionaries. Truth is that which is in accordance with reality is another. Philosophers understand that “truth” is a more complicated topic, and people in different schools of thought have different understandings of what truth is. Some, for example, hold that truths must be in some way transcendent of all human contingencies—that which absolutely holds for all people in all times (sometimes in all possible universes). Scientists tend to use a more pragmatic understanding (sometimes called “provisional truths”) that could be rendered as statements about reality upon which we can bet and reliably win. Most people, including nearly all scientists and many philosophers, generally agree that for something to be a “truth” means its having something to do with accurately describing reality.
<br>
The postmodern school of thought, which profoundly informs the Theory of Critical Social Justice, however, does not see truth this way. In fact, it is openly hostile and radically skeptical of these understandings of truth, which might generally be described as being “realist” in orientation because they see some correspondence between truth and reality. Postmodernism is generally anti-realist in orientation, meaning that it does not necessarily see a connection between “truths” and reality. Truths might happen to describe reality, say as the Earth and the Sun describing a dynamic system in which both travel along eliptical orbits around their common center of mass (which is inside the Sun), or not, say as the Sun going around the Earth. Under postmodern thought, both of these understandings are “true” in the cultures that consider them true. That is, postmodern thought sees truth as entirely a matter of human (social) contingencies. This is what the American postmodern philosopher Richard Rorty meant when he wrote, “We need to make a distinction between the claim that the world is out there and the claim that the truth is out there.”
<br>
Truths, in postmodern Theory, are socially validated statements about reality, which means that they are, ultimately, products of not just the cultures that produce them but of power within those cultures. The French postmodern philosopher Michel Foucault described this as power-knowledge, insisting that knowledge claims (truths) are ultimately only expressions of power. This sound strange, but the logic is accessible. What is considered true is decided by people by some social process of validation, the thinking goes, so “truth” is a social and political status conferred to certain ideas, which is then reinforced by their acceptance as true. Simultaneously, “truths” confer (political) power, as “knowledge is power” implies, because if it is accepted that a proposition is true, then people who accept it as such will behave accordingly. Thus, Foucault Theorized that “truths” are socially constructed by the systems of power (and the powerful within them) in society and then used to dominate, particularly in the attempt to maintain their power and exclusive status (see also, hegemony, episteme, and biopower).
<br>
Most of this anti-realist, political understanding of truth (and knowledge) has been imported more or less intact into Critical Social Justice.
<br>
In Critical Social Justice, “truth” is still considered culturally contingent, but because of the strong influence of identity politics at the core of the Critical Social Justice project (which could be said to use critical and postmodern Theories to do identity politics – see also intersectionality and positionality), the relevant cultures are ones rooted in various identities Theorized to be “minoritized.” Thus, “knowledge” and “truth” as we generally conceive of them are considered shorthand for “cis, straight, white, Western, male knowledge” or “cis, straight, white, Western, male truth” (see also, white science, white mathematics, and white empiricism, and also feminist empiricism), which are just one way of knowing. In fact, they’re a particularly bad one because these dominant groups not at all aware of their self-serving biases or limitations of their own knowing system (see also, internalized dominance and meritocracy).
<br>
Thus, on the other hand, Critical Social Justice generally believes in cultural knowledges (e.g., racial knowledge) that have been marginalized by “dominant discourses,” which are deemed to be straight, white, male, able-bodied, thin, Western, Eurocentric, etc. These are believed to arise because different identity-based cultures have different ways of knowing (epistemologies) thus recognize different knowledges, and dominant ways of knowing (e.g., science, reason, logic, dialectic – see also, master’s tools) are believed to have utilized their greater power to unjustly exclude them from the range of “acceptable” ways of knowing and knowledges (see also, epistemic injustice, epistemic oppression, and epistemic violence).
https://newdiscourses.com/tftw-truth/
Maybe your protocol is mixing different orthogonal concerns at the same level?
Maybe your commands belong to the payload?
I signed the letter on first day I learnt about it.
You might like to read about #RMS removal from the #GCC Steering Committee.
https://gcc.gnu.org/pipermail/gcc/2021-March/235246.html
https://gcc.gnu.org/pipermail/gcc/2021-April/235285.html
https://gcc.gnu.org/pipermail/gcc/2021-April/235303.html
Yes, #RMS removal was a very interesting move that uncovered a more fundamental issue in #GCC governance.
https://gcc.gnu.org/pipermail/gcc/2021-April/235285.html
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:
https://linuxrocks.online/@gamliel/105995475008977928
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 #Dijkstra. 😉
Sarebbe interessante verificare se siano presenti account di utenti che si sono cancellati da #Facebook.
I'm not so deep into electronics and virtual machines, but what I have in mind right now is something like a #scheme based on #fexprs (like Kernel style languages) but with a #python-like #homoiconic 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 #knowledge, 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.
I'm not sure.
My trust has been betrayed so many times in these years by (those I thought were) #FreeSoftware projects... I do not know who to trust now.
#Harvey, #Mozilla, #GCC...
#Google corrupts everything it touch... and now its employees also created the #Plan9 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.
#RMS is American too, but I focused on their culture (and this their nationalities) because they accepted the request of a #Facebook employee to remove #Stallman 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 #GCC.
And apparently they can't argue with that: https://gcc.gnu.org/pipermail/gcc/2021-April/235314.html
The real issue is: how we can go forward?
Relying on GCC is a severe risk for anybody outside the #US. #LLVM and #Clang are just as bad.
So we need to build alternatives from scratch.
#Facebook: cancel #Stallman because of his disgusting opinions
#GCC Steering Committee: Ok!
Me: now that I look at the remaining members of GCC Steering Committee, all I see are #US corporations with long ties with the #USA DoD. Please, fix it.
#Google: don't worry, we shall do no evil!
#GCC developer: go away, you concern troll! We are inclusive!
Me: 🥺
Beware if you live outside the #USA.
Do not rely on software built with #GCC.
https://gcc.gnu.org/pipermail/gcc/2021-April/235285.html
https://gcc.gnu.org/pipermail/gcc/2021-April/235303.html
We need to rebuild literally everything from scratch.
Joined May 2019
