| |
| ▲ | ralfd 4 hours ago | parent | next [-] | | That link is from 2022 presumably about the twitter purchase. People like the guy in the link thought Twitter would go offline hard after firing almost all of the company, instead Elon was right and there was so much fat to cut. | |
| ▲ | hparadiz 6 hours ago | parent | prev [-] | | Posts like this is why HN is made fun of now in circles where real engineering happens. In reality you would not be able to follow what he's talking about because it would be well over your head. | | |
| ▲ | elar_verole 5 hours ago | parent | next [-] | | Just watching him play POE should show you he's not the genius you think he is | | |
| ▲ | hparadiz 5 hours ago | parent [-] | | Just proving my point here. Trying to win an argument because vidya. |
| |
| ▲ | doc_ick 3 hours ago | parent | prev | next [-] | | At one point didn’t he say there was no sql in Twitter? I can follow that all the way to the dumpster that statement is. | |
| ▲ | jcranmer 5 hours ago | parent | prev [-] | | In reality, you would not be able to follow what he's talking about because he's making stuff up and hoping your inability to understand him comes across as genius rather than bullshit. | | |
| ▲ | hparadiz 5 hours ago | parent | next [-] | | That's nice. Where's your rocket company? | | |
| ▲ | jcranmer 5 hours ago | parent | next [-] | | Sorry, I'm too busy trying to check an algorithm to convert floating-point numbers to strings for correctness to deal with people playing the "I'm a rocket scientist, therefore everything is easy to me" card. And yet somehow Elon isn't that (see his most recent SpaceX, where he quite literally uses that to justify his competence to build orbital data centers). | | |
| ▲ | hparadiz 5 hours ago | parent | next [-] | | Classic HN software eng. "I know everything about everything because I can cast a float to a string" | | |
| ▲ | jcranmer 5 hours ago | parent [-] | | Thank you for putting words into my mouth that I didn't say. Especially when they're quite literally the opposite of my message. Although, given that I pointed out that Elon literally did the exact same thing, why do you trust him when he does it? Or is it simply that you're unaware that he does stuff like that? | | |
| ▲ | WalterBright 4 hours ago | parent [-] | | > why do you trust him when he does it? His companies have made many monumental engineering achievements at his direction. | | |
| ▲ | jcranmer 3 hours ago | parent [-] | | His companies making those achievements is not the same as he personally making those achievements. He does have some talent in being a CEO of a company and inspiring employees and investors. But also don't oversell that: only Tesla and SpaceX have been successes, and he's had to have them bail out is other failed companies: SolarCity, Twitter, and xAI. The Boring Company also doesn't seem to be particularly successful either, and he never got around to building a company to build Hyperloop in the first place. | | |
| ▲ | WalterBright 3 hours ago | parent [-] | | The Boring Company is profitable. > His companies making those achievements is not the same as he personally making those achievements. Those achievements wouldn't have happened without him. > He does have some talent in being a CEO of a company and inspiring employees and investors. SpaceX employees are top shelf engineers and scientists. Being able to do that makes Musk a great CEO. Can you name any other CEO who has been able to do anything like what Musk's companies do? |
|
|
|
| |
| ▲ | WalterBright 4 hours ago | parent | prev [-] | | I implemented float-to-string for my compiler's printf back sometime before 1985. It's a medium difficult problem. Once you understand engineering, transferring that skill to another engineering discipline is not that hard. For example, the equations for Newtonian mechanics, electronics, beam design, rotating inertia, etc., are interchangeable. > his competence to build orbital data centers Since nobody has yet built an orbital data center, nobody is competent at it yet. | | |
| ▲ | nrr 3 hours ago | parent [-] | | > I implemented float-to-string for my compiler's printf back sometime before 1985. It's a medium difficult problem. It might have been medium difficult back in 1985, but the state of the art has progressed in the intervening 40 years. The constraint of correctness makes things trickier because it further imposes three requirements: completeness, uniqueness, and determinism. Unless the implementer has the skill to prove these properties about the algorithm they've implemented, such an implementation is likely not to achieve those requirements. | | |
| ▲ | WalterBright 2 hours ago | parent [-] | | There was no test suite for it available that I could use for correctness checks, so I did what I could. I also implemented IEEE 754 floating point in asm. For that I did have an exhaustive test suite, and passed it 100%. | | |
| ▲ | nrr 26 minutes ago | parent [-] | | We didn't have this definition of correctness until 1990 (due to Steele and White), and it wasn't until the past decade or so that we got a published algorithm (most recently, I think, Dragonbox, due to Jeon when he was still working on his PhD at UCSD), with mathematical proof[0], that satisfied all of the requirements of being complete, being unique, and being deterministic. (Though, Steele-White expresses these slightly differently, as preserving information, having the shortest possible output, and rounding correctly. Completeness, uniqueness, and determinism seem to be equivalent and are easier to prove.) -- 0: Available at <https://fmt.dev/papers/Dragonbox.pdf>. It's pretty easy to understand either with a numerical analysis background or after having worked through volume 2 of Knuth's TAoCP. |
|
|
|
| |
| ▲ | BenzeneDream 5 hours ago | parent | prev [-] | | What an odd comment. You think because he is the CEO of a rocket company that naturally he is beyond making stuff up and talking BS? Have you ever watched an interview of his? And why are CEOs as smart as engineers now. This isn't Twitter. You don't have to suck up to him. He won't ever see this. |
| |
| ▲ | WalterBright 4 hours ago | parent | prev [-] | | I bet that Russian rocket engineer who spit on Musk is regretting it now. |
|
|
|
