박준규's followers

Aspiring to be the generalist you can trust with anything.

👨‍💻 Current

AI Research Engineer @ ReturnZero Inc. July 2020 - Present

🔍 Interests

• Artificial Intelligence
• Speech Recognition
• Machine Learning
• Cross-domain Problem Solving

ui dev

українець, київець, письмак

i am the one who knocks

please don't say "you are lazy"

Software Engineer

고려대학교 박사과정 수료

Yet another PL enthusiast a.k.a. Hyunjoon Kim, d01c2 plz read my nickname as 'dolce'.

I'm x64 Binary ELF with ELFN_SWORD.

규칙을 만들고, 부수고, 살펴보고, 고치기를 좋아합니다. 논리를 다루는 일이 즐거워 프로그래밍을 업으로 삼았습니다. 현재는 프론트엔드 플랫폼 엔지니어로 일하고 있습니다.

다음 주제에 특히 관심이 많습니다.

• 프로그래밍 언어론
• 타입 이론
• 소프트웨어 아키텍쳐
• 글쓰기 그리고 맥주와 와인

소개 - Who Am I?

• 개발자/연구원
• Haskell Language Server Admin
• PL Theorist
• Logician
• 중증 맥덕

근황 - Recent Interests

• 언어간 상호운용성(Interoperability) 연구 중
• 의존적 형이론(dependent type theory) 연구 중
• 효율적인 레이텍 조판(LaTeX Typesetting) 공부 중
• Québec 에서 제일 맛있는 Stout 마시는 중

(0 v 0)a

블루스카이 유저분들께
- 저는 블루스카이 유저가 아닙니다.
- 여러분은 이 계정을 브릿지를 통해서 보고계십니다.
- 브릿지로는 제 모든 글이 전달되지 않습니다. 공개범위가 "전체"인 것만 갑니다.
- 기술적인 문제로 제가 멘션을 보낼 수는 없으니 양해바랍니다.

• よく使う：Ruby on Rails
• 深掘りしたい：Hotwire
• 勉強中：React、TypeScript