▲GN⁺ 2025-04-04 | parent | ★ favorite | on: Dijkstra의 "자연어 프로그래밍의 어리석음"에 대하여 (cs.utexas.edu)Hacker News 의견 사람들이 LLMs(대형 언어 모델)을 옹호하는 것이 멋지다는 의견이 있음 반대로, 중간 복잡도의 프로젝트를 코드에서 자연어로 변환하면 어떻게 될지 궁금함 소스 코드의 행동과 요구사항을 충분히 설명할 수 있는지, 자연어 설명이 더 이해하기 쉬운지 의문임 복잡성과 정밀성을 관리하기 어려운 이유로 간단한 애플리케이션이 주로 시연됨 법률 용어가 평범한 영어가 아닌 이유가 있음 Hal Abelson의 오래된 인용문이 떠오름 컴퓨터 과학은 과학이 아니며, 컴퓨터와 관련이 적음 컴퓨터 혁명은 사고 방식과 표현 방식의 혁명임 수학은 '무엇'에 대한 정밀한 개념을 제공하고, 계산은 '어떻게'에 대한 정밀한 개념을 제공함 자연어에는 인간의 정신적 한계에서 비롯된 제한이 있음 프로그래머로서, 문제나 부조리가 코드 구현 후에야 명확해짐 자연어로 정확히 설명하는 데 시간이 더 걸림 기계어는 불필요하게 위험한 인터페이스로 인식됨 고급 프로그래밍 언어가 개발되어 실수를 줄임 Rust는 실수를 명확히 지적하여 개발자에게 유리함 LLMs는 반쯤 지능적인 추측 게임처럼 느껴짐 Rust의 접근 방식이 더 선호됨 자연어로 컴퓨터 프로그램을 생성하는 대신 직접 실행해야 함 그래픽 시스템과 틱택토 프로그램의 예시가 주어짐 파일 시스템과 멀티태스킹 OS에 대한 프롬프트도 필요함 내년 4월 초에 이러한 발전을 기대함 자연어는 규칙과 명령을 전달하는 데 적합하지 않음 미국의 법률 해석 문제를 예로 듦 컴퓨터 언어의 명확성과 책임감이 균형을 이룸 특정 도메인을 위한 언어는 자연어가 제공할 수 없는 정밀성과 명확성을 제공함 반대로 시도하면 더 많은 작업이 필요함 Forth, PostScript, Assembly는 코드 실행 환경과 잘 맞는 '자연' 프로그래밍 언어임 '자연'이란 인간과 컴퓨터 중 누구에게 자연스러운지를 묻는 것임 AI는 인간 언어를 컴퓨터에 자연스럽게 만들지 않음 AI는 자체 환경에 맞는 언어를 발명할 것임 고급 프로그래밍 방법은 자연어보다 프로그래밍 언어처럼 보이기 시작할 것임 프로그래밍을 원하지 않는다면, 프로그래밍을 수행할 지능을 지시할 방법이 필요함 고급 지시 방법은 자연어보다 교육처럼 보일 것임 실수가 오류 메시지로 나타나는 것이 큰 개선임 일부는 오류 메시지를 무시할 수 없는 것을 더 귀찮아함 프로그래밍 언어의 장점을 판단할 때, '프로그래밍의 용이성'을 실수의 용이성과 동일시하는 사람도 있음
Hacker News 의견
사람들이 LLMs(대형 언어 모델)을 옹호하는 것이 멋지다는 의견이 있음
Hal Abelson의 오래된 인용문이 떠오름
자연어에는 인간의 정신적 한계에서 비롯된 제한이 있음
기계어는 불필요하게 위험한 인터페이스로 인식됨
자연어로 컴퓨터 프로그램을 생성하는 대신 직접 실행해야 함
자연어는 규칙과 명령을 전달하는 데 적합하지 않음
특정 도메인을 위한 언어는 자연어가 제공할 수 없는 정밀성과 명확성을 제공함
Forth, PostScript, Assembly는 코드 실행 환경과 잘 맞는 '자연' 프로그래밍 언어임
고급 프로그래밍 방법은 자연어보다 프로그래밍 언어처럼 보이기 시작할 것임
실수가 오류 메시지로 나타나는 것이 큰 개선임