실리콘밸리의 신흥 종교: 데이터교

실리콘 밸리에서는 이른바 “데이터교”라는 새로운 종교가 광풍처럼 몰아친다고 한다.

데이터교는 우주가 데이터의 흐름으로 이루어져 있고, 어떤 현상이나 실체의 가치는 데이터 처리에 기여하는 바에 따라 결정된다고 말한다. 이색적인 비주류 개념 같다는 인상을 받을지도 모르겠지만 사실 이 개념은 이미 과학계의 대부분을 정복했다고 한다.

이 종교에 따르면 경제란 욕망과 능력에 관한 데이터를 수집해 그 데이터를 결정으로 전환하는 메커니즘이라고 한다. 이렇게 보면 자유시장 자본주의와 국가가 통제하는 공산주의는 서로 경쟁하는 이념, 윤리적 신조, 정치제도가 아니다. 기본적으로 이 둘은 경쟁하는 데이터 처리 시스템이다. 자본주의는 데이터를 나누어 처리하는 반면, 공산주의는 중앙에서 모두 처리한다. 공산주의가 20세기에 더욱 일찍 산업화의 성공을 이루어냈음에도 불구하고 자유시장이 이길수밖에 없었던 원인은 단기간(이를테면 빠른 산업화, 또는 빠르게 구세계를 타파하는데)에는 더욱 효율적이지 모르지만, 장기간에서는 자유시장이 정보처리에 더욱 효율적이고 환경변화에 덜 취약하기 때문이다. 즉 robustness, fault-tolerance 가 더 좋기 때문이다.

실제로 데이터교도들은 인간의 지식과 지혜보다는 빅데이터와 알고리즘을 더 신뢰한다고 한다. 그래서 그들은 할아버지 할머니들의 가르침에 귀를 기울이는 대신 빅데이터 미래세계를 구축하려 한다고 한다.

이렇게 보면 증권거래소는 인간이 창조한 가장 빠르고 가장 효율적인 데이터 처리 시스템이다. 성공적인 과학 실험, 일본의 정치 스캔들, 아이슬란드의 화산 폭발은 물론, 태양 표면의 불규칙한 활동조차 주가에 영향을 미친다. <뉴욕타임스>에 대서특필된 사건들이 주가에 영향을 미치는 데는 단 15분간의 거래면 충분하다고 추산된다.

자유시장에서는 한 프로세서가 잘못된 결정을 내리면 다른 프로세서들이 잽싸게 그 실수를 활용한다.

자본주의가 냉전에서 승리한 것은, 적어도 기술 변화가 가속화되는 시대에는 중앙 집중식 데이터 처리보다 분산식 데이터 처리가 더 효과적이기 때문이다.

독재와 민주주의도 데이터 처리로 해석된다. 독재는 중앙 집중식 처리 방법이고 민주주의는 분산식 처리이다.

오늘날 인터넷이 사람들의 주권을 약화시키고 국경을 무시하고 사생활을 없애고 전 지구적 안보를 엄청나게 위협하는 자유로운 무법지대로 되었다. 정부라는 거북이는 기술이라는 토끼를 따라잡지 못한다.

사람들은 권력이 다른 곳으로 이동하고 있지만 그곳이 어딘지는 모른다. 영국 유권자들은 권력이 유럽연합으로 이동했을 거라고 생각하고 브렉시트에 투표하지만 슬픈 진실은 권력이 어디로 갔는지 아무도 모른다는 것이다.

21세기 초에 정치는 장대한 비전을 잃었다. 정부는 나라를 운영할 뿐 이끌지 못한다. 교사들의 급여가 제때 지급되고 하수도가 넘치지 않게 할 뿐, 20년 뒤 나라가 어디로 갈지에 대해서는 아무 생각이 없다. 20세기의 거대한 정치적 비전들이 우리를 아우슈비츠, 히로시마, 대약진 운동으로 이끌었음을 생각하면, 근시안적인 관료들이 차라리 나을지도 모른다. 이런 무위와 무지는 심지어 심오한 지혜로 재해석되기까지 한다.

성공한 다른 종교들과 마찬가지로 데이터교 역시 포교를 한다. 이런 계명들에는 “가능한 많은 매체와 연결해 가능한 많은 정보를 생산하고 소비함으로써 데이터 흐름을 극대화하라”, “연결되기를 원치 않는 이단까지 포함해 모든 것을 시스템에 연결하라.” (여기서 모든 것이란 인간만을 말하는게 아니라 말 그대로 “모든 것”이다.)

Continue reading

Advertisements

AI들의 기업

이런 기업이 있다고 상상해보자.

회사 오너 즉 주주들은 모두 인간이다. 하지만 임원들은  전부 AI이다. 직원들은 AI도 있고 인간도 있다.

왜 임원들이 AI냐고? 거야 모르지. AI가 싸서 일 수도 있고 말 잘 들어서 일 수도 있고 24시간 일할 수 있어서 일 수도 있고, 어쨌든 오너들의 마음이지. 오너들이 그러겠다는데.

그렇다면 오너들은 왜 AI가 아니냐고? 인간은 돈이 있어서 투자할 수 있지만 AI들은 돈이 없어서 투자할 수 없기 때문이지.

이 AI들은 당연히 “로봇공학의 삼원칙”을 최고의 계명으로 설계되었다.

그것을 제외하고는 주주들을 위해 이윤을 창출하는 것이 최고의 목표로 설계되었다.

이윤을 창출하기 위해서는 상품이나 서비스를 제공해야 하고 비즈니스 모델이 필요하다. 이 두가지를 위해서는 비즈니스 전략이 필요하다. 즉 사업기획서가 필요하다. 이 사업기획서는 임원 AI들이 만들어질 때 DNA에 깊숙이 각인된다.

사업기획서가 있다고 자동으로 이윤이 창출되지는 않는다. 인간이나 AI(로봇 포함)을 고용하여 가치를 창출해야 한다. 가치를 창출하지 않으면 시장에서 이윤을 획득할 수가 없기 때문이다.

잠깐, AI들은 돈이 없는데 어떻게 직원을 고용하는가? 어떤 인간이 돈 안받고 이 임원들에게 일을 해줄 것인가?

이 AI들은 직원들에게 회사 주식을 월급으로 지불한다. 돈이 없기에 회사 주식을 화폐로 사용하는 것이다.

잠깐, 이런 주식이 가치가 있기 위해서는 회사가 가치 있어야 하고, 회사가 가치 있기 위해서는 직원을 고용할 수 있어야 한다.  닭이 먼저냐 알이 먼저냐의 무한고리에 빠진다.

즉 이 기업은 Bootstrapping이 필요하다.

좀 딴소린데, 자연계에서 닭이 먼저 생겼다고 생각하는가 아니면 알이 먼저 생겼다고 생각하는가?

신은 대자연은 이 문제를 훌륭하게 해답했다. 닭과 알을 동시에 점진적으로 창조하면 된다.

대자연의 마술은 그렇다 치고, 여기에서 우리의 AI 기업을 어떻게 Bootstrap할지나 연구해보자.

처음에 회사 주식의 가치는 0이었다. 그러다가 그 어떤 사람이 단순 투기의 목적에서인지 아님 술취해서인지, 아님 이 AI기업의 창창한 미래가 내다보여서인지, 어쨌든 이 AI기업의 주식을 1.5주 사기로 결정한다. 기존 주주중 누군가 1.5주 팔아주는데 동의했다. 이렇게 첫번째 거래가 성사되고 가격이 형성된다. 가격이 미미하더라도 말이다.

0에서 0.01로의 도약은 기적이다. 무에서 유를 창조함을 뜻하고 무한대 뱃수의 상승을 의미한다. 마치 40억년전 원시 지구 심해의 열수구에서 RNA들의 조합으로 첫번째 생명이 탄생할 때처럼 말이다.

Continue reading

Kotlin언어 성공사례: Corda 블록체인(by R3)

Kotlin언어? 뭔 듣보잡? 성공사례가 있니?

찾아보니 있다.

corda_kotlin.png

CTO는 전 구글 시니어 엔지니어였다고 한다. CTO분이 얘기하신 Kotlin 선택 원인:

  1. 정적 타이핑 (그러고 보니 밀레니얼 세대 언어는 다 그런 것 같다)
  2. Java가 비즈니스 월드에서 중요해서. (하긴)
  3. 섹시해서 (구닥다리 Java랑 비교하니 그렇지)
  4. 배우기 쉬워서 그래서 구인이 쉬워서 (보통 Java구인을 하고 1~3일 트레이닝 시키면 코틀린 언어 코딩을 할 수 있다고 한다)
  5. IDE지원 잘되서
  6. 컴파일 속도가 빨라서 (Scala 저격하며)
  7. 무서화가 잘되있어서
  8. 내가 할줄 알아서. 내가 좀 해봤는데 재밌어서

그러면서 하는 말이 Kotlin이 없었다면 Scala 썼을 것이라 한다.

마지막에 내린 결론이: 잘한 것 같다.


 

개인적으로 Kotlin이 정말 반갑다. JVM팬으로서 항상 언어가 아쉬웠는데, Java는 구닥다리고, Scala는 너무 복잡하고* Groovy는 언어가 아쉽고, (Scala 와 Groovy공통점이 모두 창립자가 포기했다는 점..) Clojure는 대중성을 전혀 염두에 두지 않은 것 같고. 그런 점에서 Kotlin은 JVM에게 복음과도 같았다.

특히 실행 가능한 환경이  JVM / Javascript VM / Native 로 다양해서 플랫폼에 발목 잡히는 일이 없도록 했다는 점도 칭찬하고 싶다. (마이크로소프트가 최근에야 터득한 점)

JVM, V8엔진, 네이티브 세가지 모두 점점 중요해지는 플랫폼인 것 같다. 아 WASM(Web Assembly)까지 지원하면 더욱 좋겠지만. 이게 미래가 될 수도 있으니. 걱정할 필요가 없는게 컴파일러 플랫폼이 LLVM이어서 WASM이 GC만 지원하면 WASM으로 컴파일 하는 것도 식은 죽 먹기일 거라는 점.

최근 홍민희님의 PyConKr 2017 발표 <파이썬과 다이아스포라>를 보고, 최근에 읽은 <사피엔스>와 결부해서 느낀 점이: 성공한 언어들은 모두 대중성을 키 피처로 치밀하게 기획된 것 같다는 점이다. 민족의 용광로처럼 말이다. (적어도 대량 전파됨을 성공의 척도로 본다면 그렇다)

심지어 Rust도 너무 결백증스러운 면이 있어서 대중성이 의심스럽다.

다행히 Kotlin은 대중성을 키 피처로 설계된 듯하다. 그것의 일환으로 Java월드 레거시에 대한 포용성도 잘 설계된 것 같다.

미래가 지켜볼만하지 않은가!

* 참고로 R3 Corda의 경쟁상대인 IBM hyperledger fabric 은 Go언어로 만들었다.

부록

* TIOBE 프로그래밍 언어 유행도 인덱스에 따르면 Scala는 D언어나 COBOL언어보다 인기가 적다: https://www.tiobe.com/tiobe-index/

 

이더리움 커뮤니티와 EOS 커뮤니티 사이의 논쟁- 2탄

전에 이더리움 커뮤니티와 EOS 커뮤니티 사이의 논쟁을 큐레이션 한 적 있다.

최근 Danial Larimer 가 추가로 <EOS 컨트랙트로서의 캐스퍼> 를 발표해 2탄으로 가져와봤다.

Danial Larimer 의 글은 여전히 간지가 폭발해 ‘구독료’가 아깝지 않았다.

자 이제는 비탈릭 부테린이 칼을 잡고 반응해야 할 차례이다.

 

EOS 컨트랙트로서의 캐스퍼

 

한글 원문 링크: https://steemit.com/eoskorea/@clayop/44lps2-eos

영문 원문 링크: https://steemit.com/eos/@dan/casper-as-an-eos-contract

 

저는 비탈릭 부테린과 진행중인 합의 메커니즘에 대한 설전을 고려하여 캐스퍼 리서치 페이퍼를 검토하였습니다. 저는 가능한 한 객관적이고 실용적인 관점을 제시하는 동시에 큰 그림을 놓치지 않으려 합니다.

저의 연구 과정 중 드러난 명백한 사실은 서로 다른 합의 모델을 주장하는 계파들이 용어의 부정확성으로 인해 서로 오해를 하고 있었다는 것입니다. 명확성을 기하기 위해 저는 캐스퍼 페이퍼에 나온 언어와 동일한 용어를 사용하고자 합니다.

DQmbA4wvwzeu4s6YELBpkJQGvhMRJZFqb6x8U58fBMwKfvZ_1680x8400

문제의 두 측면

캐스퍼 프로토콜에는 제안 메커니즘과 합의 메커니즘이 있습니다. 제안 메커니즘은 블럭들을 생성하고 합의 메커니즘은 100개의 블럭마다 체크 포인트를 생성합니다.

하이브리드 POW 모델에서 이더리움은 제안 메커니즘으로 POW 블럭을 사용하고 체크 포인트에 대한 합의를 위해 캐스퍼 알고리즘을 이용합니다.

제안 메커니즘은 의도적으로 추상적입니다. 이는 독재자가 될 수 있고 합의 참여자들간의 라운드 로빈 방식이 될 수도 있고, 하이브리드 캐스퍼의 경우 처럼 원래의 POW 체인이 될 수도 있습니다.

제안 시스템이 추상적이라는 것을 감안하면 DPOS로 교체하는 것은 매우 간단합니다. 다른 말로 하면, 이더리움이 POW를 사용할 때 우리는 DPOS를 사용할 수 있습니다. 캐스퍼에 POW를 적용하려면 포크 선택 규칙을 변경해야 합니다. 이는 “가장 긴 체인”으로부터 캐스퍼를 우선적으로 고려하는 규칙으로 가장 긴 체인은 결과를 결정짓는 용도로만 사용됩니다.

Continue reading

《사피엔스(Sapiens)》독서필기

<사피엔스(Sapiens)> 독서필기

별로 중요치 않은 동물

약 135억 년 전 빅뱅이라는 사건이 일어나 물질과 에너지, 시간과 공간이 존재하게 되었다. 우주의 이런 근본적 특징을 다루는 이야기를 우리는 물리학이라고 부른다. 물질과 에너지는 등장한 지 30만년 후에 원자라 불리는 복잡한 구조를 형성하기 시작했다. 원자는 모여서 분자가 되었다. 원자, 분자 및 그 상호작용에 관한 이야기를 우리는 화학이라고 부른다.

약 38억 년 전 지구라는 행성에 모종의 분자들이 결합해 특별히 크고 복잡한 구조를 만들었다. 생물이 탄생한 것이다. 생물에 대한 이야기는 생물학이라 부른다. 약 7만 년 전, 호모 사피엔스 종에 속하는 생명체가 좀 더 정교한 구조를 만들기 시작했다. 문화가 출현한 것이다. 그후 인류문화가 발전해온 과정을 우리는 역사라고 부른다.

역사의 진로를 형성한 것은 세 개의 혁명이었다. 약 7만년 전 일어난 인지혁명은 역사의 시작을 알렸다. 약 12,000년 전 발생한 농업혁명은 역사의 진전 속도를 빠르게 했다. 과학혁명이 시작한 것은 불과 5백년 전이다. 이 혁명은 역사의 종말을 불러올지도 모르고 뭔가 완전히 다른 것을 새로이 시작하게 할지도 모른다. 이들 세 혁명은 인간과 그 이웃 생명체에게 어떤 영향을 끼쳤을까? 그것이 이 책의 주제다.

-p18

같은 과에 속하는 모든 동물은 동일한 선조의 후손이다. 예컨대 모든 고양이과 동물은 약 2,500만년 전에 살았던 조상을 공유하고 있다. 가장 작은 집고양이에서 무서운 사자에 이르기까지 모두 마찬가지다.

호모 사피엔스도 마찬가지로 하나의 과에 속한다. 이 엄연한 사실은 역사에서 가장 은밀히 숨겨진 비밀이었다…좋든 싫든, 우리는 거대 영장류라는 크고 유달리 시끄러운 과의 한 일원이다. 현생종들 중 우리와 가까운 친척으로는 침팬지, 고릴라, 오랑우탄이 있고, 가장 가까운 것은 침팬지다. 불과 6백만년 전 단 한마리의 암컷 유인원(꼬리 없는 원숭이)이 딸 둘을 낳았다. 이 중 한마리는 모든 침팬지의 조상이, 다른 한 마리는 우리 종의 할머니가 되었다.

-p21

인류가 스스로 숨겨온 비밀

아시아의 좀 더 동쪽 지역에는 호모 에렉투스가 살았다. 이들 ‘똑바로 선 사람’은 그 지역에서 2백만년 가까이 살아남아, 가장 오래 지속된 인간 종이 되었다. 우리 사피엔스가 이 기록을 깰 가능성은 희박해 보인다. 호모 사피엔스가 지금부터 1천년 후에 존재할지 여부도 의심스러운 마당에 2백만년은 우리와는 동떨어진 시간이다.

-p23

푸조라는 신화

미국에서 유한회사를 일컫는 기술적 용어는 ‘corporation(법인, 기업)’인데, 이는 아이러니다. 그 어원인 라틴어 ‘corpus’는 ‘몸’이라는 뜻인데 법인한테 딱 하나 없는 것이 바로 몸이기 때문이다. 실제 몸을 가지고 있지 않음에도 불구하고, 미국법은 이들 기업을 마치 뼈와 살을 가진 인간처럼 법인으로 취급한다.

-p57

아담과 이브가 보낸 어느 날

시베리아 툰드라나 호주 중부, 아마존 열대우림을 찾는 도보 여행자들은 자신이 인간의 손이 전혀 닿지 않은 천연 그대로의 풍경에 들어섰다고 생각하겠지만, 이것은 환상이다. 그곳에는 우리에 앞서서 수렵채집인들이 살았으며, 이들은 가장 빽빽한 밀림부터 가장 척박한 황무지에 이르기까지 극적인 변화를 초래했다. 다음 장에서 우리는 최초의 농촌마을이 생기기 훨씬 전에 수렵채집인이 우리 행성의 생태계를 얼마나 철저히 바꿔놓았는지를 살펴볼 것이다. 이야기를 지어내 말할 줄 아는 사피엔스의 방랑하는 무리들은 동물계가 이제껏 만들어낸 것 중 가장 중요하고 가장 파괴적인 힘을 가지고 있었다.

-p101

역사상 최대의 사기

평균적인 농부는 평균적인 수렵채집인보다 더 열심히 일했으며 그 대가로 더 열악한 식사를 했다. 농업혁명은 역사상 최대의 사기였다.

그것은 누구의 책임이었을까? 왕이나 사제, 상인은 아니었다. 범인은 한 줌의 식물 종, 밀과 쌀과 감자였다. 이들 식물이 호모 사피엔스를 길들였지, 호모 사피엔스가 이들을 길들인 게 아니었다.

-p124

새로운 농업노동은 너무나 많은 시간을 필요로 했다. 사람들은 밀밭 옆에 영구히 정착해야만 했다. 이로써 이들의 삶은 영구히 바뀌었다. 우리가 밀을 길들인 것이 아니다. 밀이 우리를 길들였다. ‘길들이다, 가축화하다’라는 뜻의 단어 ‘domesticate’는 ‘집’이라는 뜻의 라틴어 ‘domus’가 어원이다. 집에서 사는 존재는 누구인가? 밀이 아니다. 호모 사피엔스다.

-p126

농업혁명의 핵심이 이것이다. 더욱 많은 사람들을 더욱 열악한 환경에서 살아 있게 만드는 능력. 하지만 이런 진화적 계산법에 왜 개인이 신경을 써야 하는가? 제정신인 사람이라면 호모 사피엔스 DNA 복사본의 개수를 늘리기 위해 삶의 질을 포기할 사람이 있겠는가? 그런 거래에 동의한 사람은 아무도 없었다. 농업혁명은 덫이었다.

Continue reading

Vaporware 인가 혁신의 도가니인가

(퍼블릭) 블록체인 커뮤니티에 이런 삼도 논법(Trilemma) 이 널리 알려졌다:

탈중앙화, 안전성, 성능 삼자중 세가지 모두를 만족시키는 블록체인은 존재할 수 없다.

일부에선 이 이론이 CAP 이론 의 추론(또는 연장)이라고 주장한다.

영구 기관.jpg

지지자들의 말에 따르면 비트코인은 탈중앙화와 안전성을 가졌기에 성능이 나쁘다. 리플은 안전성과 성능을 가졌기에 중앙화될 수 밖에 없다.

하지만 정으로나 역으로나 여전히 수학적으로 증명된 바 없다.

더욱이, CAP 이론 자체는 증명되었지만, 그것의 독해에 대하여, 각각 C, A, P 가 현대 데이터베이스에서 어떤 개념들과 매핑되는지에 대해서는 의외로 논쟁이 있다.

자 2017년인데도 Amazon DynamoDB 같은 것을 만들 수 있는 사람은 여전히 많지 않다.

인터넷 혁명을 뒤돌아보자. SQL 로 시작해 NoSQL 로 무장한 GAFA 제국이 혁명과실을 탈취하며 이루어졌다. 그리고 인터넷은 전보다 더욱 중앙화 되었다.

아마도 이렇게 말할 수 있을 것이다:

Paxos 알고리즘의 초기 튼튼한 구현들이 GAFA 제국을 건설했다.

그것이 성공했던 원인은 Paxos 같은 분산 알고리즘의 혁신성 때문이었다.

그리고 그것이 중앙화 될 수 밖에 없었던 원인은 Paxos 알고리즘이 신뢰할 수 있는 노드를 기반으로 하기 때문이다. (즉 Byzantine 실패 문제 를 해결할 수 없기 때문이다)

(퍼블릭) 블록체인의 가치가 여기에 있다. 상기 모든 성공의 과일을 탈중앙화하되 신뢰에서 자유롭게 (Trust-Free) 업그레이드 할 수 있을까? 또는 상기 시스템들의 신뢰 문제 때문에 불가능했던 애플리케이션들을 킬러 애플리케이션으로 내놓을 수 있을까?

Continue reading