/untyped
About
- 소프트웨어 엔지니어
- 아는 내용만 글로 씀
- 떠드는 거 좋아함
관심 갖고 있는 주제
- 타입 이론, 메모리 시스템, 가비지 컬렉션, 병렬/비동기 프로그래밍
- 대규모 분산 시스템, 머신러닝 시스템, 통계 모델
- Python, OCaml, Emacs, C++
삶의 태도에 영감을 준 말들
We don’t rise to the level of our expectations; we fall to the level of our training. - Archilochus
Plans are nothing, but planning is everything. - Dwight Eisenhower
I was born not knowing and have had only a little time to change that here and there. - Richard Feynman
Please do not take life quite so seriously; you surely will never get out of it alive. - Elbert Hubbard
The real “things” of science were not things that we could observe and hold, but mathematical functions that described the randomness of what we could observe. - David Salsburg, “The Lady Tasting Tea”