Programmer Humor

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.

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.

Musk's greatest innovative genius is finding new ways to be annoying.

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

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

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

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.