pfdietz

7 ms·

151.
by pfdietz 2mo ago
No, it's a demonstration of the lack of value of all that waste. On the last day of the sale (which decreases prices steadily over the several weeks it lasts) you can take a paper grocery store bag, fill it with books, and pay just $1
152.
by pfdietz 2mo ago
Also, you said "40 year ago". But that was well before nuclear was shut down in Germany. Lying is difficult since you don't have reality to keep your story straight.
153.
by pfdietz 2mo ago
Nuclear in the US was killed by Russian natural gas money? What other nonsense do you believe?
154.
by pfdietz 2mo ago
Ouch. Burn accepted.
155.
by pfdietz 2mo ago
Does the demonization of destruction of books mean I shouldn't delete downloaded e-books off my phone's Kindle app? All those precious bits, gone forever...
156.
by pfdietz 2mo ago
Here we have another entry in the long list of "things described on the Internet that never happened".
157.
by pfdietz 2mo ago
Nuclear killed itself (vast cost overruns); there was no need for hallucinated foreign influences. But I understand blaming your energy waifu for its own failure is unacceptable for nuclear bros.
158.
by pfdietz 2mo ago
Our local library-connected biannual book sale puts a large dumpster, about the size of an 18-wheel truck trailer, outside the warehouse where the sale is conducted. At the end of the sale it gets filled to the brim with waste inked cellul
159.
by pfdietz 2mo ago
When applied to ordinary mundane objects, this is the mindset that leads to pathological hording behavior. Ultimately I think it's rooted in a fear of, an attempt to deny, mortality and the passage of time.
160.
by pfdietz 2mo ago
Around a million books are destroyed each day in the US.
161.
by pfdietz 2mo ago
Also a thing that didn't happen. Do you have an allergy to the truth or something? Or maybe a difficulty distinguishing your paranoid delusions from reality.
162.
by pfdietz 2mo ago
Yes, that is. Are there other bald-faced lies I should be focusing on instead? The vaccine wasn't "forced on everyone". Pointing to specific people for whom it was forced isn't "everyone". Nor does the exist
163.
by pfdietz 2mo ago
The thing is, the cost of creating these results, and the expertise needed, is being greatly reduced. So it's possible for people who wouldn't actually care about the results to spoil them by just putting out a formalized proof (
164.
by pfdietz 2mo ago
I'm reminded of the joke about the two friends who come across a bear in the woods. When one puts on running shoes, his friend chides him that he can't outrun the bear. He responds, "I don't need to outrun the bear, I
165.
by pfdietz 2mo ago
The problem with that rule of thumb is that unless there's some status/reward for completing the result, it won't happen. People will just put up the formally verified result and call it a day, and there's no incentive
166.
by pfdietz 2mo ago
Twitter/X has a lot to answer for, but at least it helped create some memorable memes.
167.
by pfdietz 2mo ago
Les Earnest died in 2024 at the age of 93.
168.
by pfdietz 2mo ago
Forced on everyone? That's a thing that didn't happen.
169.
by pfdietz 2mo ago
Non-small cell lung cancer (NSCLC) treatment has been revolutionized by the checkpoint inhibitors (as well as some other drugs targeting specific mutations).
170.
by pfdietz 2mo ago
Immune therapy didn't help? Darn.
171.
by pfdietz 2mo ago
> I don't find anything hard to defend about my argument. Of course. Because "I need more than 8 GB of RAM" and "the government should subsidize Microsoft" are logically equivalent statements. If you're i
172.
by pfdietz 2mo ago
> And why should the government and the tax payers be held responsible and be forced to pay for the bad decisions of Microsoft and their customers? Ah, a motte and bailey argument! I always love those. https://en.wikipedia.or
173.
by pfdietz 2mo ago
Every math paper ever (there are about 4 million of them) will get formalized. One benefit of this is finding out which ones were actually correct, and which had unrecognized flaws in their claimed results. After that, we can do statistics
174.
by pfdietz 2mo ago
The Goedel bit reminded me of the bogus argument that AI is impossible due to the Goedel Incompleteness Theorem.
175.
by pfdietz 2mo ago
If these tests are being run just once, the cost of creating them will likely vastly outweigh the cost of running them. If they are run more than once, they can be reordered randomly each time at zero marginal cost.
176.
by pfdietz 2mo ago
And not a single mention of Lisp? Tsk.
177.
by pfdietz 2mo ago
> You need 8GB at the very most I call total bullshit on that. I need more.
178.
by pfdietz 2mo ago
> but nobody needs more RAM except for companies. I'm amazed you could write this in apparent seriousness.
179.
by pfdietz 2mo ago
> While I don't doubt the veracity of your report, I don't think this is an efficient testing strategy. The marginal cost of running the tests like that was very small, and bugs were found. The cost per found bug seemed very r
180.
by pfdietz 2mo ago
I had a test suite with thousands of tests. One way of running it was to take all the passing tests, and then run them repeatedly in random order. This found new bugs involving unintended persistent state.

More ›