adrianN

5 ms·

31.
by adrianN 1mo ago
You carefully check that the problem is formalized correctly and then trust the Lean machinery to check the proof.
32.
by adrianN 1mo ago
I don’t think that is a majority behavior. Few people consume to own the libs. At least far fewer people than those who just like meat more than they care about their marginal contributions to climate change.
33.
by adrianN 1mo ago
Decades too late unless you suggest we start killing people.
34.
by adrianN 1mo ago
That seems not to be the case in large parts of Europe. Why do you think that is?
35.
by adrianN 1mo ago
To be fair, often that convincing happened at gunpoint. I would want to live in a society that enforced climate action with weapons. But of course politicians could do a lot more to motivate climate action before guns would be needed.
36.
by adrianN 1mo ago
My washing machine doesn’t care how the electricity is produced, but most people can tell a vegan dish from a steak.
37.
by adrianN 1mo ago
Arguably people holding NVIDIA are LLM shareholders.
38.
by adrianN 1mo ago
While its true that there are no correct or canonical forms for the environment, there are states with large biodiversity and states with comparatively small biodiversity. Generally we regard the former more valuable than the latter.
39.
by adrianN 1mo ago
Struggling with languages is often a function of not putting enough hours into learning them, and less a function of age. Of course finding time can get more difficult after you leave school.
40.
by adrianN 1mo ago
It probably was not their first attempt.
41.
by adrianN 1mo ago
There is nothing that can absorb millions of new workers. If AI destroys jobs to that degree pitchfork manufacturers will be the only ones left in business. Where I live at least right now it is quite hard to find contractors for anything a
42.
by adrianN 1mo ago
If you want AI-proof careers it seems risky to go into knowledge work at all. Robotics lag behind mere computation, so something where you do awkward work in places designed around human bodies seems a lot safer. Plumbing, landscaping or so
43.
by adrianN 1mo ago
But what share of translation dollars are non-formulaic content? To me it seems that there are tons of manuals for dishwasher and such to translate (where from my experience quality basically doesn't matter) and only a limited amount o
44.
by adrianN 1mo ago
People and ecosystems adapt to the status quo. The problem with climate change is not the temperature per se (earth has been hotter in the past) but the rate of change that makes adaption very difficult.
45.
by adrianN 1mo ago
You can have both less code per problem and more code overall when you make problem solving cheap enough.
46.
by adrianN 1mo ago
Without concerted action against it, people with power have better chances of increasing their power than people without power. Power naturally accumulates into small groups. Empirically it seems less likely that people with power are parti
47.
by adrianN 1mo ago
The economic utility of car transportation is also far higher than that of lettuce.
48.
by adrianN 1mo ago
We have functional machines that replace heart and lungs (for a while). Unfortunately they also mess up your blood cells and there is of course a risk of sepsis.
49.
by adrianN 1mo ago
Watermarking is just one puzzle piece in the surveillance state; the legislation around it another.
50.
by adrianN 1mo ago
I find it amusing that you classify a SQL database running on a Unix box as simple and unchanged in decades. Databases are some of the most complex pieces of software we regularly use and subject to highly active research. The operating sys
51.
by adrianN 2mo ago
Storing hydrogen in big underground salt caverns at reasonable pressures and converting it back into electricity in a big power plant is probably more efficient and safer than storing it in millions of tanks in cellars at 700 bar and using
52.
by adrianN 2mo ago
True AGI would upend society in such a way that I'm not sure that being a shareholder of anything would be meaningful. Perhaps being a pitchfork manufacturer is the winning play in this scenario.
53.
by adrianN 2mo ago
Running the laptop hot ages the battery even when you’re plugged in.
54.
by adrianN 2mo ago
„We spent money on weapons, let’s use them“ is actually a frighteningly common argument.
55.
by adrianN 2mo ago
A street full of EVs in a traffic jam is also pretty good. No exhaust pollution and low tire wear due to low speeds and low acceleration.
56.
by adrianN 2mo ago
Any air purifier should be able to cycle the air in a normal room often enough that it should be quite clean in a short time.
57.
by adrianN 2mo ago
A policy that requires job hopping to get good wages discriminates against people who are less mobile: workers with families, elderly parents, older workers with more ties to their neighborhood, people who don’t have enough savings to move,
58.
by adrianN 2mo ago
At least the extroverts among us.
59.
by adrianN 2mo ago
Imagine the air quality of even a small city where wood is the primary source of heat in winter…
60.
by adrianN 2mo ago
How bad is the first OCR pass allowed to be to still count as proofreading? Can you let Claude compare the images with /dev/random and make the necessary edits to correct differences?

More ›