____tom____

Good ol' Varth Dader. A completely novel villain.

On the spectrum or go gentle vs fight, I'd have to say, now is the time is history where "fight" makes the most sense.

This is not abstract for me. I have not one, but two forms of cancer.

Both were considered incurable when I was diagnosed.

Both have treatments now that, IN SOME PEOPLE, lead to remission.

I still don't know which group I am, but I'd be dead from either one by now, if I hadn't elected to treat.

New treatments, for SOME cancers are literally coming out monthly.

So the fact that you can't be cured today, does mean there won't be a better treatment by next year, if you can hang on.

I should find out soon on my more aggressive one. Either way, I plan on continuing to try.

Yeah. I'm gonna have an LLM rewrite Star Wars and then film it. Should be fine, right?

I knew two hyphenates who got married. They picked one non-hyphenated last name.

I find this follow on article really helpful: https://shinesolutions.com/2018/01/08/falsehoods-programmers...

It contains concrete examples of each of the ideas listed in the first article.

That's cool. Thanks for the info

I get burnout from frustration when the LLM just can't follow instructions.

Like when I'm trying to get it to create an image, and the first pass is beautiful, but ten different request to modify it, with different phrasing and even example images, produce the same image ten times. Or when you tell it not to use a cheap hack in AGENTS.md about six different ways and in your prompt, and it still does it again, and again.

It's like arguing with an idiot. And THAT gives me burnout.

Also: I've never once seen an emoji in LLM output. What are people talking about?

Not an area I'm familiar with, but do the chips really handle up in the gigabit IO? I thought they just handle connection setup. I had thought the gigabytes were not processed at all by the chips. They just flow through the wires.

?

Ah, but are you remembering to discount the future time saving, to get the net present value of the time savings?

No IBM PC references? Not one?

I mean the 5150 pc not the 5160 XT they mention.

No, but you can form a syndicate, convince others to buy in, get your money out and still participate in the payout, if any.

No.

Per Google, most HP printers are made in China.

A more likely explanation has to do with the economics of ink jet printers. The ink sales are so profitable that HP and other manufacturers subsidize their printers. This leads to prices at or near cost.

Since Ali express vendors can't count on follow on ink sales, they can't compete on price. And competing on price is Ali express's reason for existence.

So, ink jet printer are harder to find on Ali express. At least, low end consumer focused ink jet printers.

Laser printers, which aren't subsidized are common

We need to stop pretending the VC valuations are meaningful.

It's like asking someone playing roulette to value "13 black", after they bet on it.

There valuations are always based on expectations of huge growth, not current value. Growth predictions with an extremely low confidence level. VCs make up for it by making a lot of bets.

The companies NEVER have current profits (The actual measure of value) that would justify their valuation.

So, it's comparing gambling payouts to corporate valuations, aka "apples to oranges", which are not related.

When the predicted growth doesn't occur, the companies valuation becomes based on its actual value (profits).

Yeah, test prep was considered more for people who were worried about low scores. 1500 vs 1600 wouldn't make much difference in college admissions at that point.

That tells them everything they'd need to know to discriminate. If you took the SAT 40 years ago, it doesn't really matter if it was 42 or 47.

People are biased 25 vs. 55 not 33 vs. 34.

I somehow doubt that the people that would ask for SAT scores would actually be the sort to think about how those numbers should most effectively be used.

Unicode never ceases to amaze me.

There is probably more money in this as entertainment than architecture. And less liability.

How many of us have made house plans at some point?

I wonder how long it would take on faster hardware. I have ten times that much footage, but 67 * 10 hours is a lot of processing.

I might be better off getting something with a beefy GPU on AWS or Google cloud.

Your docs say you integrate with Davinci resolve.

Other comments mention davinci resolve has this built in. How would you compare the two?

Perhaps I have misunderstood or was unclear.

Everything the parent comment mentioned were implementation details that did not affect the correctness of the code.

I just wanted to point out that there are implementation details that DO affect the correctness of the code.

And, of course programs need to run on multiple architectures. So it's hard to do what people seemed to be talking about in this thread and verify code just from the source code.

If you have the luxury of proving the correctness of the CPU, compiler and OS, that should be a big win. Otherwise, it seems to just be another type of testing. Still useful, but calling it verified or proven seems a bit much.

From my perspective, it seems more to be writing another, more complicated program, with more opportunities for bugs, and seeing if the results agree

Exactly.

You can prove that f(a,b) always returns a+b.

And then you overflow the int on that machine.

Oops.

Non trailing whitespace means the string doesn't end with a space

No. And this is a great example of the problems with specifications. You still have to write a spec. And this, too, is subject to bugs.

What's wrong with the statement above is there are 17 space characters in Unicode and another eight whitespace characters, like newline.

If you try to verify that something ends in whitespace, you have to make sure you have the right definition.

Not picking on parent poster! It's just a great example of the fact that you can verify, but if what you are verifying is wrong, it doesn't help.

No sound on an iPhone. They keyboard visually responds.

Tried safari and Firefox focus

I'd fund "clone fablepool" for $5. Should be plenty.

Reminds of the four college kids that were going to clone Facebook. Turns out it's hard than it looks, if you have never tried it.

Neither is Motorola. And yet ...

The company doesn't have to go away, the app just has to have issues. At least with web apps, you aren't depending on the manufacturer investing in nearly continuous upgrades to work in the rapidly changing phone environment

A web UI will continue to work for decades. And app will likely not last a year without updates.

Really. Because it looks less useful than its source.

If I search for Apple on food central, I get offered different types of Apple, like Fuji, honeycrisp, etc. with nutripedia I just get raw and cooked, which are within each type on food central.

In addition, nutripedia has a bunch of what looks like AI written text that is not particularly useful.

Writing an AI generated wrapper around something is not enough to be interesting. What do you see as your value add?

Web page is first found in Archive.org in 2011

So, do I just disable updates?

How do I do that?