____tom____

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?

I wonder what the performance loss is for each level?

But can it run Endive?

Sounds like the second system effect. (The Mythical Man Month)

First one is simple and focused, the second one tries to be & do everything. And frequently never ships.

You can't rely on commercial offerings anymore. They vanish with increasing frequency.

Yet another reason to use open source.

"When exposed to a trigger -- such as a small amount of heat or a catalyst -- the molecule snaps back into its original form, releasing the stored energy as heat."

That's a bit concerning. Runaway waiting to happen.

One important difference is that costs are bounded on your own machine. Like with cloud providers, I'm always worried that cost may accidentally explode if I launch an agent swarm wrong.

Now, it looks like the providers I use have good limits. But I do worry about this.

Modern OCR is amazing. That image is full of noise and ChatGPT did it without any errors that a I can see.

I compared it to another OCR of the same image, using http://ocr.space, and ChatGPT was correct in all the small number of differences, even preserving misspellings in the source.

The oldest reference I know of to "Halt and Catch Fire" is shown here : https://www.facebook.com/larry.langerholc/photos/d41d8cd9/74...

1960s era. Humorous instructions for the IBM 360/69.

If the image link doesn't work, I've OCRed it:

IBM SYSTEM/360 MODEL 69 FEATURES AND DEVICES

Early Card Lace

1401 Incompatibility

407 Emulation

Chinese Character Set

Branch on Burned-Out Indicator

Branch on Blinking Indicator

Branch and Hang

Branch on Chip Box Full

Branch on Power Off

Branch on Sleepy Operator

Inquire and Ignore

Reverse Parity and Branch

Branch on Bug

Read While Write While Ripping Tape

Add Improper

Divide and Overflow

Subtract and Reset to Zero

Add and Reset to Zero

Scramble Program Status Word

Pack Alpha and Drop Zones

Pack Program Status Word

Punch Invalid

Rewind Card Reader

Backspace Card Reader

Read Print and Blush

Forms Skip and Run Away

Stacker Select Disk

Write Wrong-Length-Record

Write Noise Record

Seek Record and Scar Disk

Eject Disk

Rewind Disk

Backspace Disk

Punch Disk

Punch Operator

Execute Invalid Op Code

Read Card and Scramble Data

Select Stacker and Jam

Read Invalid

Rewind and Break Tape

Write Record and Run Away

Make Tape Invalid

Reverse Drum Immediate

Transfer and Lose Return

Print and Smear

Read Chads

Sharpen Light Pencil

Transfer and Drop Bits

Erase Card Punch

Read Inter-record Gap

Read Noise Record

Erase Read Only Storage

Destroy Storage Protect Key

Update and Erase Record

Move and Drop Bits

Circulate Memory

Move and Lose Record

Move and Wrap Core

Move Continuous

Execute No-Op and Hang

Develope Ineffective Address

Halt and Catch Fire

Scatter Print

Re-initialize Meter

Update Transaction

Reduce Thruput

Print and Break Chain

Lose Message and Branch

Burst Selector Channel

Invert Record and Branch

Illogical "or"

Illogical "and"

Bite Baudy Bit and Branch

Triple-Pack Decimal

Slip Disk

Stacker Upset

Uncouple CPU's and Branch

Scramble Channels

Edit:formatting.