“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.

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.

Press X (formerly Twitter) to Doubt

Remember when people were calling this dummy the "real life Tony Stark"? Lol.

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.

Clearly this man has never read a book on type theory or compiler construction.

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 "retard weighing in: ", just as a reminder that he's also allowed a point of view, despite his mental issues.

Shut the fuck up, Lonny. You’re out of your element.

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.

Elon what the fuck are you talking about

Quick, somebody teach this man JavaScript.

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

Oh look, a dipshit who never wrote a line of code.

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.

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 .

On October 26, an engineer and mother of two — let’s call her Alicia — sat in a glass conference room in San Francisco trying to explain the details of Twitter’s tech stack to Elon Musk. He was supposed to officially buy the company in two days, and Alicia and a small group of trusted colleagues were tasked with outlining how its core infrastructure worked. But Musk, who was sitting two seats away from Alicia with his elbows propped on the table, looked sleepy. When he did talk, it was to ask questions about cost. How much does Twitter spend on data centers? Why was everything so expensive? Alicia was already tired of Musk’s antics ... So here they were, trying to show Musk what he was about to buy, and all he wanted to talk about was money. Fine, she thought. If Musk wants to know about money, I’ll tell him. She launched into a technical explanation of the ­company’s data-center efficiency, curious to see if he would follow along. Instead, he interrupted. “I was writing C programs in the ’90s,” he said dismissively. “I understand how ­computers work.”

He totally knows what he's talking about.

You're not that hard either, Elon.

Cries in Haskell

Can someone please just send Husky Musky on a hunting trip with Dick Cheney? 🙏

DAT ASS

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.