this post was submitted on 07 Jan 2024
895 points (94.4% liked)

Programmer Humor

18255 readers
23 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
top 50 comments
sorted by: hot top controversial new old
[–] [email protected] 417 points 5 months ago (7 children)

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.

[–] Stern 555 points 5 months ago (19 children)
[–] [email protected] 210 points 5 months ago (6 children)

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.

[–] [email protected] 88 points 5 months ago (4 children)

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.

[–] [email protected] 79 points 5 months ago (3 children)

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.

[–] [email protected] 36 points 5 months ago (4 children)

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.

load more comments (4 replies)
load more comments (2 replies)
load more comments (3 replies)
load more comments (5 replies)
load more comments (18 replies)
load more comments (6 replies)
[–] [email protected] 325 points 5 months ago (16 children)

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.

[–] Blue_Morpho 95 points 5 months ago (9 children)

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.

load more comments (9 replies)
[–] [email protected] 58 points 5 months ago* (last edited 5 months ago) (13 children)

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

[–] [email protected] 91 points 5 months ago (1 children)

Most of my code is untyped. First I type it, then I realize it's all wrong and use backspace to untype it.

load more comments (1 replies)
load more comments (12 replies)
load more comments (14 replies)
[–] Alivrah 248 points 5 months ago (1 children)

Press X (formerly Twitter) to Doubt

[–] [email protected] 223 points 5 months ago (14 children)

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

[–] [email protected] 90 points 5 months ago (5 children)

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.

[–] [email protected] 98 points 5 months ago (2 children)

he really was doing cool things.

He was buying cool things

load more comments (2 replies)
load more comments (4 replies)
[–] [email protected] 64 points 5 months ago

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.

load more comments (12 replies)
[–] [email protected] 168 points 5 months ago (1 children)

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.

load more comments (1 replies)
[–] [email protected] 154 points 5 months ago (1 children)

It's kinda amazing how someone can work so hard to sabotage their own public image.

[–] [email protected] 33 points 5 months ago (6 children)

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.

load more comments (6 replies)
[–] QaspR 135 points 5 months ago* (last edited 5 months ago) (2 children)

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

[–] [email protected] 144 points 5 months ago (4 children)

Clearly this man has never read a book

[–] [email protected] 92 points 5 months ago (2 children)

Clearly this man has never read

[–] Dr_Fetus_Jackson 41 points 5 months ago (7 children)

Clearly this man has never

load more comments (7 replies)
load more comments (1 replies)
load more comments (3 replies)
load more comments (1 replies)
[–] aseriesoftubes 98 points 5 months ago (1 children)

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

load more comments (1 replies)
[–] [email protected] 82 points 5 months ago* (last edited 5 months ago) (2 children)

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.

load more comments (2 replies)
[–] [email protected] 82 points 5 months ago

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

[–] Thcdenton 76 points 5 months ago (2 children)

Elon what the fuck are you talking about

load more comments (2 replies)
[–] [email protected] 71 points 5 months ago
[–] [email protected] 61 points 5 months ago (3 children)

Quick, somebody teach this man JavaScript.

[–] hemmes 35 points 5 months ago* (last edited 5 months ago) (1 children)

Actually on second thought, let's just give him a marble notebook and crayons and tell him that's JavaScript.

load more comments (1 replies)
load more comments (2 replies)
[–] [email protected] 60 points 5 months ago

That's a load bearing "done right".

[–] [email protected] 48 points 5 months ago* (last edited 5 months ago)

1 == "1"

It's not that hard

[–] [email protected] 47 points 5 months ago* (last edited 5 months ago) (2 children)

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

load more comments (2 replies)
[–] riodoro1 45 points 5 months ago (3 children)

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

load more comments (3 replies)
[–] [email protected] 44 points 5 months ago (6 children)

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.

[–] [email protected] 30 points 5 months ago

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.

load more comments (5 replies)
[–] Solemarc 39 points 5 months ago

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.

[–] [email protected] 38 points 5 months ago

Jesse, what the hell are you talking about?

[–] [email protected] 37 points 5 months ago

Musk being an assumer (note how he's vomiting certainty on future events) doesn't surprise me a tiny bit.

load more comments
view more: next ›