moby_click
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.
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.
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.
A blood sausage made from human blood. Nothing wrong with it ethically, but upsetting enough for performance art.
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.
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.
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.
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.
Also, you have to poll continuously, destroying the benefit of having something pushed over smtp.
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?
[0]: https://developer.tizen.org/development/api-references/nativ...
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.
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.
For example, I'd want cookware with temperature sensors and a pressure sensor in case of a pressure cooker, a controllable stove and oven with power monitoring, a kitchen hood wit gas sensors, etc.
What we can instead are gadgets with mobile apps, that are completely undocumented beyond the UI. Kitchen devices for the commercial sector have been somewhat smart for a while, but are a pain to program and again lack documentation.
IoT these days is paying a premium for vendor lock-in.
That's pretty much what I have been doing, when I was 19. But I became sick, saw a couple of doctors without a diagnosis and that prescrption would have sounded like: "Have you tried not being sick anymore?"
I had to wait for a NSAID to kick in to get down liquid food, had to sleep often, because I could only sleep for few hours at a time and everyday life was exercise enough. At that point blood tests for lyme were inconclusive, but the rheumatologist thought the symptoms warranted oral doxycycline, which cleared the symptoms within days. Maybe a lumbar puncture would have shown it, but I was asymptomatic before I was scheduled.
Like nosianu experienced, there was a long period where I thought, I just had to get my act together and it takes a while to conclude that something is seriously wrong. At some point, you take a doctor's educated guess, even if the treatment is harmful.
I inherited a consumer DeLonghi, that basically looks like most of their espresso machines and it's nothing like a professional machine. They use dual wall instead of single wall filter baskets, the steam wand differs a lot and my machine shoots a couple of jets of water into the coffee, preventing even extraction.
I did however happen to find beans that got decent results on that machine, so it's not like there's a strict total order of quality that leads to a one dimensional result. Professional machines are much more pleasant to work with, though.
For example, 1.75m from Konrad Adenauer-Stiftung, which is a think tank closely related to the party of the rapporteur responsible for the copyright directive. If they were engaged in lobbying related to the copyright directive, they most certainly would not align with google's interests. If you take a look at the transparency register (http://ec.europa.eu/transparencyregister/public/consultation...), you'll find that almost their entire budget for the declared activities comes from two german federal agencies.