“It’s not that hard”
“It’s not that hard”
“It’s not that hard”
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.
Maybe I'm out of the loop - what's he been saying about software?
The French had a pretty good way of shutting up insufferable rich asshats.
Does it rhyme with “vaseline”?
Well, not spreading his posts or not reacting to things he says is probably the best way.
If reacting to something always makes it more likely to occur, you have just made reacting to things Elon Musk says more likely to occur.
Well, looking at ChatGPT and other LLMs, they also lie confidently. Maybe there is a correlation and Elon is just a poor AI.
He doesn't notice he's the Duning-Kruger effect personified.
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.
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.
And as stated both have their merits and their faults.
Yes! Just because a compiler could guess the type doesn't mean it should. Elon didn't understand the meme at all.
why would you not want it to? what circumstance, other than an integer not given an explicit type, could it guess wrong?
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'.
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
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.
VBA you can declare everything as variant.
Is that untyped?
Most statically typed languages can't because they don't implement Hindley-Milner type inference.
assembly
Even in untyped can't you explicitly set your type either with declarations or wrapping the value in quotes for a string or something?
Depends on the language. There is no explicit typing in JavaScript, for example. That's why Typescript was invented.
Not always.
Untyped as in written? Or is this programming term I'm not familiar with?
Programming term. Variables in programming languages can hold different types of data, such as whole numbers, floating point numbers or strings of characters ("text"). Untyped languages figure out on the fly what can and cannot be done to the content of a variable, while typed languages strictly keep track of the type of content (not the value) to catch bugs and improve performance, for example.
By typed they mean declairing a type for your variables.
In some languages, variables needs to be told what kind of data they can hold. That's it's type. For instance a number without decimals would be an integer type. While text might be a string type or a list of character types.
Other languages don't require types and sometimes don't even support them. They will just infer the type from the data that's in the variable.
If you see Elon Musk please explain this to him.
Might be able to call assembly untyped. Everything beyond that I think would be called either statically or dynamically typed, maybe weakly typed?
It's actually hieroglyphics.
Press X (formerly Twitter) to Doubt
Fuck me, that's good. I noticed the X after my first laugh attack and had a second one. Fuck you dude, my ribs hurt.
Remember when people were calling this dummy the "real life Tony Stark"? Lol.
I was one of those. In my defense, 2012-2015(ish) he really was doing cool things. Tesla and Space X were super innovative and brought optimism. Then a time traveler stepped on a bug, the whole Thailand pedophile fiasco happened and it went downhill from there. Now we have yokes, dumb turn signals and the whole cybertruck, not to mention removing ultrasound sensors to save a few cents and the whole Twitter debacle. At least space X is still somehow unfucked?
In case it helps... I'm sorry.
he really was doing cool things.
He was buying cool things
I think the problem was he started to believe his own hype that he was a super-genius that knew everything about everything.
I mean I don't know the nitty gritty details of building an electric car or building rockets. But neither does Elon Musk. Which would be fine except that he tries to talk about these things like he does understand all of the details. Nobody knows everything about everything, it's only an idiot that tries to act like he does.
But then he tries talking like he's an expert in a field I am familiar with and it's like... there's points people could make on this subject, but that's not one of them.
I accept and believe your apology. Just pop yourself in the nose once, and we're totally square buddy.
its amazing how elon was once so milquetoast and inoffensive that he was a guest on the big bang theory and then he was like you know whats good? nazis.
What you mean? He is!
The netflix adaptation..... Lmao
If it's a Netflix adaptation, then wouldn't it be an overly drawn out true crime documentary?
I think you mean The Asylum version of Tony Stark.
At least around 2015 when SpaceX landed a rocket for the first time, it really does look like he's the real life Tony Stark. People change, sometimes for the worse.
That one line in Star Trek Discovery is more hilarious by the day. I have no fucking idea what the writers were thinking.
Which line?
Well, Tony Stark is a fictional character in a fictional universe, so real science or how the real world works in general don't need to apply to him and he only needs to conjure up some cool sounding tech words for the audience and the plot will do the rest. So Elon Musk is indeed like Tony Stark, only issue is he is also indeed the real life version so has no plot to back him up and all the rules of real life still apply.
It didn't hurt that he was in Iron Man 2. Pepper for some reason is bending over backwards to be deferential to him in the early Monte Carlo scene.
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.
musk the kind of guy that if he said Java is here to stay, I would start learning another language.
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.
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.
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".
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.
You underestimate his incompetence
Clearly this man has never read a book on type theory or compiler construction.
Clearly this man has never read a book
Clearly this man has never read
There's some evidence that he read Atlas Shrugged, which is about a poor executive who "suffers" under increasing government regulation. It's like a bible for CEOs
Who are you quoting?
Yeah, this is a classic example of a problem that looks very simple if you haven't researched it at all, but it's an absolute mess once you start digging into the details.
I constantly feel the need to argue with this dumb fuck and his 99% wrong opinions. I usually have to take a step back, remember it's not worth it, and then move on. It would be a great help if I had a Firefox add-on that precedes all of musk's tweets with "removed weighing in: ", just as a reminder that he's also allowed a point of view, despite his mental issues.
I remember someone once created a firefox addon that made all of Trump's tweets look like they were drawn with crayon. Someone should make a new version of that for Musk.
Pretty sure you‘re only using the r-bomb and „mental issues“ in a joking way but its kind of not funny.
Musk is a spoiled, unempathetic, overhyped idiot who claims to be autistic… perfect example that autistic people can be cretins as well.
But a lot of autistic people are getting called the r-word and its not ok. Mental (health) issues are not a stigma. They are okay and normal. Being an asshole isnt normal or okay though.
By definition you can't be normal if you're neurodivergent...
Yesh kinda weird how ok a lot of the users here are with using the r-word slur.
Irrelevant question ahead->
I have read that Google is dumb and potentially malware carrying extensions sometimes slip through their security and onto the chrome store. Is it true and how does it apply to Firefox
If I was still on Twitter, that would be a great idea.
dont question kings /s
Shut the fuck up, Lonny. You’re out of your element.
I'm the Tony Stark.
Musk's greatest innovative genius is finding new ways to be annoying.
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".
Oh, EDIT, forgot: AI-enabled typing is obviously a completely braindead idea. I don't need a second lazy, impatient, hubristic idiot looking at my code, I need something to catch mistakes. Something deterministic, rule-based, pure unerring logic. Which is exactly what type systems are and do.
This must be one of the best comments I have read so far on lemmy. Thank you. :)
AI-enabled typing is obviously a completely braindead idea.
I agree. However, and I know I'm practically reading tea leaves here, but I read that last line as a suggestion that AI would replace programming outright.
Elon what the fuck are you talking about
Apparently he thought the conversation was about whether or not a compiler can understand a type at compile time. The answer is yes. Yes they can. But I'd love to see Elon struggle through the description of why he thinks it's "easy" and why what he said is relevant.
whether or not a compiler can understand a type at compile time
In many / most(?) compiled languages that's because the type is specified at compile time. With interpreted languages that's often not the case, and in that case determining the type can be extremely hard.
Quick, somebody teach this man JavaScript.
Actually on second thought, let's just give him a marble notebook and crayons and tell him that's JavaScript.
A notebook and crayons? I think you'd just get back stick figure-esque drawings of cybertrucks with notes like "bulletproof" and "anti-gas attack".
Just like the poor Tesla design team.
Wasn’t PayPal coded in PHP? That might explain a lot of things…
JESUS CHRIST MAN! Is the internet still not broken enough for you!?!?
That's a load bearing "done right".
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.
Oh look, a dipshit who never wrote a line of code.
Well, according to the first biography about him, he was coding quite a lot in Zip2 and perhaps also some in early PayPal. Bit the code was supposedly hastily written and very bad.
Not true. He worked on a game once.
It wasn't very good like most of the Sega CD games.
Neat! To save others a search, "Post Production - Ground Control" turned up for my search.
Edit: If I ever worked on a Sega CD game, I would wear that as a badge of pride. It wasn't a good game system, but it was an interesting era in the history of gaming.
I tend to think people shit on Musk more than they should, but holy shit does it bug me when a CEO talks about engineering problems with such bravado.
He talked about electric cars. I don't know anything about cars, so when people said he was a genius I figured he must be a genius.
Then he talked about rockets. I don't know anything about rockets, so when people said he was a genius I figured he must be a genius.
Now he talks about software. I happen to know a lot about software & Elon Musk is saying the stupidest shit I've ever heard anyone say, so when people say he's a genius I figure I should stay the hell away from his cars and rockets.
Rod Hilton about Elon Musk.
The guy is an idiot who LITERALLY got fired for incompetence as CEO.in the past. He is a scammer and should be treated as such, so no, people aren't shitting too much on him. If anything, they aren't shitting enough, there are still way too many oblivious fan boys out there that think he is a genius. He's not.
Anything he says that makes sense engineering wise usually comes from someone on his team, anything else is just outrageously stupid, and clearly from his "genius mind" like this blurb/cert/tweet whatever the hell its supposed to be called.
Don't forget defrauding the federal and state of California governments to get them to pull funding from vitally needed high-speed rail projects because it would hurt Tesla's bottom line. Fucking hyperloop.
The guy was a the senior software dev at his first startup. Not sure if he's written a line of code since then, but he's at least spent some time in the trade
He wrote code that was so bad, all that was kept from x.com when it was bought was its name. The actual code was taken from another company acquired at the same time.
Musk being an assumer (note how he's vomiting certainty on future events) doesn't surprise me a tiny bit.
I didn't know we even had dynamic compiled languages but a quick google search tells me Lisp counts. Wonder if Musk actually knew that or if this screenshot is taken mid dunning-kruger.
Jesse, what the hell are you talking about?
I know literally 0.0000000001% of 1st year CS, and even I know that Musk just googled what "type" means in this context. No shit a compiler can determine the type at compile time. That's not what the post was about, Elon my guy.
This the new live action Joseph and Jotaro?
Not that it will matter in the AI future
that statement makes so little sense I feel like Mount stupid does not give it justice .
Websearch "transhumanism silicon valley", and it starts making sense: Musk has faith that artificial general intelligence is coming, Soon®, and that it'll replace grunt labour like programming.
no it still doesn't because unless that ai will code in assembly (which you could argue is a statically typed programming language with just one type , but lets not be pedantic) , it will still use programming languages , which means it will still matter if a language something is made is statically or dynamically typed .
even with the assumption that AI will be able to efficiency code in assembly , lets entertain the exponential growth version of ai often shown in fiction , it will still not be worth for that super intelligence to write in assembly (except for what we humans would call fun or for small cases where its necessary like os headers etc) because a compiler will do it faster and likely good enough , especially as it will then be able to make a better compiler . it will also likely not want to spend time/focus to scan the assembly code which is another advantage to not writing in pure assembly .
making that statement requires a complete lack of understanding how programming works along with an over"optimistic" view on the future of ai nya
Musk wants to know how much the system costs. The information being provided seems as relevant as the article telling us the engineer was a "mother of two".
The more I look at this quote the stupider it gets, which is a shame because the article is quite informative
You're not that hard either, Elon.
Cries in Haskell
Can someone please just send Husky Musky on a hunting trip with Dick Cheney? 🙏
I mean OCaml... But the issue is more the monkeys bashing out the language wanting to A. set a type for their exported function and B. know what type whatever function they're using is supposed to take so it doesn't randomly break as they gave it some random type that was formerly compatible
What the actual fuck is this guy saying
Who does he think pretending to know programming will get him clout
Literally the richest man on our planet
Does not understand that real programmers exist and will fact check him on bullshit
In what world is it a good choice to poison your own credibility for looking smart
Idiotic
Tell me you don't know shit about programming without telling me you don't know shit about programming.
When stupid people wanna sound smart.