It’s funny because I believe the opposite for both of these. Living with a teacher, I’ve learned that the most important objectives of k-12 education are teaching kids how to act like adults in society and behave around others. This is something I don’t think AI will ever be good at teaching.

A few other things, like learning to read and write, basic math, critical thinking are secondary, but important, but, I imagine not the best use case for AI either.

Beyond that however, you’re an adult equipped to take learning into your own hands with all the understanding and agency to make it happen. With the help of AI I don’t think there’s much you couldn’t learn, at least that doesn’t require human interaction (e.g. teaching).

It's interesting how this intersects with Tao's point, about the social benefits.

It looks like this should be possible with tasks https://zed.dev/docs/tasks#variables but I haven't put enough time into figuring it out yet.

Maybe my use case is too specific, but I'll spell it out just in case: I try and open a Django project in Zed. I go to a test file. There's a > arrow next to the test to run or debug, but it will only run it with PyTest (I use unittest, but PyTest is backwards compatible, so w/e). When I try to run it, it fails because some environment variables I need are not set. I don't see how to configure them so I'm dead in the water.

I'd also love to run the Django server with a debugger attached. It's not clear to me how to do that. I haven't found the rights docs. Dead in the water again.

Maybe I need to spend more time exploring and reading the docs :)

I haven't seen anyone else complain about this so I figure I must be missing something. Does Zed let you set up run configurations like this? If not, how do users actually run their code? Just in the terminal? It seems backwards to me to use a fancy IDE, but then run all your code in the terminal. I love IDE features like clicking on the test I'm editing to run it, and setting breakpoints in the IDE.

Does anyone else have this problem?

Overall I think we would all be happier if efficient machines take away the drudgery of our daily work and allow us to focus on things that really matter to us. . . as long as our basic needs are met.

I think the market works amazingly as long as there's government to line the incentives up right.

The general idea is that two plots of land in the middle of a city, one with a sky scraper, and its neighbor, a bare parking lot, are taxed the same. You don't pay more for development.

This general scheme makes intuitive sense. It prevents speculation, and encourages development (if your parking lot costs the same in taxes as the sky scraper, you might as well get some more rent from it and make it more productive.

It's nice from a "libertarian" perspective as well because it doesn't force you to develop your land. It just puts incentives in the right places.

Finally, if land is taxed more uniformly, as you described, a landlord in the city, who owns their property outright, is collecting far more in revenue than one with a similar building somewhere more remote, simply because of it's location. Nothing the landlord did justifies the higher prices, it's the restaurants near by, the subways, the well employed people in need of homes that demands higher prices. Since all that value is produced by society, it makes sense to tax it and spend it on the public good. That value, is exactly the land tax.

I'm pretty sure these were used to store the built in dictionaries on early mobile phones, especially for the implementation of T9 word and similar programs.