[ˈluːmɪnɪt], 루미니트

Hyogun Lee

• (ℤ₇) Algebra! (feat. Category Theory)
• (λ) Programming language theory & type theory
  • Praise the λ and combinators \[T]/
  • (Functional) compiler & VM
  • Static analyzer
• 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.

ㅇㅁㅇ