This is a about Groq, not Grok (Musk's chatbot).

mea culpa!

Comments on the claims made by Penn State's PR department in "Student refines 100-year-old math problem, expanding wind energy possibilities"

> https://news.ycombinator.com/item?id=43162544

Depends if you make overly conservative assumptions in your modeling...

If you have simulations with varying levels of optimism, but all of them were too conservative, then you screwed up.

Meh, depends what's the goal. Exceeding predicted performance is not a screw up, it's just providing a minimum guaranteed performance aka playing it safe (under promise, over deliver).

Also, we don't know by how much the most optimistic predicions were exceeded.

Makes for nice marketing ;)

Using greek symbols as public-facing function arguments, etc. is definitely not recommended, and not that common (at least in my experience).

It's best used for internal calculations where the symbols better match the actual math, and makes it easier to compare with the original reference.

Never thought I'd see the name LimeWire again, wow

Haha interesting pivot!

Looking at interview footage of Stockton Rush, it seems he really wanted to be a disruptor and accomplish something which everyone else (i.e., experts) deemed impossible. He thought he could do what SpaceX did for space, but for underwater exploration.

> He thought he could do what SpaceX did for space

Even SpaceX, with unlimited resources, tried carbon fibre, couldn't get it to work, and switched to stainless steel. Different application but still. It's not a budget material.

Problem is anyone can make a boat and kill themselves in it. Hard to hide a Falcon 9 rocket and get astronauts to go on it. It's highly regulated. You can put anyone on a dingy in the ocean and die.

Rush could be placed in Wikipedia under hubris.

His hubris killed people. He ignored experts. He ignored warnings. This outcome was predictable.

The problem is that SpaceX was told the same and it succeeded despite the ods. History is harsh to people who fail.

SpaceX did not send manned missions for a while.

If the hull failed without people it would be no big deal. However, Rush was running out of money so he felt rushed and got reckless.

That's every startup founder to an extent.

What differentiates a good founder from a bad one is being right.

This is a weird way to think of it, making it seem as thought its just a matter of chance whether the founder is right or not. The difference, if there is one, is that some founders can pivot when they see their approach won't work or, at least, throw in the towel before people die or too much many is wasted.

Maybe that makes them bad startup founders? I don't know. In my opinion "Startup Founder" is a role which should play second to "ethical human being."

Nah, it is about finding ways to fail an experiment without failing the whole business, bonus points for not killing anyone in the process.

The Netflix documentary has some extra interviews with employees, clients, etc. which are interesting. (1hr 51min runtime though)

"nmi" is also common

No, it's the standard procedure for F35 parts supplied to allied countries. Which is why it's a bit of an issue in the current political context.

But a U.S. Government Accountability Office report in 2023 revealed the rules governing the F-35 parts. The report noted that the parts are the property of the U.S. government until they are installed on another nation’s aircraft.