pfdietz

10 ms·

271.
by pfdietz 3mo ago
Getting CO2 back to preindustrial levels by natural processes may take 100,000 years, IIRC. There will be some drawdown, but the ocean surface waters will become more saturated with carbon and that will stall. Over a longer time scale, CO
272.
by pfdietz 3mo ago
Also good, but clover has the advantage it can replace grass and survive mowing.
273.
by pfdietz 3mo ago
> LLMs have done nothing for "making large scale mechanization viable." I'm sorry, but this assertion is ridiculous. LLMs absolutely have radically simplified mechanization. Autoformalization of papers using LLM is order
274.
by pfdietz 3mo ago
It reminded me of James "Kibo" Parry's Happyweb.
275.
by pfdietz 3mo ago
I'm of two minds about read tables. Yes, it's nice we have control over it. This is a lisp thing, where features that are used to implement standard things (like the standard reader) are exposed so the user can play with them als
276.
by pfdietz 3mo ago
This was a bit different, in that Lean was involved. That's more concerning. (I'm told this actually wasn't found by looking for a proof for Collatz, just that Collatz was used to exhibit the bug, once found.)
277.
by pfdietz 3mo ago
On the other hand, the economy is going to be increasingly electrified. Demand is going to be there in some form.
278.
AI "Proves" Collatz Conjecture with Lean 4 Bug(twitter.com)
14 points by pfdietz 3mo ago|5 comments
279.
by pfdietz 3mo ago
https://theonion.com/wildlife-officials-restock-lake-by-drop...
280.
by pfdietz 3mo ago
Using two implementations also helps identify portability issues coming from places the standard doesn't specify behavior sufficiently.
281.
by pfdietz 3mo ago
On the other hand, standardization enabled Common Lisp implementations to actually be tested, so programs became much more portable across time and between different implementations. What stopped further development of the standard was the
282.
by pfdietz 3mo ago
Yes, there's a specific standard special variable controlling it, *read-eval*.
283.
by pfdietz 3mo ago
That's more of a backronym.
284.
by pfdietz 3mo ago
Yes, that's quite fast. The files are kept in a version control system so you update from that first as well. The use cases for images would be: delivery of applications to users, or (internally) delivery of some fixed set of underlyi
285.
by pfdietz 3mo ago
Image saving isn't something that's done very often, in practice.
286.
by pfdietz 3mo ago
Given that in the US we dispose of 640,000 tons of books each year, this attempt to inflate outrage is just ridiculous. Books are not things of intrinsic moral value; they are morally neutral physical objects. To the extent the informatio
287.
by pfdietz 3mo ago
Like the short lifespan of acid paper. Drying might actually slow down that degradation.
288.
by pfdietz 3mo ago
Or we just reflexively look stuff up.
289.
by pfdietz 3mo ago
My understanding is that the fibers in paper can become brittle if they are too dry. However, this doesn't cause the paper to break down, it just makes it vulnerable to damage if flexed. So storing paper dry is fine if it is then hum
290.
by pfdietz 3mo ago
The relevance is because the LLMs are storing information, not the explicit text, so we want to know how much actual information they need to store (this being an information theoretic argument). The representation in the parameters doesn&
291.
by pfdietz 3mo ago
The British also helped with the US Navy attack on Japanese ciphers, didn't they?
292.
by pfdietz 3mo ago
If they were rare, they'd be valuable, and would not be sold as part of a bulk purchase.
293.
by pfdietz 3mo ago
I don't see how that makes sense. The last copy of a book would be valuable and would not go into a bulk buy.
294.
by pfdietz 3mo ago
I imagine that compresses by ~90%, and current top commercial models have a couple of trillion parameters, don't they?
295.
by pfdietz 3mo ago
Texts from thousands of years ago survive only because they were repeatedly copied. There are some extreme examples like the Dead Sea Scrolls but they are the exception. Modern acid-free paper might last 1000 years; 500 is more typical. A
296.
by pfdietz 3mo ago
> It’s far larger than the resulting model. Is it? How many different books are we talking about, and how much information is that, after conversion to text and lossless compression? Images, maybe, but text?
297.
by pfdietz 3mo ago
If I did that I'd seal them with silica gel to keep the humidity down.
298.
by pfdietz 3mo ago
> make them only accessible But that's a lie. They're not destroying the last copy of books.
299.
by pfdietz 3mo ago
No, we're just telling you your moral intuition is absurd.
300.
by pfdietz 3mo ago
It happens on a massive scale, so it's completely reasonable. Books are disposable information delivery vehicles now. Publishers pulp great quantities of unsold books too.

More ›