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.
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.
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.
California HSR has been a zombie project for a while. Even before Musk was a factor, there were annual plans but nothing ever got done, year after year. It’s probably going to take intercity projects to become popular and economical for something as ambitious as long-range passenger rail to actually receive serious attention.
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.
Point in case: Ben Eater recently uploaded a video where his “BIOS” consists of two I/O functions and compiles into less than 250 bytes. Double that if you count his port of WOZMON. We can argue later if that constitutes an operating system - I mean, it’s not POSIX compliant but it does operate.
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.
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 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.
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.
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.
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.
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.
They’re probably doubly laughing because he fired them for supposed incompetence, yet Elon tanking the price is evidence that they were doing a much better job. You could very well see a suit for wrongful termination in the future.
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.
programmer_humor
Hot
This magazine is from a federated server and may be incomplete. Browse more on the original instance.