ltr_
๐ Joined in 2014
๐ผ 167 Karma
โ๏ธ 68 posts
Load more
(Replying to PARENT post)
(Replying to PARENT post)
(Replying to PARENT post)
(Replying to PARENT post)
(Replying to PARENT post)
(Replying to PARENT post)
(Replying to PARENT post)
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
(Replying to PARENT post)
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.
(Replying to PARENT post)
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.
(Replying to PARENT post)
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.