Thanks for the reminder to play around more with
https://github.com/dbanay/Smalltalk/ I had started a Portfile for MacPorts and never got around to submitting a Pull Request (
https://trac.macports.org/ticket/67457 for the curious I guess).
I don't know if you have had a chance to check out DynamicLand (
https://dynamicland.org/)? Alan Kay had a hand in its creation too I guess? I was blessed to visit their earlier Oakland location and it was refreshing to be in an environment which felt as if it was moving the needle forward again! I've been in this field since the 1970s, so increasingly am dismayed by how awful so much of it is.
As for the rest of what you wrote?
I am not sure I have a strong distinction between what you (and sometimes others) draw the line between open and free software?
I get the impression you're trying to harp on the Free Software Foundation's concepts specifically?
It wouldn't be the first time I have encountered some with a too strong impression of language usage "thanks" to the FSF (to the point where I remember having to utilize DejaNews to show ioerror examples of the terms "open source" and "free software" in use in common parlance with time stamps older than the existence of FSF attempting to codify such terminology to their own whims, much to the detriment of mutual intelligibility for everyone else).
Like, yeah, I do get the "free as in freedom, not as in beer" but even going back (quite a ways now) to things such as Symbolics systems, which were open down to the microcode (so pretty free for user freedoms), but definitely not free as in beer (more like tens of thousands of dollars for a workstation, even a used copy of OpenGenera CD-ROM sold for something like $5000 the last time I saw one on eBay which was well over a decade ago).
Meanwhile: "because two competing vendors are less likely to lock you in and price gouge." I guess that's one potential perk; but in practice I find that having two or more interoperable standards is integral to peer reviewed science.
Free/Open source software are not necessarily a panacea in such regards.
For example, I find it depressing that seL4 apparently can only be built from source on Linux? So, it's not even a self-hosting OS? ;(
Personally, I wouldn't be wasting time on the FediVerse if I were locked into using Mastodon. Gratefully, snac exists as an alternative (and it is not a fork of Mastodon and there are other ActivityPub implementations which are also of different provenance from a code base perspective too, and that is, to me a net win for the whole of the FediVerse, in ways that BlueSky/ATProto for example have failed to demonstrate meaningfully in any manner, whereas decades old IRC? SMTP? DNS? HTTP? Still slap in such realms.)
Meanwhile, for-profit commercial vendors trying to out-whatever BS themselves with the "latest and greatest" e.g. WiFi 7/802.11be are maybe "interoperable" (surely the IEEE counts for something, barely), but have precisely: 0 libre/free open source driver support in any BSD operating system last I checked? Which is maybe "great" for those selling chipsets for low margins hardware, but awful for anyone who actually cares about source code and interoperability in a meaningful peer reviewed way.
I look at that landscape, and I think it has a lot to do with vested interests "gaming" the system to their own advantages. Heck, remember when Intel had 802.16 WiMax chipsets which had built-in mesh routing capabilities? But somehow the FCC restricted WiMax to more or less military and commercial frequencies (e.g. Sprint I think was maybe the only telephony provider which offered such things in the USA) and to me at least: that was a sign that there were bigger vested interests bribing (or as they would phrase it: "lobbying") the limited FCC members to sway technology to regressive, centralized, for-profit entrenched hegemonic powers; just like RCA bribed the FCC to outlaw FM Radio which drove Edwin Armstrong to bankruptcy and suicide, only to begin selling FM radios and settle with his widow, once Armstrong's patents expired.
Even Intel, when they were still at the top of their game in terms of market dominance, worth however many billions, couldn't make WiMax happen. Not in the USA at least. If you look into ongoing mesh routing developments (and their RFCs and their Linuxism heavy implementations)? It's still a grim space. Why? IMHO, because the vested interests like the status quo and having strangleholds on routing infrastructure.
To me at least, I agree with you that computers could be so much better than they are, because I have used better computers than the mainstream, for decades.
But the obstacles have little or nothing to do with the "Free" Software or COTS proprietary model in practice, and a lot more to do with vested interests and bullies exerting their dominance in the market. The COTS proprietary models, whether Micro$oft or Apple, or IBM/RHEL, still use TCP/IP, DNS, HTTP and will presumably continue to culture vulture whatever other future protocols may bubble up, if they can exact a profit from it. If anything, they tend not to innovate. Apple is almost invariably behind the curve technologically (removing headphone jacks from many of their devices in recent years, is technologically regressive IMHO). Micro$oft I think when I last did an evaluation, was at minimum six years behind research and generally lags behind much more. Even chatting with colleagues who used to work at Google in their own words, claimed that Google didn't innovate, but found ways to take existing technologies and make them freely available to users in exchange for advertising, not really radical, or good, but very profitable, for them, and a net detriment to users and privacy.
Empowering users is a worthwhile goal.
Far too few have a shred of ethics.
And at the end of the day, many users are hoodwinked by those who offer them something they think they want, regardless of all the sacrifices that come along with it.
I agree that better is possible, but those who really take it seriously usually have extremely difficult uphill battles with which they are contending and in my experience? Vanishingly few meaningful allies.