exp1orer
Joined 11 years ago
Joined 11 years ago
[1] https://austral-lang.org/ [2] https://austral-lang.org/spec/spec.html
If the author is around, I notice in the README you mention the GNU units program, which I use quite a bit. I'm curious if you've made any notable divergences from it?
* carbon removal credits are a subset of carbon credits
* they are generally considered higher-quality than most other credits (which are "avoided emissions"). This is because, for example, turning on a direct air capture machine, is clearly something that would not happen without the sale of carbon credits.
* there's not always a clear line between carbon removal credits and non-removal (ie "avoided emissions").
* unfortunately the carbon credits that have come under the most fire (nature-based solutions like forestry) are also, technically, closer to being "carbon removal" -- and some sellers play up that ambiguity, to their advantage.
> "it's like no one even read 'The Tyranny of Structurelessness,'" said an engineer who had recently read The Tyranny of Structurelessness.
However note the difference between carbon offsets vs carbon removals. I don't know what kinds of offsets Google bought but given that they started buying them >15 years ago, they were probably not removals.