Tag
Discusses Elon Musk's claim that programming will eventually die as AI generates binaries directly from text descriptions, comparing source code to assembly and reflecting on verification and abstraction challenges.