/untyped
About
응용 PL 엔지니어.
이해한 글만 쓰려고 합니다.
관심사
- 프로그래밍 언어 이론, 타입 이론
- 가비지 컬렉션
- 병렬 및 비동기 프로그래밍
- 이맥스, OCaml, 파이썬, C
삶의 태도에 영감을 준 말들
우리는 기대치까지 도달하는 게 아니라, 훈련한 수준까지 내려간다. - 아르킬로코스 (Archilochus)
계획은 쓸모없지만, 계획하는 과정은 반드시 필요하다. - 드와이트 아이젠하워 (Dwight Eisenhower)
세상에 끈기를 대신할 수 있는 것은 아무것도 없다. 재능도 아니다; 재능이 있어도 실패하는 사람들이 얼마나 흔한가. 천재성도 소용없다; 보상받지 못한 천재는 거의 속담과 같다. 교육도 아니다; 세상은 교육받은 낙오자들로 가득하다. 오직 끈기와 결단력만이 전능하다. - 레이시 크록 (Racy Kroc)
인생의 비밀은 평생을 바칠 과업을 갖는 것이다. 온 삶을, 매 순간을 그 일에 쏟아붓는 것이다. 그리고 가장 중요한 것은, 그 과업은 결코 해낼 수 없을 것 같은 일이어야 한다. - 헨리 무어 (Henry Moore)