Elon Musk loves to speak confidently about shit he knows nothing about. This leads to him being a confident speaker on every topic… I just wish we could figure out a way to shut him up.
Obligatory
The rockets are fine. SpaceX has a team specifically designed to distract Musk and keep him away from the actual work on the rockets. Tesla didn’t have that though. That’s how we ended up with that lame presentation with the weird “S3XY” acromin. That was really the point I realized that he was just an idiot frat boy with too much money. He really is his own worst enemy.
the thing about spacex is everything they do is because of nasa and government.
the only thing spacex has going for it is the fact that they can spend a billion dollars exploding a rocket five times before it slightly works the sixth whereas the government can’t do that.
As someone who does know about this field, and absolute despise Musk, that’s not quite true. SpaceX is very successful thanks to help from the US government, and despite the influence of Musk, but also because they are a team of very competent people who have actually innovated and pushed the boundaries of launch vehicles. To say they have nothing going for them and are being propped up by the government is not at all accurate, and they have been much more succesful than traditional government contractors.
To say they have nothing going for them and are being propped up by the government is not at all accurate
That isn’t what they’re saying though, is it? They’re saying that SpaceX has the ability to fail more than NASA, because they’re not a government organization funded solely by taxes.
Admittedly I think the biggest failures that hurt NASA were incidents when people, not rockets, blew up. It’ll be interesting to see if things change if/when there is a death from a SpaceX rocket.
People die in work related incidents all the time. The only thing different about deaths from NASA incidents is that they are (usually) spectacular incidents (like massive explosions or cabin fires…not good things, just stunning) and high-profile.
SpaceX does well because they basically ignore Elon.
What’s your source on the spacex team distracting him? I can’t find anything supporting that. I do find some interviews from anonymous employees saying it’s calmer now that he’s so focused on twitter.
Maybe I’m out of the loop - what’s he been saying about software?
One example that stuck with me is that he said some shit along the lines of 80% of Twitter’s microservices being superfluous and he’ll be shutting them off.
Yes, the dev teams just spent 4/5 of their time building shit no one asked for. It just annoys me so much, because anyone with basic reasoning should be able to work out that this cannot possibly be the case, but it’s easy to give it the benefit of the doubt.
Well, except that many, many Twitter outages followed.
I’ve heard horror stories on the programming subreddits of incompetent managers that require their employees to write X new lines of code per week. Those code bases probably could have huge chunks taken off.
Clearly that hasn’t happened here
Well, except that many, many Twitter outages followed.
Yeah. As a software dev, it was pretty awkward explaining this to colleagues who rely on Twitter/X.
“It sounds like you think Twitter is a software company and that Elon is utterly unqualified to run a software company. That can’t possibly be true, right?”
…Then we end up doing the “Concerned Padme” meme…
He asked employees to print out their code so he could review it.
He also seems to have the idea that the best developer is the one who produces the most code. That shows a pretty major lack of understanding of how software development works. Sometimes the best day is when you produce negative amounts of code.
When he took over twitter there was a bunch of stuff he was spouting about things like Twitter’s stack needing a full rewrite and such. Going so far as to fire the engineer that challenged him on it during a live spaces thing if I recall correctly.
This post’s image man
It’s not that hard™
Oh. This post’s image has him talking types in January and the “obligatory” image above has someone saying he’s been talking software in December, so I thought maybe Musk has been spewing about software for a few weeks or something.
December from '22 not '23. The image was from a few months after he took over twitter and was still going on about that stuff and how it was doing all these useless things that needed to be removed or rewritten. I just remembered another one about how he was going on about a single request to twitter causing thousands of RPCs or something? I think that’s not really unheard of in a microservices infrastructure and it’s not like they’d be synchronous. There’s probably tons of calls that go to things like tracking, analytics, or cross DC sharing I would imagine for such a large and high volume service like twitter.
Twitter is a software, he’s been saying stupid stuff about how it works for the last year+
He doesn’t notice he’s the Duning-Kruger effect personified.
Well, looking at ChatGPT and other LLMs, they also lie confidently. Maybe there is a correlation and Elon is just a poor AI.
Oh, thanks for pointing that out.
I was formulating an angry rebuttal in my head, then saw your comment and realised I hadn’t noticed the username. Of course it’s Musk. That’s rebuttal enough.
Clearly this man has never read a book on type theory or compiler construction.
For the curious, this is about as easy as it gets for proper type inference. You could leave out the one or other thing (most prominently, polymorphism), but that kind of stuff would hardly qualify as even a toy example.
I won’t claim that J. Random Hacker will have issues understanding it – it’s a neatly tied bundle of necessary complexity without any distracting parts (like efficiency), if you sit down with the thing (ideally starting the whole series from the beginning) you’ll be able to grok it (and have learned a lot). However, understanding HM isn’t the same as being able to extend it, which includes proving soundness of the system, that kind of stuff is a specialised field within a specialised field within academia with more open questions than answered ones. The reason Rust doesn’t have HKTs? Because their interaction with lifetimes is insufficiently understood. Those kinds of questions can easily start 20+ years of research only to be answered with “yep that’s inherently unsound/uncomputable/whatever”.
This must be one of the best comments I have read so far on lemmy. Thank you. :)
Quick, somebody teach this man JavaScript.
Yes the compiler/interpreter can figure it out on the fly, that’s what we mean by untyped languages. And as stated both have their merits and their faults.
Elon doesn’t know what the words mean and just chimes in with his AI future BS.
Untyped as in written? Or is this programming term I’m not familiar with?
It’s actually hieroglyphics.
Yes the compiler/interpreter can figure it out on the fly, that’s what we mean by untyped languages.
Are there untyped languages? You probably meant ‘dynamically typed languages’.
But even statically typed languages can figure out most types for you from the context - it’s called ‘type inference’.
Well that would depend on the definition and what you exactly mean by untyped.
The untyped part is usually referring to the way the programmer interacts with the language, for example not setting a type for variables and parameters. But then there is the question of is the programmer ever allowed to explicitly set the type. And further more, if the programmer explicitly set the type, does this mean the type can’t change at a later point? And another question could be, can the programmer check or enforce what type a variable or parameter is? And the question, if there is only one type of data in the language, would that be a typed or untyped language? But I would consider these to be details and all fall under the untyped umbrella, with untyped just meaning not-typed.
Then there’s the question of the technical implementation of the language. Defining a language is one thing, actually having it run on a real system is another. Usually technical systems at some point require explicit types. Something somewhere needs instructions on how to handle the data and this usually leads to some kind of typing instructions being added along with the data. But depending on how many abstraction layers there are, this can soon become a very pedantic discussion. I feel what matters is the design, definition and intend of a language. The actual technical implementation isn’t what matters in my opinion.
I feel like there are so many programming languages and technical systems at this point, every variation and exception exists. And if you can think of one that doesn’t exist, expect a follow up comment of somebody pointing out it does exist after all, or them having started a project to make it exist in the near future.
Would you say OCaml or any ml family language would be untyped since they have type inference?
From what I know about those I would consider those to be typed languages. Even if the programmer doesn’t explicitly assign the types, he needs to be aware of them and take into account what type something will be. I am familiar with F# and it’s strongly typed for example.
Most of my code is untyped. First I type it, then I realize it’s all wrong and use backspace to untype it.
Assembly probably? So low level you kinda just play with bits. That’s all I can think of for an untyped language. Everything else I’m aware of is dynamically or statically typed
I guess “untyped” could mean “weakly typed”, like how shell and DOS batch are, where everything is a string until you say “hey I want to do math on this” at which point the interpreter turns it into a number, does math on the number, and then turns it back into a string before saving it back to the variable
DAT ASS
1 == “1”
It’s not that hard
starting to see why twitter breaks every day since elon bought it
elon is basically chip morehead from the chipadmin episode of sales guy vs web dude
There’s no “arrange-by-penis”.
He definitely wants a programming language where the array indicies start at 69 and end at 420.
Maybe he’ll ask AI to make it for him.
When stupid people wanna sound smart.
He’s the kinda guy whose only programming experience is learning Python for 3 hours 6 years ago, yet he thinks he’s the programming god.
It’s kinda amazing how someone can work so hard to sabotage their own public image.
Musk wants Twitter to fail. He bid on it for a laugh and when his bid was accepted he tried to get out of it.
They made him buy it and he’s been butthurt ever since. He wants everyone involved to suffer, because then the decision to hold him accountable was a bad decision.
He doesn’t give a fuck about people, or technology, or even the money he sunk on it. So it looks like he’s shaving his eyebrows to spite his face. It doesn’t hurt, so he doesn’t care.
You underestimate his incompetence
What? The people who made him buy it got paid already. I’m sure they’re laughing every time they see it drop in value.
He’s not hurting the people who made him buy it.
If he really wanted to be rid of it he could have instead done nothing. Put someone in charge with the impossible task of “make this profitable in 5 years” and then shut it down after 5 years because “it’s not profitable”.
Showing his ass to the world and ruining future potential for investment by looking like an incompetent idiot is not a “secretly intelligent move”.
Sure he’s not hurting them, but he’ll still keep riding the pony into the ground, because he owns it, he’ll do what he wants. He’s not making intelligent moves, because his choices aren’t reasoned they are just whims.
Right, he’s an idiot.
4D chess isn’t real. Sometimes, rich and powerful people do dumb things. Sometimes they’re not very smart and have a visible personality disorder. Searching for an underlying clever motive is an exercise in your intelligence - not theirs.
I don’t think “they made me buy it so I’m breaking it” is really a 4D move. It’s more like a 4th grade move.
“So” is the mistake. He’s not breaking it on purpose. He’s just a fucking idiot. He is exactly as smug and incompetent as he appears.
“I’m going to do what I want despite all advice and consequences” doesn’t need to be intentional or unintentional to be what it is
… and what it is, is completely different from secretly pursuing a complex goal that only looks like an idiot immune to good ideas.
In light of recent accusations: an idiot off his tits on meth, and immune to good ideas.
This the new live action Joseph and Jotaro?
deleted by creator
Musk’s greatest innovative genius is finding new ways to be annoying.
That’s a load bearing “done right”.
