HNHacker News
TopNewBestAskShowJobs

ahelwer

9,212 karma · joined December 11, 2011

ahelwer.ca
submissionscomments
ahelwer··on The University of California has all but dropped carbon offsets
This is a great passage but in a society taking climate change seriously carbon farming will unironically become a thing. Planting certain crops or using certain forms of composting to sequester as much carbon as possible on large areas of land that are not used to produce food or other cash crops.
ahelwer··on The University of California has all but dropped carbon offsets
All modeling suggests that applying both of these tools together (incentives & disincentives) is multiplicatively more effective than applying either on its own. Taxing emissions means those emissions still happened.
ahelwer··on The University of California has all but dropped carbon offsets
Go ahead and buy the land & oil rights to a large oil reservoir if you want to cash in on this hypothetical program.

Paying off the oil companies in this way means the end of the oil companies. They get a one-time cash infusion but that's it, no recurring revenue. Then no more oil companies to lobby against climate change. It's the only non-revolutionary route left, probably. Oil companies aren't just going to stop pumping oil and stop throwing the government around.

ahelwer··on The University of California has all but dropped carbon offsets
It's an actual published paper you can read, not something KSR made up.
ahelwer··on The University of California has all but dropped carbon offsets
If you're still committed to technocratic market-driven solutions to climate change there's the interesting idea of Carbon Quantitative Easing, essentially directly paying people to not emit carbon (read: pay oil companies to not pump out the oil they're going to pump out) or to sequester carbon with various methods. It's thought of as a carrot along with the stick of carbon taxes adding a cost to emissions.

First learned about this in the excellent sci-fi novel The Ministry for the Future.

https://en.wikipedia.org/wiki/Carbon_quantitative_easing

ahelwer··on Wrangling Monotonic Systems in TLA+
It is be interesting to think of how a checker would work that detects monotonicity & deploys this theorem to check liveness properties. Maybe I'm just describing the TLA+ proof language! Also something to bring up at the next monthly TLA+ meeting.
ahelwer··on Wrangling Monotonic Systems in TLA+
That's an interesting idea about a built-in ordered opaque value type. You should bring it up at the next monthly TLA+ foundation community call on November 14th![0] It would be interesting to hear peoples' feedback on it.

[0] Details hidden in the google calendar link on this thread in the mailing list: https://groups.google.com/g/tlaplus/c/CpAEnrf-DHQ/m/YrORpIfS...

ahelwer··on Quantum Resistance and the Signal Protocol
The shortest possible answer is that qubit states are modeled as two-dimensional vectors on the complex unit sphere. We arbitrarily designate two orthonormal vectors on this sphere as corresponding to classical states 0 and 1. If the qubit vector isn't in the 0 or 1 state, it's in some linear combination of them. This is called superposition. Since most people don't know what linear combination means, superposition is explained as "sort of both at the same time". Upon measurement the qubits are collapsed to 0 or 1 with some probability proportional to how close they are to the 0 and 1 states. The precise probabilities are given by something called the Born rule. I gave a longer talk aimed at computer scientists if you're interested beyond this explanation: https://youtu.be/F_Riqjdh2oM
ahelwer··on Study: U.S. dietary recommendations for protein intake are too low
You're talking about the difference between a scientist making like $50-150k/year salary and entities making millions or billions of dollars a year in profit. These are in no way comparable.
ahelwer··on The Hallucinated Rows Incident
I hope this counts as productive feedback if the author of the blog is reading this - the post you put so much effort into writing truly deserves a better presentation experience than this: https://cdn.fosstodon.org/media_attachments/files/110/923/56...

Using a static site generator is surprisingly simple!

ahelwer··on So you want to learn physics (2021)
Undergraduate physics hasn't changed much in the past two years.
ahelwer··on So you want to learn physics (2021)
Using math to model a system instead of learning math qua math does wonders for ease of understanding. Derivates and integrals become easy if you're using them to model the relationship between position/velocity/acceleration. I don't think I really got linear algebra until using it to learn quantum computing.
ahelwer··on Kris Nóva has died
(am also on the spectrum)

> neuro-typicals mistake my intent and refuse to believe me

This is an idea I had to unlearn. We struggle as much understanding ourselves as understanding other people. When people react negatively to our behavior often times we immediately jump to extending unlimited benefit of the doubt to our own intentions. In reality, our perception of our own intentions are often post-hoc fabrications to preserve our self-image as a nice person. Letting go of this assumption was helpful to a better understanding of interpersonal interaction.

ahelwer··on The elite's war on remote work has nothing to do with productivity
Time zones and shared language/culture disagree? Or if you think you can get a 90% margin on the competition with the same result, go start a company and see how that works out for you.
ahelwer··on I went to 50 different dentists: almost all gave a different diagnosis (1997)
That's just... all of medical care. The procedures are almost all done by residents and, yes, med students under supervision of a full doctor. How do you think we get new doctors? Nobody wants to be the person who is used for teaching new doctors but that's how it is.
ahelwer··on Pollution cuts have diminished “ship track” clouds, adding to global warming
With each passing year my dread increases that this is all headed toward intensive solar radiation management schemes that will forever rob us of a beautiful blue sky. Anything to avoid real changes.
ahelwer··on Per capita CO₂ emissions Over Time
Incredible to post this in a year with record numbers of forest fires. When trees burn they release all their sequestered carbon. Climate change makes forest fires more common.

Regardless planting trees is still a good thing and I don't actually know of any liberals who are against it, very strange thing to believe of them.

ahelwer··on Time to bring back asylums?
These things are interlinked. Developing addiction or mental health issues makes you less able to keep an income. If housing is more expensive it's then that much easier to not be able to make rent. And if you're homeless then it's quite easy to develop drug addictions or mental health issues. Housing prices are a single dial that turns up the heat on the whole system.

Honestly we don't have to intellectualize this very much. A child can understand this. If housing is more expensive it will be harder for people to afford it! And people who can't afford housing become homeless!

ahelwer··on The Energy Transition Isn’t
The author cites the BNEF energy transition investment trends report a few times, and I encourage everybody to flip through it. It contains many interesting facts, and you certainly have to take an extremely skewed view to arrive at the same conclusions as the author: https://about.bnef.com/energy-transition-investment/

Notably, the banner fact that 2022 was the first year - ever - where global investment in renewables equalled investment in fossil fuels[1]. This was primarily championed by China, which produced one of the most astonishing graphs I've seen in recent times[2]. It entirely upended how I view leadership on this issue and what countries are taking it remotely seriously. Canada isn't even in the top 10!

Anyway, given that - again - this is the first time ever that investment in renewables has matched investment in fossil fuels, it is not surprising that fossil fuel usage has continued to grow.

[1] https://imgur.com/B2QBY6u

[2] https://imgur.com/OlMAKVd

ahelwer··on Apollo is dead. Long live Apollo
This is learned helplessness acquired from the past decade where the internet became five megacorp websites. No different from your siblings or parents saying they aren't good at computers. It isn't a complex system. You are surely capable of figuring it out.
ahelwer··on Gitless: A simple VCS built on top of Git
You have to fix conflicts either way so what's the difference? I suppose when merging you only have to fix the cumulative conflicts, while when rebasing you have to incrementally fix the conflicts introduced by every commit which is annoying. I usually squash a branch (rebase on where it diverged) before rebasing to fix this.
ahelwer··on Researchers warn of ‘model collapse’ as AI trains on AI-generated content
Pretty conclusive evidence that human creativity is the source of current "AI" power, no? Many people claim the plagiarism inherent in this product is no different from you paraphrasing & remixing material you've read elsewhere, published by other people. But no, humans don't degenerate when reading material produced by other humans. They improve upon it and use it to create things that are genuinely new.

Maybe this won't always be so for AI. But it's pretty hard to square an account of LLMs as more than fancy data compression when they exhibit the exact same tendencies as all compression protocols when run on their own outputs.

ahelwer··on Power outages and sweltering heat in Vietnam, people struggling to cope
The first chapter of The Ministry for the Future by Kim Stanley Robinson is a harrowing fictional account of living through one of these. Can't recommend it enough if you're in the mood to add another existential risk to your list of concerns.
ahelwer··on Molly White Tracks Crypto Scams. It’s Going Just Great
Personally I'm a fan of the one where in the middle of talking about how smart he is he mixes up Cartesian and Euclidean.
ahelwer··on Against longtermism (2021)
The truest mark of an ideology is that its adherents don't even think they're being ideological, just reasonable.
ahelwer··on Against longtermism (2021)
Every good ideology needs a "Big Other" which subsumes all ordinary moral concerns. How could you think about something so trivial as the atrocity you see before your eyes when wealth formation/history itself/divine will/trillions of future human lives are at stake?
ahelwer··on Vacations in the Soviet Union
I know you're asking this question in bad faith because you posted the same thing elsewhere in the thread, but the answer here is because they will be outcompeted by companies that don't offer that policy. In much the same way, businesses that use child labor will outcompete those that do not. Of course a great many people are against child labor, but you don't see people telling them to go start their own company that doesn't use child labor if they're so against it.
ahelwer··on Vacations in the Soviet Union
If you aren't careful you'll find yourself making an argument against maternity leave, like you just did.
ahelwer··on Vacations in the Soviet Union
I'm happy you've boiled your recharging needs down to a science but none of this compares with long contiguous periods of unstructured time you can choose to use as you wish. Three months off every decade? Really?
ahelwer··on Vacations in the Soviet Union
We do have that, it's called the global south under neocolonialism.
← PreviousPage 2 of 34Next →