First in some cases it is more than $1000/dev/month.
Those companies spending 1000+/developer are doing it with the same hope that at some point those $1000/month will replace the developer salary per month. Or because by doing so more investors will put more money into them.
Take away the promise of AI replacing developers and see how much a company is willing to pay for LLMs. It is not zero as there are very good cases for coding assisted by LLM or agentic engineering.
Is is the need for static types or the need for better testing that is not focused on coverage of line of code?
Because if the domain logic is getting more complex then more types will not catch the bugs unless you are willing for codify business rules within types so then you have to test the types.
ha! I used to work there until 2020. They have almost no meetings because they have all those employee monitoring tools: mouse/keyboard activity tracking, browser URLs tracking, screenshots every X minutes, etc.
While personally this excites me: the idea that I can build a custom software that fits that specific problem is quite amazing.
But on company level I see it as a risk: suddently you might have 50 new small apps created by people who might not even work at the company who are not constantly tested for security/privacy ... but more important who once done are not pushing the frontier of how a much better solution might be in that area cause nobody is putting time into them. So as time passes by this has the risk to become legacy software used to run your business. yes of course you can point an AI to all of them and prompt it to make them better but that means focus on that instead of your core business.
Maybe we will see solutions appearing to manage this kind of tech debt.
Not the OP but I think in case of scanning and tagging/summarization you can run a local LLM and it will work with a good enough accuracy for this case.
I did not crunch any numbers but I do think self-reliance with a high standard of living that means wanting and having access to everything from produce to luxury goods at a reasonable price for the majority of people cannot be achieved so easily.
You of course say self reliance on essential resources and I still think for most countries that could be very expensive very fast. People are complaining about the high costs specifically of the essential products when their prices are raising. Without a serious rethinking of our society we cannot probably fix that. And nobody is willing now to vote and agree to suffer for a generation to fix this system.
IMHO when toddlers say mama they really understand that to a much much bigger degree than any LLM. They might not be able to articulate it but the deep understanding is there.
So I think younger kids have purpose and associate meaning to a lot of things and they do try to get to a specific path toward an outcome.
Of course (depending on the age) their "reasoning" is in a different system than hours where the survival instincts are much more powerful than any custom defined outcome so most of the time that is the driving force of the meaning.
Why I talk about meaning? Because, of course, the kids cannot talk about the why, as that is very abstract. But meaning is a big part of the Why and it continues to be so in adult life it is just that the relation is reversed: we start talking about the why to get to a meaning.
I also think that kids starts to have more complex thoughts than the language very early. If you got through the "Why?" phase you might have noticed that when they ask "Why?" they could mean very different questions. But they don't know the words to describe it. Sometimes "Why?" means "Where?" sometimes means "How?" sometimes means "How long?" .... That series of questioning is, for me, a kind of proof that a lot of things are happening in kids brain much more than they can verbalise.
> Requires learning sig block's unique DSL syntax.
This is an interesting proposal. But for posterity I am going to critique the critique on the website about Sorbet:
Sorbet is Ruby and while it has a DSL that is no different than any other gem providing methods or objects to use. For example you can define a type and assign it to a Ruby constant. Because Sorbet is Ruby.
In general I would say any type system has its own syntax when you go deep into it and need more than this param has this simple primitive type and the method returns this simple primitive type. So you have to learn a DSL and the syntax of a type system.
Because the number of state where a program can be is so huge (when you consider everything that can influence how a program runs and the context where and when it runs) it is for the current computation power practically infinite but yes it is theoretically finite and can even be calculated.
Those companies spending 1000+/developer are doing it with the same hope that at some point those $1000/month will replace the developer salary per month. Or because by doing so more investors will put more money into them.
Take away the promise of AI replacing developers and see how much a company is willing to pay for LLMs. It is not zero as there are very good cases for coding assisted by LLM or agentic engineering.