박준규'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 마시는 중