共 1 篇相关文章
Dijkstra在1978年撰文批评"自然语言编程"的愚蠢,认为自然语言的模糊性与程序的精确性根本冲突。这篇旧文在Hacker News重新引发热议,对当下大模型驱动的AI编程工具仍有深刻启示:验证环节的价值正在上升。