[ˈluːmɪnɪt], 루미니트
Hyogun Lee
- (ℤ7) Algebra! (feat. Category Theory)
- (λ) Programming language theory & type theory
- Praise the
λand combinators\[T]/ - (Functional) compiler & VM
- Static analyzer
- Praise the
- Prefer purely functional languages anyway (ML, Haskell, OCaml)
- Graphical programming / Literate Programming
- C, Rust (for building interpreter :) )
- Super-lightweight (small and fast..!) something (e.g. lua, busybox, etc.)
- Minimal(?) TUI app? j2
- RISC-V
Emacs- My little finger tired.... currently using custom keymap alty
- Pretty fonts
- With ligatures..! (❤️ pragmatapro, iosevka)
- With simple but awesome theme such as newsprint
- And misc.
- GoLang, python and web for ML platform
- Docker & K8S Cluster & Helm
- (2022 summer - Current!) LINE+
- (2023-) BE providing/utilizing ML/LLM
- (2023) Diffusion-based Image Generation
- (2022-) Developing MLOps Platform
- (2017 spring - 2022 summer) KAIST
- B.S. in Computer Science and Mathematics
- GPA 4.0/4.3 = Summa Cum Laude
- Lee, Sungho, Hyogun Lee, and Sukyoung Ryu. "Broadening horizons of multilingual static analysis: Semantic summary extraction from c code for jni program analysis." Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering. 2020.
ㅇㅁㅇ