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
The 1990s were simply the point when most people in the world finally got access to a personal computer with a GUI. So that's where we see most of the ideas frozen. \4
It's no surprise that the improvements @jonathoda cites, that are still taking place are improvements in textual representation : \5
The main innovation in Rails is textual (you rethink the Ruby code that describes an ActiveRecord class as a schema definition for the whole system) \6
DevOps tools take configurations that were done through filling in web-forms or obscure config files and puts them back under control of scripts in a real programming language. \7
React is a new higher level set of linguistic constructs to describe a reactive UI ... etc. \8
In other words, progress in CS is still possible, but has slowed down in all the places where people have stopped programming in languages where new ideas can be created through grammatical composition and abstraction \9
And where we try to get by with a fixed repertoire of gestures to manipulate data directly. \10
If you want to fight stagnation, you have to fight the cult of direct manipulation, and fight the expectation that computers should be so easy that users don't need to think or learn new concepts to be able to do things with them. \end
@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
Twitter wants to know what's happening? What's happening is #anonymousbrasil just dropped a fuck-tonne of dox about Bolsonaro and his family and inner-circle's financial records, including properties they own, dozens of telephone numbers they have etc. \1
If this stuff is real :
a) their security sucked big time. Seems like Anonymous only decided to attack them a couple of days ago
b) there is so much information for the police who are (or should be) investigating Bolsonaro to get their teeth into \2
BUT ... Bolsonaro and his fan-base are going to be apoplectic.
Fuck knows what they are going to try to do to shut this down, get back at the people behind this. But it could get very ugly indeed.
We already have fascist militias marching in support of Bolsonaro. \3