also if you want to see the real cost (at least part of it) of AI coding or the whole fucked up IT industry, go to any mining town in the global south.

[0] https://www.youtube.com/watch?v=UXyHf_SpUUI

my opinions so far (subject to change as i read more):

dynamic typing = just one type [0]. yes, good to test ideas quick, to develop quick gigs that i don't care about and tiny snippets/scripts, i use js for that.

gradual typing = guaranteed mess evolving large code bases, I guess the gradual typing thing in practice never happen and when it happens your IDE becomes red and your compiler errors explode, i don't recall where i read about that but it made sense to me, i used groovy to take advantage of the optional typing but i was the only dev in that project.

sound type system + parametric polymorphism = the best thing around, although i prefer to have explicit type annotations.

no formal math object behind a language = the language does not exist, just , absurd rules ,idioms and syntactic mess that you have to remember and tied to specific monkey patched implementations to compensate incoherent foundations, sadly unavoidable, as most, if not all popular languages do not exist,.

Yes, I've been reading Harper a lot.

[0] https://existentialtype.wordpress.com/2011/03/19/dynamic-lan...

edit: formatting

Just improvising with the idea and trashing more on big tech: I would say, nothing, if something like that gets to happen, my guess, it will be silent, away from the noise, would not be a sexy tech headline, kind of what is happening with mastodon, there is no big names, personalities or numbers with tons of 0s behind it, just an interoperable protocol, you know, real tech. it does not need marketing or infinite scale, dependent on FOMO or other social phenomenons, its just pure value for its users, also, as Cory Doctorow said somewhere, as instances of mastodon, ideas like that are going to come and go, and that's fine, that's the process of finding the next valuable thing that will stick with us, it should be organic, the next big thing will not come from the silicon valley casino like esque. An "IT person" would be just a job. pretty much as any other craft, what happens its that some of the most noisy parts of our industry are sick, feverish, delusional and full of their own bullshit, and we have in our subconsciousness that everything needs to be flashy, glorious, amazing, disruptive, big, competition proof and fast (in terms of success), not sustainable at all.

its not the first time i hear about feeling healthier after moving to the feediverse. i have my own set of scripts and mini apps running on top puppeteer with a local llamacpp for summaries and recommendations, its not perfect but im planning to put more effort on this and maybe look for OSS projects that are aiming at that (ie. (*arr suites, nostr, activitypub, veilid).) and offer that to friends and family members to see if they like the idea, also i have a name for all those scripts: "not a browser" the web without HTML CSS and JS served along with the data, just provide the data, how you displayed, its the user concern.

i mean if you think about this as public services not as a business, profit is secondary, and first is just to make the thing better and better for the users, no need for spying , no advertisement, no need for a rich piece of shit somewhere getting a piece of the money paid in your city for every taxi drive, food delivery or to give up privacy to a soulless/faceless entity just because you want to say something publicly or keep in touch with people. there is no disruption from their part, its just an old thing put on the internet, they are just in the middle of everyone's life, just sucking everything they can. is the actual state of affairs "efficient"?

there must be fed up engineers and tech people everywhere with the sad state of IT industry.

off topic : on the other side, i think is inevitable that at some point in the future players will have AI assistants looking at their screens , making decisions and inputs just like a real human, (heck! you can sort of do that now with linux/x11 , screen grab and proton very easily), i personally would love to see competitive gaming involving AI agents and assistance.