leafmeal
Joined 8 years ago
Joined 8 years ago
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.
https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...