No, because AOC claimed that it was impossible to earn a billion dollars. Not that there are ways to make money other than earning it, which of course there are, but that there are no ways to make that much money by earning it, which is BS.
To be fair, I don't think anyone is claiming that the process is anywhere close to formal. The word "vibe" implies anything except formality.
What Perlis probably meant that formal methods are useless unless you already have a formal specification. The formalization process itself is by necessity informal.
You're not wrong. If you smell pure cumin (without any other spices or herbs), particularly if you grind and mix it with yogurt to make a salty lassi, you get a whiff of body odor. My kids called it "the BO drink".
It's a weird thing, but the smell becomes quite different in combination with other smells. It's an ingredient in many expensive perfumes, believe it or not! [1]
Dipa Chaudhuri and Puneet Gupta, who undertook the epic translation project, tell us about the many challenges they faced, and the fun they had along the way.
This one looks completely different from the short as well. There are now 3 known versions of this same line and all are different. Is it possible he gave the same speech to multiple audiences on that day?
One more fact that might be interesting about natural diamonds: not all of them are extracted by digging mines;
the oldest way of extracting diamonds is by sifting through alluvial deposits.
This method originated centuries ago in India. In fact, until the 18th century, this was the only known method. The most famous origin of alluvial diamonds is the Godavari-Krishna river delta in the old Golconda Sultanate. This particular site was exhausted about 200 years ago, making Golconda diamonds especially precious now.
Ha, ha! I thought the same thing: LLM slop. But soon I remembered having seen this Linotype ad before. It's a genuine image. Almost 140 years ago, some human writer came up with short, punchy copy.
Look what these AI companies have done to us. We see the shadow of slop everywhere.
> making money in ways that at least a substantial number of people don't think are "earning" money, such as monetizing users' data.
Is this not a contradiction? Or are you splitting hairs between a "true startup" and an enshittified bigCo?
reply