The author argues that LLMs are not similar to compilers because they lack precise semantics and force users to relinquish control over the underlying system, leading to a lack of functional correctness and potentially dangerous laziness in software development. To mitigate this, the author suggests that specification and verification will become the bottleneck and core skill in software ...