lumiknit/kitl

lumiknit

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

Hyogun Lee

Interests & Skills

• (ℤ₇) 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

Bio

• (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

Papers

• 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.

Github Stats(?)

ㅇㅁㅇ

kitl's Issues

(DEV) Complete local clients

dev/lumi/local

• Major
  • Fix hrm (flow editor) to handle nodes correctly
    • Add popup for constant & def comments
  • Add indexing functions for client helper
  • Based on client's indexing, provide auto-completion in hrm.
  • Add launch panel
  • Add naive local executor and add to local client.
• Minor
  • Reduce build chunk size & optimize code
  • Improve browser usability
  • Add graph utilities.

File browser

• Add prototype of client
• Add browser popup
• Add file system interface
• Add local (browser) file system
  • Using IndexedDB

react to solid.js

Bundle Size

• React (185 kB, 61kB in gzip)
  • react-dom (129 kB, 41kB in gzip)
  • react-router (18 kB, 5kB in gzip)
  • react-hot-toast (8kB, 3kB in gzip)
• i18n
  • i18next (82 kB, 17kB in gzip)
  • lang-detector (11kB, 3kB in gzip)
• Bootstrap
  • min (59kB, 16kB in gzip)
  • popper (57kB, 22kB in gzip)
• React-flow (303kB, 82kB in gzip)
• yaml (252kB, 71kB in gzip)

To-be?

• Solid.js (~10kB?)
• bootstrap & toast & etc -> blocks? (BS alternative?)
• react-flow -> hrm (custom flow diagram)
• i18n -> dynamic import & json table?

Node edit

• Implement node editor
  • Add superset of json parser & stringify
    • JASEN?
  • Add node inline edit
    • Add autocomplete index to client, and query from that
  • Add handle addition & deletion action by connecting edge