Livestock emits between 10% to 20% of global greenhouse gases (in carbon equivalent/100y-GWP) [1]
In contrast, all data centers (not just AI) currently use less than 1.5% of all electricity, making up less than 0.3% of global emissions [2]. Although recent increases in data center electricity usage is lamentable, even in the short term future, much of this can and more importantly _will_ be low-carbon energy, and the ratio should continue to improve with time.
A 1% reduction in livestock emissions is therefore about the same as a 50% reduction in data center emissions.
By replacing (some) farmed meat with farmed fungi protein.
Although it's theoretically possible for a disease to infect both fungus and animals, because the biology is so different, the risk is greatly, greatly reduced.
In addition, it may be possible to reduce the use of treatments such as antibiotics which, in their currently mass application to farmed animals, could directly lead to the development of antibiotic resistant in diseases which affect humans and animals.
Plus, chucking the contents of a few biotanks in case of infection is a hell of a lot better than having to kill and waste millions of birds.
I mean, industrial slaughter isn't a pretty process, even in better plants, which most aren't, but where they come to wipe out the barn, they're not putting animal welfare first.
It is a method where a computer verifies a proof that the program adheres to its specification for _all_ inputs (subject to whatever limitations the particular method has).
Types are the simplest kind of formal verification, and with sufficiently advanced dependent type-systems, can be used to prove that programs obey arbitrarily complex specifications. However, this can be extremely laborious and requires significantly different skills than normal programming, so it is very rarely done in industry
I think this discussion dismisses the "physics" of writing code, which rewards laziness.
Effects make _the right thing to do_ (proper sandboxing, testability, assertions, ...) the _easiest_ thing to do.
Build scripts aren't sandboxed because sandboxing bash functions is nigh impossible -- not because people don't want to.
The discussion on assertions is especially confusing, because that is exactly what effect systems excel at. The effect of an assertion would be Assert, and you can choose to handle it however you want, at a higher level. If you want to crash, handle Assert in main by Exit(1)ing. If you want to reject the request but keep the server alive, handle by SetResponse(500)!; CloseRequest()!. If you want to ignore it and trundle on, return to the point of the assertions continuation.
The United States is a country that doesn't require any form of identification to have a phone number. You can buy a "burner phone" at any Walmart, with prepaid minutes and no contract, in cash.
... How about fixing basic things like the cursor position in code blocks, and being able to select text on mobile, instead of unnecessary "AI Agents"?
Or is the frontend now supposedly obsolete since all the work will be done by "AI"?
Indeed. About 26% of the disk space for a freshly-installed copy of pip 25.2 for Python 3.13 comes from https://pypi.org/project/rich/ (and its otherwise-unneeded dependency https://pypi.org/project/Pygments/), "a Python library for rich text and beautiful formatting in the terminal", hardly any of the features of which are relevant to pip. This is in spite of an apparent manual tree-shaking effort (mostly on Pygments) — a separate installed copy of rich+Pygments is larger than pip. But even with that attempt, for example, there are hundreds of kilobytes taken up for a single giant mapping of "friendly" string names to literally thousands of emoji.
Another 20% or more is https://pypi.org/project/requests/ and its dependencies — this is an extremely popular project despite that the standard library already provides the ability to make HTTPS connections (people just hate the API that much). One of requests' dependencies is certifi, which is basically just a .pem file in Python package form. The vendored requests has not seen any tree-shaking as far as I can tell.
This sort of thing is a big part of why I'll be able to make PAPER much smaller.
Plagiarism is bad for a lot of reasons, all of which also apply to the undisclosed use of generative AI.
reply