❤️

i am the one who knocks

하이룽

자기소개 글 링크

레고를 뿌리고 뿌린 레고들을 쌓고 있습니다.

음악 작곡에서 시작해 몽골학을 거쳐, 지금은 컴퓨터 공학과 친해지려고 노력하고 있습니다. 한때 지평선을 넓히는 데 집중했다면, 이제는 뿌리를 내려 깊어지려고 노력 중입니다.

설계 능력 없고 코딩 AI보다 못하고 뭔가 이상한 걸 만들고 있고 (#레퍼럴프로젝트, http://referral.akaiaoon.dev) 매일 커피나 마시는 이제 직장이 없는 SE

소개 - Who Am I?

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

근황 - Recent Interests

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

Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at @hongminhee洪 民憙 (Hong Minhee) .

Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee洪 民憙 (Hong Minhee) .

Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee洪 民憙 (Hong Minhee) 」に。