223 karma · joined October 21, 2018
What's TDS?
Also if it was just a demo for space mining, why is it marketed as a car for consumers and why can I buy a $250K reservation to maybe (!) buy one for an unknown price and with an unknown set of features at an unknown point of time in the future?
I think it's very simply just a scam to extract money from Elon's fans.
Do you often have violent power fantasies? Do you find yourself daydreaming about them regularly?
This kind of suggests that the people ever sat together and decided on a political system that would benefit them. The reality is that even the most egalitarian and liberal system has been put into place by the ruling class and naturally was designed to benefit them. I'd say this is and was true for at least all major western societies. "By the people, for the people" is propaganda to legitimize said political systems after the fact. And we believe it, because it's the ruling ideology.
I think all LLM output used "as is" for content/entertainment/art is slop.
I'm in a slow-moving, much bigger company. Lot's of talk about "AI" here and we can use copilot if we want to, but there is 0 pressure. I'm in a small team and one colleague uses copilot often. In the beginning there was a minor conflict between him and me, because I found the quality of the LLM code unacceptable and had to ask him to review it more carefully. I think that's settled now, but it makes me sad how a once motivated colleague now seems to try to cheat his way out of work.
I personally find it incredibly boring to write copilot prompts or read its answers full of boiler plate and sycophancy. I don't understand how anyone would want to replace the cognitive work of programming, that I find enjoyable for the most part, with the cognitive work of "talking" to an LLM.
Anyway, I think it will be like this at least for a little while longer: only vibe coding allowed in small companies and less vibe coding the bigger the company is.
But before vibe coding can take over the slow-moving big companies, all the accumulated technical debt will come back to haunt us and vibe-free software will be the new fad. That's what I hope at least.
You are correct that this requires support for disjoint unions (aka tagged unions), which Haskell always had and C# will soon have.
What matters is what libraries you are gonna use for your solution. If most of them are C#-only and don't have an F# equivalent then you'll lose the ergonomics and conveniences that make F# so easy to work with.