472 karma · joined February 3, 2019
This is an enormous extrapolation from what the LLMs are currently capable of. There has been enormous progress, but the horizon seems pretty clear here: these models are incapable of abstract reasoning, they are incapable of producing anything novel, and they are often confidently wrong. These problems are not incidental, they are inherent. It cannot really abstractly because its "brain" is just connections between language, which human thought is not reducible to. It can't reason produce anything really novel because it requires whatever question you ask to resemble something already in its training set in some way, and it will be confidently wrong because it doesn't understand what it is saying, it relies on trusting that the language in its training set is factual, plus manual human verification.
Given these limits, I really fail to see how this is going to replace intellectual labor in any meaningful sense.
=> https://en.wikipedia.org/wiki/Motor_vehicle_fatality_rate_in...
http://www.call-with-current-continuation.org/articles/forth...
https://git.sr.ht/~vdupras/duskos/tree/master/fs/doc/design/...
https://www.youtube.com/watch?v=9TJuOwy4aGA
Let me quote the first essay at length:
> Writing "good" Forth code is very hard, or at least what I consider good Forth code, which may be different from what others consider good. Forth has been called a "write only language", but only because it requires an additional effort to simplify your code to a point where everything becomes obvious. This is an art, it is a moment of transcendence, which I don't claim to have ever reached, but sometimes I get a glimpse of it, an inkling of the fact that if I would work very hard on this, it will become so simple, so heavily factored, using such obvious and clear names that everything just falls into place. It is this moment that programmers experience every once in a while, where a short, simple piece of code just does what it is supposed to do, without any extra baggage, easily understandable. To achieve it in Forth is much harder, it may require more time, many rewrites, but the results are even more satisfying, as the result is smaller, much simpler, fully self-contained and not burdened by code that you can not trust. When you forget about that urge of productivity, which has become the moloch we sacrifice our children to, you may be able to achieve that particular thing that is called quality, elegance, art. It may take a lifetime, you may never reach that far, but still you should strive for it.
> Or you remain a cog in the machine, developing on absurdly convoluted "software stacks", using inadequate and brittle languages, connect barely matching interfaces to only small parts of too many bloated libraries, using insanely sophisticated tools of incomprehensble complexity and trot on, asking yourself why everything sucks and why the last time you actually enjoyed programming and were you could be genuinely and deservedly proud on what you accomplished, was when you were a kid...
It seems to me that a lot of ideas in mainstream computing are pointing towards dead ends, and the practice of software engineering is either stagnating or in decay. Maybe it's time for a more radical reconsideration of how we build software, and time to give Forth (or something like it) a more serious look.
Sure, if you look at the last 150 years, but the data you linked is basically flat since 1980: over the last 30 years in the United States, working hours are down 2%.
https://lists.sr.ht/~sircmpwn/sr.ht-discuss/%3CC32T7UNXIK7O....
https://abc7news.com/bart-news-building-a-better-bay-area-ov...
https://www1.nyc.gov/site/hpd/services-and-information/area-...
"Governments" built most of the technology that the web relies upon today.
Drew has built some great gemini software, but he didn't make Gemini, it is a community project led by Solderpunk.
Microformats?
I would hardly describe taking a salary that puts you in the top 5% of earners instead of the top 2% to be financially irresponsible.
time.Sleep(1 * time.Second)I would not describe myself as a left anarchist, but I think that this is an extremely uncharitable analysis of a much more diverse and serious group of people that don't really have anything to do with the things you listed.
> Gemini is a protocol for techies who want to bikeshed about tech!
I don't agree with this on the matter of fact -- the spec has not meaningfully changed in at least a year, no major companion specs have been added since "gemlog", and the mailing list is currently down. While I may have agreed with you in late 2020, The only thing being produced on Gemini now is "content", and there's more of it than ever!
Many of Gemini's adherents can be described broadly as left-anarchists or left-libertarians. Their assessment of the problem is that the web has been captured by large, centralized corporations. Their alternative is human-scale technology and human-scale communities: a protocol so brain-dead simple that anyone with a bit of technical know-how can write or run a client or server, and anyone can write gemtext. It's a philosophy that users should have a close relationship with and understanding of the tools and platforms they use, which should be built and run for free (one can think of many real-world organizations analogous to this). Could you build these tools and communities on HTTP? Sure (and there is a wide overlap between "small web" communities on HTTP and gemini), but it's a more radical separation to build an entirely separate "place" for them.
> Bottom line is, if you agree that the modern web has become an awful place, let’s work on changing that for everyone, instead of abandoning it like a bunch of billionaires trying to escape to a different place
This is a bizarre analogy, because, unlike the other alternatives that the author presents (e.g. blockchain), there is no money or corporate interest in Gemini. But I do agree that Gemini is, to some degree, escapism, it does not confront the institutional problems of the web. But those problems won't be solved by any protocol -- not Gemini, not Dat, IPFS, not some future imagined perfect protocol, and certainly not blockchain. They are solved by politics: challenging the institutions that control the web and its infrastructure and the policies that they make. Gemini is, to me, at least a nice reprieve from the web as it is, and a demonstration of what it could be, unsullied by the drive for profit and domination that fuels it today.