1. 들어가며
요즘 나는 블로그 댓글 보는 재미로 산다. 사람들의 칭찬 한마디 보는게 이제 8개월된 딸내미의 방긋대는 얼굴만큼 흐뭇하다. ‘이러다 너드들 사이에서 강풀 (만화가)되는거 아냐?, 우훗’, 상상도 해보다가 이내 짧은 글심이 떠올라 좋은 주제나 찾아야지 생각하게 된다. 이번에 풀고 싶은 주제 역시 지난번처럼 신문기사를 읽다가 떠올랐다. 안철수님의 “하드웨어 대응 만으로는 승산없다” 라는 기사의 한 부분에 이런 언급이 나온다:

“얼마 전 하드웨어·소프트웨어·인터넷 서비스 등으로 분류해 IT업계 트렌드를 설명했더니 대기업 전자회사 최고기술책임자(CTO) 한 분이 소프트웨어는 하드웨어를 구동시키는 하나의 부분이므로 분류가 잘못됐다고 지적하더라.”

“소프트웨어가 하드웨어를 구동 시키는 하나의 부분”이다. 왠지 울컥하다. 그래, 하드웨어로 성공한 우리나라에서 소프트웨어의 역할은 그게 맞다. 빠른 CPU, 넓은 메모리에 광활하고 밝은 디스플레이, 미려한 외관으로 장식된 하드웨어를 소프트웨어는 “구동” 시키고 있다. “구동”이 주는 어감….그렇지, 소프트웨어는 뛰어난 하드웨어가 돋보이도록 낮은곳에 숨어 봉사하고 있다.  SW에 큰 관심없는 일반인들에겐, 형체없는 소프트웨어를 설명하는데 이것보다 더 좋은 표현이 있을까?. 얼마전 SW벤쳐에서 일하는 내게 아버지가 “너희 회사 공장은 어디있냐?” 하신적도 있다 (공장은 마음속에 있어요 아버지). 아마도 “하드웨어 나고, 소프트웨어가 나오는 거다” 라는게 상식처럼 되어버린 세상인데, 근데, SW로 온가족이 먹고 살아서 그런가, 왜 나는 이 기사에 울컥하고, 뜨거운 것이 솟아오르는 건가?…그렇게 고민하며 주말을 보냈다.

나는 이 에세이에서 그 반대의 이야기를 하고싶다.  “소프트웨어가 하드웨어의 애비다” 라고 외쳐본다. 여기에서 나는 소프트웨어-본질-의 역사와 하드웨어-우연-의 역사에 대해서 소개하고, 역사가 우리 프로그래머들에게 던지는 의미에 대해 쓴다. 이 글의 큰 줄거리는 지난 블로그에서도 소개했던 [1] 에서 영감을 얻었다. 그리고 좀 더 깊게 들어가는 증명은 컴퓨터 이론 텍스트북 [2,3] 에서 찾을 수 있다 (뭐, 증명이라고? — 그렇다. 심하게 재미 없을수도 있다).

2. 라이프니치의 꿈
계산과 논리는 인류가 기록물을 남긴 시절 이전부터 존재했을거다. 1+1=2 라는 사칙연산말고도, 일련의 논리적 절차를 거쳐서 결과를 보이는 계산 — 즉 알고리즘– 에 대한 인류의 자각은 아주 먼 옛날(bc)의 기록에서도 찾을 수 있다 [4]. 비 전공자에게 알고리즘은 좀 낯설수 있으니 예를 들면서 시작하자.

문제: 주어진 임의의 숫자 나열 중 가장 큰 숫자를 찾아라

1) 제일 큰 숫자를 저장할 공간을 a 라고 부른다.
2) 제일 처음 숫자를 a에 집어 넣는다.
3) 모든 수에 대해서 a와 비교해, a보다 더 큰 숫자가 나오면 a에 집어 넣는다.
4) a를 출력한다.

엄청 간단하다. 한단계 이상의 논리적 절차를 걸쳐서 결론을 냈으니 아무튼 알고리즘이다. 조금 더 복잡한 알고리즘을 소개하자면 binary search같은것이 있겠다.

문제: 순차적으로 정렬된 숫자들 가운데서 숫자 K를 찾아라

1) K와 중앙에 위치한 수를 비교한다.
2) 비교한 결과 같을 경우, 찾았음을 알리고 종료한다.
3) K가 작을 경우엔, 처음부터 중앙 바로 전까지의 숫자를 가지고 1)을 반복한다.
4) K가 클 경우엔, 중앙 다음부터 마지막까지 숫자를 가지고 1)을 반복한다.

이같은 알고리즘의 기록은 bc.300 년전 이상으로 올라간다 [4]. 일련의 논리적 절차를 거치는 계산이 알고리즘인것은 알았지만, 17세기까지 아직 절차를 어떻게 표현할 것인가는 인식하지 못했다. 현대의 프로그래밍 언어가 바로 그런 역할을 한다.

그런데 역사상 최고의 수학자중 한명인 독일의 라이프니츠(1646-1716)는 그 옛날 이런 발칙한 상상을 시작한다.

“계산과정(알고리즘)을 몇가지 글자로 표현할 수 있다면, 그럼 어쩌면 세상 모든 알고리즘에 항상 답을 주는 마법과 같은 기계(machine)를 만들수 있지 않을까?”

다시 말해서, 알고리즘을 정해진 언어로 표현해 낼 수 있다면, 그럼 우리는 그 언어로 써내려간 스토리를 마법의 공식에 집어 넣을 수 있지 않을까? 그리고 그 공식은 즉각 답을 내어준다니, 라이프니츠의 상상은 진정 대인배다웠다. 프로그래머라면 금방 알것인데, 라이프니츠의 상상은 우리가 매일 하는 그짓이다. 프로그래밍 언어로 알고리즘을 써내려가고, 이를 컴퓨터에게 주면, 컴퓨터는 항상 답을 준다. 그런데, 그가 발칙한 이유는  이 단어, “항상 (Always)”, 에 있다. 정말 모든 질문에 컴퓨터는 정답을 이야기 하나? 이 질문이 주는 깊이는 대단해서, 참으로 증명되면 적절한 데이터를 주었을때 “신이 존재하는가?” 의 질문에도 답을 할수 있다는 뜻이다. 이에 감명받은 어떤 신학자는 수학 공식으로 신의 존재를 증명하려는 잉여행동까지 감행한다.

이를 라이프니츠의 Dream Machine 이라고 부른다. 그가 상상한 마법의 기계(Machine)는 물리적 기계(하드웨어)가 아닌 무형의 “공식” 혹은 “알고리즘” 이다. 그당시 상상으로는 이 마법 레서피가 적힌 책을 들고 있는 사람에게 알고 싶은 질문을 (프로그램 언어로)써서 주면 그 사람이 마법 레서피로 주어진 문제를 계산해 결과를 가르쳐주는 것이다. 컴퓨터는 컴퓨터인데, 사람이 계산하는 컴퓨터라니, 엄청 느렸을 거고 담당자의 기분 따라서 결과가 달라졌겠지?

어쨌든, 라이프니츠는 인류가 “Let us calculate!” 이렇게 외치는 순간이 곧 올 것이라 믿었다. 라이프니츠 이후, 불(Boole), 프뤠게(Frege), 칸토(Cantor), 힐버트(Hilbert)로 이어지는 논리학, 수학의 거장들이 하나 하나 문제 해결을 위한 단초를 제공하게 된다. 그들은 이 문제에 대해, “Yes: 그래 그런 마법의 공식은 존재해!”, 혹은 “No: 그런 마법 공식은 존재할 수 없어!”, 이 둘 중 한가지를 증명해내기 위해 평생을 잉여짓으로 보낸다. 그리고 20세기에 와서야 우리는 결론에 도달했다.

3. 튜링의 잉여짓
수백년을 이어온 이 질문은 영국의 젊은 천재 수학자 튜링 (Alan Turing, 1912-1954)[6]에게도 최고의 도전거리였다. 하지만 안타깝게도 그 보다 앞서 이  질문에 답을 한 또 하나의 천재 수학자가 있었으니 그가 바로 오스트리아 출신 괴델 (Kurt Godel)[7]이다. 괴델은 25세 되던 1931년 Incompleteness Theorem 을 발표하고, 라이프니츠의 꿈 – Dream Machine – 은 존재할 수 없음을 증명했다. 즉 세상엔 답을 할 수 없는 어떤 문제 (질문)가 존재하는 것이다. 어쩌면 당연하다. 어떻게,”엄마 좋아, 아빠 좋아?” 혹은 “짜장이 갑이냐, 짬뽕이 갑이냐?”  이런 질문들에 답을 할 수 있겠는가?

괴델의 완벽한 증명에도 불구하고 튜링은 왠 똥고집이었는지, 자신만의 사고로  Dream Machine이 존재할 수 없음을 증명하기 시작했다. 잉여짓의 좋은 예다. 그 결과가 컴퓨터 학과 학생들의 헬게이트를 열어버린 튜링 머신이다. 여기서 나도 뭔 똥배짱인지는 모르지만, 튜링의 증명을 소개한다. 그동안 두편의 블로그로 쌓아온 “이해하기 쉽게 쓰는 블로거”의 이미지를 한방에 날려버릴 절호의 찬스다! 굳이 이런 짓을 하는 이유는, 이 증명안에 설명하긴 참 어렵지만, 심오한 진리가 있기 때문이다.

컴퓨터 프로그램은 가장 단순히 표현하면 위의 그림과 같은 일을 한다. 즉 프로그램 P는 주어진 인풋 데이터를 가지고, 질문이 참인지 거짓인지를 대답한다. 바로 이때, “어 근데 어떤 질문들은 참/거짓 말고 다른 대답을 하잖소?” 라고 물을 것이다. 예를 들어, 아까 설명한 최대값 찾는 알고리즘은 결과값이 숫자여야 한다. 하지만 그런 질문들은 쉽게 참/거짓으로 변환이 가능하다. 즉, 나열된 숫자에 대해서 “1보다 더큰 수 있냐?”, “2보다 더큰 수 있냐?” 이런 식으로, “아니오” 가 나올때까지 질문하는 것이다. 이것이 라이프니츠 전까지 존재했던 모든 알고리즘 혹은 논리적 사고의 가장 단순한 형태다.

우리들의 아버지 튜링은, Input, P, 와 T/F 결과값으로 이루어지는 이 단순한 형식을 신비하게 변형시킨다. 아래의 그림은 그의 Halting 프로그램을 표현 한 것이다.

이 프로그램은 특이하게 인풋으로 프로그램(P)과 데이터(I)를 모두 받는다. 그리고 내부에서 하는 일은 받은 P를 데이터 I를 넣어 돌리는것이다 (너드 언어로 에뮬레이션 한다). 그리고 나온 결과 값이 참일 경우, 거짓을 출력하고, 반대로 거짓일 경우 참을 출력한다. 그럼 이런 프로그램을 진짜 만들 수 있냐? 라는 질문이 나오는데, 조금만 생각해 보면 그리 어렵지 않다. 잠시 “너드” 모드로 들어가서 설명하자면:
– H라는 프로그램과 P라는 프로그램 모두 C 언어로 짠다.
– H는 내부에서 gcc 를 콜해서 P를 컴파일 한다. P의 바이너리가 나온다.
– Fork하고 execute해서  P를 돌린다. 데이터는 I를 넣어준다.
– 나오는 결과값 검사해서 반대를 출력한다.

여기까지 읽고 계신분들께 존경을 표한다. 갈길이 그리 멀지 않다. 여기서 한가지 이상한 짓을 해보자. 아래와 같이 H 프로그램의 인풋으로 H 프로그램 소스코드를 두번 넣는 것이다.

이 경우 H프로그램이 하는 일은 무엇일까? 다름 아니고 H프로그램 자신의 소스코드를 컴파일하고, 돌려서 결과를 반대로 출력하는 것이다. 그럼 위의 경우에 H 프로그램의 결과값은 무엇이 될수 있을까?

참: H가 참이 되려면 안에서 돌아간 H가 거짓이어야 한다…어?
거짓: H가 거짓이려면 안에서 돌아간 H가 참이어야 한다…어?

말이 안된다. H는 어떤 결과도 낼 수 없다. 다시 말해  H라는 프로그램은 존재 할 수가 없는 것이다.  바로 이것이 튜링이 라이프니츠의 Dream Machine을 반증하기 위해 만들어낸 존재할 수 없는 알고리즘 (Undecidable problem) 인 것이다.

4. 폰뉴먼과 우연한 하드웨어
과학에 2등은 없다. 튜링은 괴델보다 늦게 증명을 했으니 그는 루저였다. 그러나 튜링은 괴델과 함께 타임지의 20세기 100대 인물에 올라가 있고, 컴퓨터의 아버지라 불리고 있다. 매년 주어지는 컴퓨터의 노벨상을 튜링 어워드라 부른다. 튜링의 놀라운 업적은 증명과정에서 보여준 H라는 프로그램에 있다. 튜링 전에도 원시 형태의 컴퓨터들이 있었는데, 이것들은 기계나 전기를 활용하여 단 한종류의 알고리즘만을 구현하는 것이었다. 이를테면 아래의 사진은 튜링보다 100년이나 앞서 시도됐던 Charles Babbage의 초대형 미분방적 계산기 부속품이다. 오로지 미분방적식만 풀 수 있는 거대한 기계다.

그런데 튜링의 증명과정에서 보여준 H 프로그램은 그 내부에서 임의의 프로그램 P를 수행할 수 있다. 그는 어떤 형태의 프로그램 P든 간에 돌리고 결과값을 산출할 수 있는 H 프로그램을 어떻게 만들어 내는지를, 읽고 쓰기가 자유로운 테이프를 활용해서 보여주었고, 이를 우리는 Universal 튜링 머신이라 부른다. 어떠한 종류의 프로그램 (SW)이든 받아서 돌리고, 결과를 보여주는 어떤것, 왠지 컴퓨터의 냄새가 솔솔 나지 않는가?

이 아이디어를 처음 하드웨어로 구현한 사람은 바로 폰 뉴먼 (John Von Neumann) [8]이다. 폰 뉴먼은 20세기 최고의 천재로 불렸고, 별의 별 분야(사실 잘 모르니 이렇게 표현할 수 밖에)에 업적을 남긴 수학자였다. 그는 1945년, 튜링이 생각해낸 방식을 좀 더 구체화시켜서, 프로그램이 메모리에 저장되는 컴퓨터 EDVAC [5]의 컴퓨터 구조를 고안했다(너드언어로, 프로그램 카운터, 논리연산, 레지스터, 연산과 데이터 메모리 통합 고 따위것들이다). 그가 써내려간 구조를 하드웨어 천재들 ( John Mauchly and J. Presper Eckert)이 구현해 내는데, 이것 저것 잡다한 아날로그 전기부품을 다 써보다가, 우연히 TV등에 널리쓰인 진공관을 활용해 이런 괴물 컴퓨터를 만들어 내기에 이른다.

여담으로, 폰뉴먼은 낚아채기의 달인이다. 폰뉴먼은 튜링의 논문에서 아이디어를 얻었으면서도 자기 저서들에서 이를 언급하지 않았다. 또 함께 일했던 하드웨어 달인들의 영향을 무시하고 무명의 용사들로 만들어 버린 결과, 훗날 그들과 특허 전쟁을 치룬다. 괴델과 튜링 모두 타임지의 20세기 100인에 선정되었지만, 폰뉴먼은 대단한 업적에도 불구하고 선정되지 못했다. 어쨌든, 폰뉴먼의 구조는 70년이 지난 지금도 여전히 유효해서, PC, 타블렛, 스마트폰 모두 여전히 폰뉴먼 구조라 부른다. 다 알다시피, 이후 6-70년대 실리콘과 마이크로프로세서의 혁명으로, 컴퓨터는 인류에게 본격적으로 침투했다.

5. 결론
여기까지 써놓으니 읽는분들께 왠지 미안하다. “이따위 길고 지루한 역사 이야기만 하다니, 대 실망이다!” , 이런 원망이 들리는듯 하다. 내 얕아빠진 지식을 길게, 가까스로 풀어놓은 이유는…

“소프트웨어는 하드웨어를 구동시키는 하나의 부분 ”

나는 이 말이 진정 듣기 싫기 때문이다.

bc 300년전에도 존재한 유클리드의 알고리즘, 라이프니츠가 상상한 모든 질문에 대답해 주는 Dream Machine, 그리고 컴퓨터의 표본인 튜링의 Universal Machine 까지, 그 어떤 것도 하드웨어가 아니었다. 인간의 두뼘남짓 뇌에서 피어난 논리의 결과물, “지식(Knowledge)이란 무엇인가?” 이 질문에 인생을 걸었던 철학/과학자들의 피와 땀이 만들어 낸 결과물은 바로 소프트웨어다.  (참고로 철학박사인 친한 형과 비슷한 대화를 나눈적이 있다. 그 형은 위에 언급된 모든 사람들을 알고 있었다.)

위 카툰처럼 우리의 소프트웨어와 프로그래머들이 받고 있는 대접이 너무 씁쓸하다. 소프트웨어는 우연의 산물 하드웨어를 보조해주는 또 다른 우연이 아니라, 태초부터 인간의 인간다움속에 내재돼있던 고귀한 창조물이다. 학부 1학년이 과제로 짜는 100줄의 코드도, 수백명 엔지니어가 함께 짜는 안드로이드의 100만줄 코드도 모두 동일하다. 주어지는 문제는 다르지만, 우리의 이 작은 뇌로 고도의 생각을 집중하고, 논리의 다리를 쌓아나가 목표에 다다른다. 우연한 하드웨어 (x86, 메모리 크기, 디스크의 속도)와 환경 (데드라인, 돈, 사회적 시선)의 제한에 둘려쌓여 있지만, 우리는 그 한계들마저 소프트웨어로 계산하고, 하나 하나 해결해 나가는 그 즐거움에 취해 산다.

“소프트웨어는 하드웨어를 구동시키는 하나의 부분 “

천하에 불효자들이나 지껄일 수 있는 소리일 뿐이다.

– 박상민 http://twitter.com/#!/sm_park

[1] The Universal Computer: The Road from Leibniz to Turing by Martin Davis
[2] Introduction to Automata Theory, Languages, and Computation, by John E. Hopcroft, et al.
[3] Introduction to the Theory of Computation, by Michael Sipser
[4] Euclidean Algorithm: http://en.wikipedia.org/wiki/Euclidean_algorithm
[5] EDVAC: http://en.wikipedia.org/wiki/EDVAC
[6] People of the century: Alan Turing (http://www.time.com/time/magazine/article/0,9171,990624,00.html)
[7] People of the century: Kurt Godel (http://www.time.com/time/magazine/article/0,9171,990621,00.html )
[8] John Von Neumann: http://en.wikipedia.org/wiki/John_von_Neumann

1. 들어가며
요즘 포털을 통해 접하는 IT 뉴스 제목들은 한결같이 “위기의 한국 소프트웨어(SW)… ” 인듯 하다. 특히 지난주 구글이 모토롤라 Mobility 사업부를 인수하면서, 안드로이드에 의존하는 스마트폰 사업이 몰락하는 것 아닌가 하는 두려움이 극에 달했고 결국은 “한국 정부: 안드로이드와 경쟁할 새 오픈소스 OS 개발” 이라는 기사마저 출현케 했다. 이럴 때 영어로는 “성스러운 똥” 이라는 단어로 대응하고 싶다. 꼭 한국만 SW 분야에서의 위기 의식을 느끼는 것은 아니다. HP가 PC 사업을 접고 현금을 모두 끌어모아 Autonomy 라는 영국 SW 회사를 인수준비 한다는 기사를 보았을 것이다. 미국의 초대형 IT회사들 근본마저 흔들고 있는 소프트웨어 혁명앞에 우리는 두려움에 떨고 있는 듯 하다.

하지만 이것이 한때의 지나가는 바람이 아님은 확실하다. 네츠케이프 설립자이자, Facebook, twitter등의 잘 나가는 인터넷 기업들에 투자한 Marc Andreesen 이 지난주 월스트레이트 저널에 “왜 소프트웨어가 세상을 먹어치우고 있는가?” 라는 글을 기고했다. 여기에서 그는 제목 그대로 소프트웨어가 구식 산업을 먹어치우고 (disrupt) 있다고 진단하며 몇가지 예를 들었다:

•  아마존은 온라인 서점과 이북 (킨들)을 성장시켰고, 대형 서점 체인 Borders를 문닫게했다.
•  Netflix 는 영화 스트리밍을 정착시켰고, 구식 대여점 블록버스터는 결국 도산했다.
•  Farmville을 히트시킨 인터넷 게임 회사 Zynga와 Angry Birds와 같은 스마트폰 게임은 급격히 성장하고 있고, EA와 닌텐도와 같은 전통 게임 회사는 하락하고 있다.
• 가장 빠르게 성장하는 통신(telecom)회사는 Skype 이고, Qwest와 같은 구식 통신사는 날이갈수록 매출이 감소하고 있다.

Andreesen 은 정확히 보았다. 진정으로 소프트웨어가 세상을 먹어 치우고 있다. SW없이구식 산업으로 “눈부시게” 성장한 한국이 두려워하는 것은 기우가 아니다. 하지만 과연 우리는 미국 SW 시장을 제대로 알고 있을까? 갓 30년 남짓한 세월에 세상을 먹어 치우는 실리콘밸리의 화려함에만 집착하는 것은 아닐까?

2. 해커 문화가 근본이다
Steven Levy 가 쓴 Hackers 라는 책이 그 문화를 가장 잘 소개한 듯 하다 [1]. 실리콘밸리의 뿌리는 해커 문화다. 남의 시스템을 침범해서 정보를 훔치는 그런 해커가 아니다. 주말이나 주중에 일 끝나고 재밌어서, 궁금해서 등등 이유로 직업과 상관없이 SW, 하드웨어를 만들고 고쳐보는 그런 행동 말이다. 해커 문화의 시작은 전자공학, 컴퓨터공학을 전공하는 사람들이 아니었다. MIT의 모형 기차 동아리 (Tech model rail road club) 에서 의기투합한 새내기 몇명이 연구용 메인프레임을 뜯어보고, 운영체제를 고치고 새로 만들어보면서 해커 문화가 시작 되었다.  1975년 조그만 전자제품 회사 MITS 뒷 마당에서 큰 기대없이 만들어 $439 에 팔았던 Altair 8080라는 첫 PC가 있다 [2].

Altair 8080의 광고: 저 못생긴 것이 PC다.

이Altair가 해킹 문화를 폭발 시켰다. Altair는 운영체제, 컴파일러(프로그램 개발툴)와 같은 필수 SW도 없이 본체에 LED와 버튼 몇개 달려 있었고, 애초에 취미로 갖고 놀 장난감을 찾는 사람들을 타겟으로 했다. 싼 값에 사서 집에서 고쳐볼 수 있는 Altair의 매력에 빠진 사람들은 다양하게 이 조잡한 기계를 고쳐 보았다 (사실 SW가 없었으니, 해킹은 필수였다) . 예를 들자면:

• 하버드 기숙사에서 빌게이츠는 수업에 안나가고 Altair에서 돌아가는 BASIC 컴파일러를 만들어 팔았다. MS의 시작이다.
• 워즈니악과 스티브 잡스는 Altair에 관해 이야기 하는 동호회에서 처음 만나 해킹을 시작했다. 워즈니악은 곧 훨씬 더 진보된 PC인 애플1을 디자인한다. 애플의 시작이다.

1991년 핀란드 헬싱키 대학교의 21살 학부생 리누스 토발즈는 취미로 유닉스를 닮은 운영체제를 만들기 시작했다. 간신히 돌아가는 첫 버전을 완성한 후, 인터넷 메일 리스트에 자신의 프로젝트를 수줍게 광고했다:

“386/486 PC에서 돌아가는 무료 운영체제를 만들고 있어요 (취미로 그냥, GNU처럼 대단하고 전문적인 건 아니고요…) — I’m doing a (free) operating system (just a hobby, won’t be big and professional like gnu) for 386(486) AT clones. “

그 후 몇년간 리눅스는 눈부시게 발전했다 (한국에선 안타깝지만 아니다). 전 세계의 내노라하는 해커들이 몰려들어 잉여력을 과시했고 젊은 리누스 토발즈는 해킹 실력보다 더 훌륭한 해커 관리 능력 — 전 세계에서 몰려드는 소스코드의 안정성과 품질을 관리하는 능력 — 을 보였다. 대기업에서 전문적으로 관리하는 소프트웨어도 흔히 실패하는 것을 보면 리눅스의 성공은 신의 은총이라 생각들기도 한다.  지금 리눅스 없이 세상이 돌아갈 수 있을까? 구글, 페이스북, 트위터등 거의 모든 인터넷 기업은 리눅스로 운영된다. 한국이 노심초사하는 안드로이드 역시 리눅스로 돌아간다.  클라우드 컴퓨팅도 기본은 리눅스다.

3. 잉여가 해커 문화를 낳았다 
해커 문화의 근본은 잉여 (Abundance) 정신이다. 즉 시간 남으면 야근하거나, 다른 “생산성” 있는 일을 하는게 아니라 그냥 며칠 저녁, 주말 내내 돈 벌이 안되는 뻘짓 하는 것이다. 그럼 해커들은 왜 그렇게 잉여력이 폭발해서 뻘짓을 하는 걸까?

• 재미있다. 코딩은 재미있는 창조 행위다. 직소 퍼즐을 맞추어 본 사람은 알것이다. 1000 번째 피스가 끼워졌을때의 그 성취감. 소프트웨어를 완성하는건 그림이 퍼즐에서 뛰쳐나와춤추는것 과 같다. 내 상상의 결과물이 눈앞에서 움직여 뛰는 것과 같은 그런 흥분, 성취감때문에 해커들은 코딩한다. 직장에서 10시간 코딩하고, 집에와서 재미삼아 5시간 더 코딩하는 사람들이 널려있다.
• 선물 (gift) 정신이다. 해커들은 자신이 며칠밤 세워 만든 소스 코드를 “선물”로 동료들에게 배포한다. 취미 생활로 해킹하기 때문에 돈을 받는 것은 생각지도 않고, 혹 그런 시도를 했을 경우 커뮤니티에서 매장당한다. 내가 오늘 1,000 줄의 소스코드를 선물 했으면 내일은 누군가 또 공짜로 새로운 툴을 선물 할 것이다. 선물은 받는 것도 좋지만, 하는 것이 더 즐겁다.
•  명성(reputation)을 얻고 싶어 한다. 돈에는 초연하지만 자신의 이름을 높이는 것에 최선을 다한다. X의 해킹 능력은 최고다 하는 평가를 얻으려, 버그 없고 훌륭하게 디자인된 소스코드를 짠다. 선물의 댓가는 해커들 사이에서 드날리는 명성이다. 지저분한 턱수염, 긴 생머리를 날리는 옆 사람을 너무 무시하지 말자. 해커 사회에서는 브레드피트 일수도 있으니까…
• 여유로운 사회다. 미국에 10년 가까이 살아온 난 한국에 가서 며칠만 지내면 갑자기 두려움이 엄습해 온다. “내가 이렇게 쉽게 쉽게 살아도 되나? 사람들은 이렇게 열심히 일하는데… ” 그런데 미국 집으로 돌아오면 얼마 지나지 않아 곧 주말이면 골프치는 재미, 저녁이면 책 읽고 해킹 하는 재미로 근심이 사라진다. 저녁에 야근 안해도, 주말에 일 안해도 별 걱정이 없다. 사회가 여유롭게 돌아간다.

해커 정신은 사라진 전설이 아니다. 수백억의 돈을 매일 투자하는 실리콘밸리 투자자들은 지금도 새로운 아이디어를 가진 해커를 찾아다닌다. 구글, 페이스북에 취업하는 가장 쉬운 방법은 아파치 같은 오픈소스 프로젝트에서 해킹한 경력이다. 오픈소스와 해킹에 관심있는 사람은 [4]를 읽어 보시길 권한다.

4. 공포에 사로잡힌 한국
잉여와 해커 정신이 실리콘밸리의 근본이라면, 한국의 근본 정서는 무엇일까 생각해 본다. 나는 “공포(fear)” 라고 생각한다. 공부를 못하면 루저가 된다는 공포, 숙제를 안해가면 맞을거라는 공포, 소프트웨어때문에 삼성이 무너진다는 공포, 6/25 시절로 다시 돌아갈지도 모른다는 공포.

다른 사람들은 어떤지 모르겠지만, 나는 겪어보지도 않은 6/25에 대해 막연한 두려움이 있다. 언젠가 북한이 쳐들어오면 한국은 다시 리셋된다는, 실현 불가능한 그 공포가 왜 사라지지 않는지 논리로는 설명할 수 없다. 초등학교 6학년 시절 아이들을 웃겨 주려 헛소리 한번 했다가, 50명의 아이들 앞에서 뺨을 여러대 맞은 기억이 있다. 그날 이후 나는 사람들 앞에서 실수하지 않으려, 최대한 말을 아끼는 아이가 되었다. 1년 후를 기약할 수 없는 벤처에서 일하며 처자식을 먹여 살리는 내가 불안한 부모님은 삼성이 주는 안정감과 지위에 대해”엄친아”의 예제를 들어가면서 설득하신다.  도대체가 이 두려움들에서 벗어날 수 없다.

우리는 개인, 집단 모두 공포에서 벗어나려 치열하게 살고있다. 뛰어난 해킹 잠재력을 가진 얼마나 많은 사람들이 공무원과 교사 시험을 준비하고 있을까? 이건희 회장이 주기적으로 이야기하는 “삼성 최대의 위기”는 정말 언제로 오는 걸까? (SW는 정말로 위기라고 생각한다). 한국형 안드로이드라는 “성스로운 똥” 아이디어를 낸 공무원들은 한국 SW의 미래가 얼마나 두려웠을까?

5. 결론
결론적으로 공포가 지배하는 문화에서 잉여와 해커의 정신은 살아 날 수가 없다. 최근 얼마나 많은 수의 한국 해커들이 국제 오픈소스 프로젝트 (예: Apache) 에 참여하고 있는가 세어본적이 있다. 정말 몇안되는 사람들 뿐이었다. 삼성, LG는 눈부시게 아름다운 하드웨어를 만들어 파는것에 몰두한 나머지, 구글, 페이스북, 아마존을 떠 받치는 오픈소스 프로젝트들을 잊고 있는 것 같다. 아니면, 돈 받지 않고 소스코드를 선물 하는 실리콘밸리의 해커 정신을 고위 임원진 들이 이해하는것이 불가능한 것인가? 그럼 구글이 공짜로 안드로이드 커널을 배포한다고 했을때 그것은 어떻게 이해 했을까?

내가 발견한 한국 최고의 잉여 생산지는 “dcinside”다.  거기엔 잉여가 넘친다. 그리고 놀랍게 해커 정신과 많이 닮아있다. 사람들은 1) 재미있기 때문에 사진을 해킹 (합성)하고, 합성한 사진들을 2) 공짜로 서로 나누며 키득댄다. 고품질의 합성 사진을 다작한 사람들은 3) 명예의 전당에 올라 있으며, 매일 매일 쉬지않고 업데이트 되는 합성 사진과 미디어들은 얼마나 사람들이 4) 잉여 넘치는지 (여유로운지) 보여준다. 미국에는 dcinside 같은 그런 재기발랄한 미디어 해킹 사이트는 없는듯해 보인다.

dcinsde: 재기발랄한 미디어 해킹을 보라!

그런면에서 나는 dcinside와 같이 한국에 고유하게 살아있는 해킹문화를 연구하고, 거기에서 힌트를 발견하는 것이 소프트웨어 근본을 만드는 방법이라 생각한다. 언론에서는 페이스북 창업자 츄커버그가 얼마나 부자인지를 생각해 보라며 젊은 이들을 꼬시지만, “부”는 해커의 운좋은 부산물이지 목적이 될수 없다. 정부에서는 스티브잡스같은 인재가 수만명을 먹여 살린다며 SW 엘리트 양성을 부르짖지만, 이 역시 성스러운 똥같은 생각이다. SW 엘리트는 dcinside 의 자조섞인 “잉여인” 들 중에서 몇 사람이 태어나지, 나라가 맘먹고 키워내는 게 아니다. 나는 컴퓨터 정규교육 과정을 따라 미국에서 박사학위를 받았고 다수의 논문을 썼다. 그러나 이것은, 생산성에 몰두한 나는 진정한 해커는 아니었다는 말이다. 혹 엘리트라고 칭찬받지 못해도, 잉여가운데 피어나는 한국형 해커들을 많이 만났으면 하는것이 바램이다.

— 박상민 http://twitter.com/#!/sm_park
[1] 해커 그 광기와 비밀의 기록: http://www.yes24.com/24/goods/2256?scode=032&srank=16
[2] Altair 8080: http://en.wikipedia.org/wiki/Altair_8800
[3] History of Linux http://en.wikipedia.org/wiki/History_of_Linux
[4] The Cathedral and the Bazaar http://catb.org/~esr/writings/homesteading/