/untyped
About
- 소프트웨어 엔지니어
- 아는 내용만 글로 씀
- 떠드는 거 좋아함
관심 갖고 있는 주제
- 타입 이론, 메모리 시스템, 가비지 컬렉션, 병렬/비동기 프로그래밍
- 대규모 분산 시스템, 머신러닝 시스템, 통계 모델
- Python, OCaml, Emacs, C++
삶의 태도에 영감을 준 말들
우리는 기대치까지 도달하는 게 아니라, 훈련한 수준까지 내려간다. - 아르킬로코스 (Archilochus)
계획은 쓸모없지만, 계획하는 과정은 반드시 필요하다. - 드와이트 아이젠하워 (Dwight Eisenhower)
세상에 끈기를 대신할 수 있는 것은 아무것도 없다. 재능도 아니다; 재능이 있어도 실패하는 사람들이 얼마나 흔한가. 천재성도 소용없다; 보상받지 못한 천재는 거의 속담과 같다. 교육도 아니다; 세상은 교육받은 낙오자들로 가득하다. 오직 끈기와 결단력만이 전능하다. - 레이시 크록 (Racy Kroc)
나는 모르는 채로 태어났고, 여기저기 조금씩 그것을 바꿀 시간만 주어졌다. - 리차드 파인만
좋은 삶은 사랑에서 영감을 받고 지식에 의해 이끌리는 삶이다. - 버드런트 러셀
인생을 너무 심각하게 받아들이지 마라. 어차피 살아서 나갈 수는 없으니까. - 엘버트 허버드