@6loss I think Stallman's politics is left and libertarian (where libertarian is "extreme liberal"). The intuition most of us had originally is that with enough freedom, the good drives out the bad. As you know, I think we might be discovering that that is "wrong" in some sense ... \1
@6loss But it's still a viable and attractive intuition.
And, yes, the GPL etc. is built on that. So freedom is more important than trying to constrain people to do good.
\2
@6loss Furthermore ... pragmatically, this appeal to pure freedom clearly engages and recruits more people than if Stallman had tried to use GPL to enforce his own wider political views. You have "right-libertarians" (ESR, or Lessig) on-board with GPL. \3
@6loss Finally, I think there is a question whether you could legally codify and enforce restrictions on use. GPL is all about hacking existing copyright law and its definition of "derivative". Because derivation is a well established legal idea, that bit is "easy". \4
@6loss Obviously other things like CC or GPL Affero start putting more restrictions (Eg. non-commercial, or "can't use the software on a server without sharing") which push the envelope a bit. I'm sure others have tried to put restrictions eg. "can't use for military" into licenses \5
@6loss Whether those have ever been tested in court, I'm not sure.
I'm inclined to think that this is right. You try to undermine copyright through the legal GPL, and address other politics / morals through community practice, codes of conduct, culture rather than enforcing \6
@6loss That feels right to me ... but I admit maybe that's my libertarian bias showing through.
What I think certain is that law isn't a viable substitute for politics and community. If people want to be racist, a license in the blogging software can't / won't stop them \7
@6loss OTOH, I do think that platforms like Twitter and FB can and should enforce standards in their users, and chucking people off for dangerous disinformation or hate speech is fine. Just as a pub has the right to chuck out an aggressive drunken customer. \8
@6loss But that's based on a different principle. If you create a communal space, you have rights and responsibilities to keep that space healthy.
In summary, GPL is actively against imposing restrictions on particular uses. And I think that's fine. That's how it should be. \9
@6loss But that's because of the kind of thing the GPL is and software is.
People running platforms / communities can and should worry about the codes of practice, netiquette, policing abusive behaviour and the political fight against fascism.
That's where it should happen \10
@6loss Most importantly, EVERYTHING we face today was predicted in web.archive.org/web/2005061408… and everyone should go back, read, and think seriously about that. You cannot separate tech. from politics. \end
The Great Software Stagnation is real, but we have to understand it to fight it. The CAUSE of the TGSS is not "teh interwebs". The cause is the "direct manipulation" paradigm : the "worst idea in computer science" \1
Progress in CS comes from discovering ever more abstract and expressive languages to tell the computer to do something. But replacing "tell the computer to do something in language" with "do it yourself using these gestures" halts that progress. \2
Stagnation started in the 1970s after the first GUIs were invented. Every genre of software that gives users a "friendly" GUI interface, effectively freezes progress at that level of abstraction / expressivity. Because we can never abandon old direct manipulation metaphors \3
@wokal_distance This is a good thread but you miss the point about the post-modernists. The PoMos were not ADVOCATING we abandon truth. They were diagnosing and WARNING US, that the media and language were like this. That no cultural institution or language could guarantee objective truth \1
@wokal_distance Neither media nor our langauge etc. could play the role of a kind of a court to give us a definitive verdict.
People complain about PoMo as though PoMos inflicted this problem on us. But that's shooting the messenger.\2
@wokal_distance The Enlightenment tradition said give everyone "freedom of speech" and the good will drive out the bad. But PoMo theorists were cultural studies people, linguists, anthropologists. They KNEW culture and communication didn't work like that. And they tried to tell us. \3
@AnneOgborn@rzeta0 After a bit of playing with SWI so far I was impressed with many aspects of it. Running web server and web interface was remarkably simple. More or less the same as doing it in Python / Flask etc.
But there were things in Prolog which seemed inconvenient / counter-intuitive. \1
@AnneOgborn@rzeta0 These are conceptual things, and I guess you could argue that fixing them would mean it isn't Prolog any more. But they managed to stop me going further.
Some examples ... \2
@AnneOgborn@rzeta0 It's a pity that Prolog doesn't have functions for things that we intuitively think of as functions. Ie. numeric calculations or basic string processing etc.
Always having to think and write these in the form of relations feels unwieldy and overcomplicated. \3
@msimoni@coreload I think the tablet COULD be a perfectly good device for content creation if people would just do the damned UI design work to make it good. Right now, we haven't figured it out. This is where graphical input could be very useful. \1
It seems that social apps have figured out ways to get users to put a lot of data into their systems. Problem is that the data is just being used for social media type things. \2
@msimoni@coreload Could we make UIs that "afford" input the way that FB, IG etc. do, which actually feed that information into more useful apps?
@msimoni@coreload You can have graphical ways of representing lambdas. But then you move away from DM and your graphical objects are now symbols.
AFAIK no one has come up with a very elegant or efficient graphical language. Alphabets typically beat ideograms.
\1
@msimoni@coreload And recursion is particularly hard to represent graphically
If you mean supplement a graphical desktop with extra linguistic scripting. Then sure, I'm all for that. But desktop becomes diminishing vestigial part of the whole. \end
@msimoni@coreload As an example, there is no desktop gui we've seen so far, that can express an idea as complex and as useful as
@coreload@msimoni Complicated for Twitter. Here's what I think in summary.
Computing is about using language to tell computers to do things. Language enables grammatical composition and ever increasing levels of abstraction and expressivity \1
@coreload@msimoni The great mistake and delusion in computer history, of which the desktop metaphor is just one major example, is "direct manipulation".
People seem to love it and always fantasize about more of it ... \2
@coreload@msimoni But with DM you switch from finding more and more elegant ways to TELL the computer to do stuff, to just "doing it yourself"
And once there's a DM metaphor for a task, rather than a linguistic instruction, it gets locked-in and evolution grinds to a halt. \3