HN user

alpinisme

458 karma
Posts2
Comments170
View on HN

One of the challenges here is that the skillset we are in danger of letting atrophy is essentially unbounded. It’s not a specialized tool like a calculator, where you have a well scoped domain of problems you are offloading. granted, in practice many people are using ai for specialized domains (like coding or producing visual designs). But whatever level of abstraction they are currently working at is not, in principle, something that they couldn’t also offload to ai.

That shows that it’s been since 1991 since we saw similar five year increases in prices. Which is a long time. You also have to be careful not to zoom out so far you get into the “we all die anyway” scale where you’re not really tracking things that are meaningful to on-the-ground, as-lived reality

Yes but those are very different time scales of consequence. Definite immediate reward or possible long term consequence. People with active drug addictions are known to vastly overprioritize the former to the detriment of the latter. I mean, they also know the risks of overdose but they’re not all getting testing kits for their drugs.

Think of it like being a guest

But I only hold guests responsible for what they say while in my home. Not what they have said to their friends in DMs 6 months beforehand.

But the analogy is imprecise because the border patrol isn’t inviting people and revoking invitations when they misbehave. They are granting access to public spaces or revoking that. And the idea that a public place should do anything more than gate on current activity in that place is insane (for speech!)

Totally. Those conversations often also overlook the fact that some people are just driven and curious and risk taking by personality (especially after they’ve made it to adulthood and have entrenched work habits that may have been partly the result of economic incentives along the way). Even if you start having diminishing (personal financial) returns on added effort at some point, or even hit a ceiling, there are plenty of people who will keep pushing just because it’s all they know how to/want to do. Or because they get a thrill out of knowing that they’re on top of a still growing product (how much bigger can I make this?). Or because they are vying for non-financial social status.

I highly doubt there is any overt pressure in academia right now to use AI. It’s a relatively conservative institution. But there’s certainly pressure to publish (publish or perish being a common phrase for decades), and competition for jobs in academia is fierce. That’s what I meant in referring to long term pressure.

The choice only remains if using it isn’t a huge multiplier. If it is a huge multiplier/accelerator, then for a while it will be ambiguous and the choice will remain. But as time goes on, the gains of using it will be so apparent and the advantage of the people who use it so great (in publication numbers, hiring, etc) that it will force others to.

I don’t say that with any particular relish. But I am skeptical of the choice angle past a certain point.

How would archive not be a revenue drain if there was pay per read articles? I would think the incentive to try to find a free version would increase not decrease, especially for a wide class of articles that are basically, “I’m curious but not that curious” which in aggregate I might pay money for (they add value to my subscription) but individually feel wasteful (do I really want to pay to satisfy this curiosity?)

Honestly depending on how it’s implemented the course could be really socially useful, both for establishing some baseline knowledge that could help avoid some of the pitfalls of too-credulous use of AI and for spurring people to innovate in their local businesses because they’ve been exposed to ideas earlier than would happen “naturally” as ideas just percolate through society

Arrays are not dynamically sized though (handling runtime sizes) and don’t have efficient append/concat. The point of the dependent types is that you can have the type system track that concat creates an M+N length vector, sort preserves length (and adds a sorted guarantee that slice preserves), etc. Sure you can do a lot with templates, but that’s advanced templates not just “C++ arrays” in a throwaway “literally that” way.