1961년과 1984년 프로그래밍 모델을 원래 코드로 되살렸다

1961년 휴리스틱 컴파일러와 1984년 KBEmacs가 원래 코드로 다시 작동했습니다. 제프 슈레이저(Jeff Shrager), 켄트 M. 피트먼(Kent M. Pitman), 미아 골렉(Mia Golec)이 두 프로그램을 재현했습니다. 저는 두 프로그램의 나이보다, 그 안의 프로그래밍 이론을 실제 작동으로 확인했다는 점이 눈에 들어왔습니다.

1991년 MS-DOS판 Civilization 복원 작업도 오래된 프로그램을 다시 살리는 흐름에 놓입니다. 그 작업은 빌드 결과가 원본 실행 파일과 바이트 단위로 일치했지만, 원본 소스와 같다는 보장은 하지 않았습니다. 이번 연구는 재현된 결과와 함께, 코드에 담긴 프로그래밍 이론이 실제로 작동하는지도 살핍니다.

반가운 점은 두 시대의 설명을 실행 결과로 다시 시험했다는 것입니다. 컴파일러의 결과는 허버트 사이먼(Herbert Simon)의 1963년 논문에 실린 컴파일된 코드와 일치했습니다. KBEmacs는 1984년 12월 자체 테스트 시퀀스를 재현했습니다. 겉보기엔 다른 두 프로그램이 모두 기존 지식을 활용한다는 유사성도 드러났습니다.

재현으로 확인한 범위는 구체적입니다. 컴파일러에서는 논문에 실린 결과를 대조했고, KBEmacs에서는 자체 테스트의 SQRT 시퀀스를 재현했습니다. 이 결과만으로 두 이론 전체가 입증되지는 않습니다. 연구진은 재현 작업 대부분에 Claude Code(Opus 5.5)를 활용했습니다. 이들은 오늘날의 더 강력한 AI 코딩 보조 도구에 명시적이고 실행 가능한 프로그래밍 이론이 대체로 빠져 있다고 지적합니다.

최근 코딩 보조 도구에 맡긴 작업 하나를 골라 같은 요청으로 다시 수행시키고, 결과가 반복되는지 살펴보십시오. 이어 어떤 규칙으로 답을 냈는지 물어보십시오. 결과는 재현되는데 규칙은 분명하지 않다면, 실행 능력과 명시된 이론이 별개라는 점이 드러납니다.

코딩 도구를 고를 때, 먼저 결과의 재현성을 확인하십니까, 아니면 판단 규칙을 설명하는지를 먼저 보십니까?