The marketing director that started the meatless program said "The [meat] sausage will become the cigarette of the future". Sales were stagnating or declining. Sales in the meatless segment were low but increasing steadily and they entered that segment, convinced, that they could produce alternatives with broader appeal. For one year, they spent all their advertisment budget on the new meatless line.
Initially the target group was "reducers". The first products included a lot of egg protein, so vegans were not targeted at all. Somewhat surprisingly, they decided to launch the new line under their well-known and established brand. That probably prevented some marketing claims that may have been off-puting to their existing customers.
That's 590 MWp. I could not find the expected annual production, so I tried to guess using a PV calculator and came up with about 1.2 TWh/y. That would be 137 MW on average. They say it cost more than €300m.
Generating readable C code was an important goal from early on. Parts of the linux kernel would have to be translated to Low*, which is the subset of F*, that can be extracted to C.
I guess there would be a new build step, that runs when code is checked in, to not burden everyone with all the new toolchain (F*, z3, karamel, maybe OCaml and more). While the generated C code can be read and understood by C programmers, changes to that part should be done in Low* and that may require changes to proofs in F* or to the extraction tool (karamel). That's a pretty big investment for a project like linux and I guess, any work in that direction will happen on forks for a while, before there is enough confidence that such changes are sustainable.
A good first candidate may be HACL* (https://hacl-star.github.io), a cryptographic library that is already used in several projects.
> We find that an electricity emissions factor of less than 139 g CO2e per kW h is required for this [Direct Air Capture system paired with Fischer–Tropsch synthesis] pathway to provide a climate benefit over conventional diesel fuel.
The grid averages in most regions are higher than that. I don't think multiplying current renewable generation just for jet fuel is easy.
I don't think readers with any kind of computational background expect to read FAILED writes. Apparently, neither does RDX Works - claiming to have fixed most of the issues.
> harvesting honey which has fallen off a honeycomb beneath a tree
I never had this opportunity, but I don't see an ethical problem here. As a more realistic example (in my environment), I suggest dumpster diving. I think it would be okay, ethically, but I would not do it because it grosses me out in a way that vegan substitutes don't, and that feeling is not related to the dumpster part.
I may have to do some more introspection, but I honestly don't think, that my acceptance of vegan substitutes is based on a desire to harm animals.
I often come back to a local repository to change something and think, while I'm at it, I'll just `git pull` and end up with a non-working working directory. Surely I should know better, but I think it's also hostile to users, when the easy thing to do is often the wrong thing to do.
Even worse, I'm not sure I correctly remembered the weird combination of actions and flags to use to get back to the state where I can continue with what I wanted to do in the first place.
That article is a good example of the problem. It tells me `git rebase` is an easy thing to do but I better not use that distributed VCS to publish my work that way, where 'publish' probably also applies to different machines of mine.
As their name implies, carbohydrates consist of carbon and water (hydrogen and oxygen), hydrated carbon. Amino acids need at least nitrogen in addition, which in our digestive tract is probably already most abundantly found in amino acids. The microbiome does consume carbohydrates though, mostly those that are inaccessible to our digestive system.
I'm not an expert on this, but my guess is that by mass their most important products for us are short chain fatty acids. They might assist in breaking down some proteins that we lack enzymes for or modifying amino acids, but the absorption of amino acids happens mostly in earlier sections of our intestines, whereas the microbial biomass and activity increases towards the later stages of the gut.
Right, I should probably have written RDI or DV (or DRI?). Doses improved, but in Germany, I can still find multivitamins marketed specifically at vegetarians and vegans with 10ug of B12 (labeled as 400%) in the supplement aisles of supermarkets.
Even in pharmacies, I have to tell that the supplement may be my only source of B12 and that I know about the dosing. I reduce the frequency when I have other sources like toothpaste. I think it is worth to RTFM for something that is relevant for the rest of my life.
https://veganhealth.org/vitamin-b12/ has pretty much everything one needs to know about B12. It's worth a read in general, but especially important for vegans. Teasing the crucial part: Relying on 100% RDA of B12 from a daily multivatimin will get you in trouble because that likely exceeds the capacity of your transport proteins in a single dose. For the less efficient "unassisted" absorption, you need to dose a lot higher.
Unless they invented a creative way to use pop3, it is not 'pull' in any reasonable sense, because you can only pull what has already been pushed. You can't even even select what to pull once more than one request is outstanding, because pop3 does not convey information beyond message size.
Also, you have to poll continuously, destroying the benefit of having something pushed over smtp.
A really puzzling part: "SMTP is a ‘push’ protocol that does not allow one to ‘pull’ messages from a remote server on demand. To do this a mail client shall use POP3 or IMAP. Within the framework of implementing DNA data exchange it is decided to use the protocol POP3."
Tizen could be a great OS if Samsung did not lock it down and enabled building from source. It is a lot closer to Linux than Android. I use it on a watch/fitness-tracker and the whole package would be great if the development was not hamstrung by Samsung.
You need to sign packages with a certificate you get from Samsung and tie it to your device ids for sideloading. For that, you need Tizen Studio, which is a custom outdated version of eclipse, depending on outdated versions of some external libraries. I tried it in a container, which worked fine, except for the signature generation. So I ran it in a sufficiently outdated VM.
Unfortunately, this developer cert will only get you so far and for the complete API, you need a partner level cert.
If you put up with all this, there's the documentation[0]. It takes ages to load and you can't easily download the damn thing, because they pull in the content via XHR. Why, Samsung, why?
Inherent to dairy production is regular impregnation and separating the calves. Just like the egg industry, market pressure favors more "productive" genetics, which results in males basically being discarded early in life, and shorter productive life with higher output for the females.
Increasing animal welfare(, for lack of a better term,) results in higher environmental impact, because slower growth, longer lives and less conversion, require more feed and produce more emissions. At least globally - locally, large-scale concentrated operations have a high impact.
I can speak for southern Germany where there are still many small farms in villages. Due to space constraints, those businesses have to extract as much as possible out of every animal. I only have german sources, but this is what those stalls can look like: https://www.ariwa.org/leben-in-ketten-video/
The text says that cows are tethered like this for months or even years (basically their whole life). It's estimated that this affects about 1 million or about a quarter of the german dairy cows. I think the Matrix would compare favorably to this.
I switched when I got my Advantage 2 QD. I used typing trainers for a couple of days to learn the positions and then it took a couple of weeks to get adjusted and not have to think too long.
Before that, I could not touch-type on QWERTY, but learned the Neo layout a couple of years back. I gave up on it because I was using too many other machines then. It felt more natural, but I think what really makes the difference for me is the keyboard. On the Kinesis, it is very obvious which finger to use for each key. I was a lot more confident in the physical mapping within days than after decades on standard staggered layouts. I wish there were ortholinear options for laptops.
We also cannot digest all the proteins out there, but this reads very promising. If there are no harmful substances to begin with, it can probably be used in further processing by yeasts or microalgae to obtain a wider range of nutrients.
Here is one example of that tradeoff: "Scale-dependent effectiveness of on-field vs. off-field agri-environmental measures for wild bees" - https://www.sciencedirect.com/science/article/pii/S143917912...
Different species and crops may yield different results.