정진명 is following

소개 - Who Am I?

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

근황 - Recent Interests

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

프로그래머로서 하스켈haskell을 공부하긴 하는데, 프로그래머에게 별로 도움이 안되고, 생각 놀이를 하고 있을지도 모릅니다.

Natural Born Developer https://hyeon.me

• 🗣️ Language: Korean
• 🕘 Timezone: KST (UTC+09:00)

64비트여우(트위터)로도 알려져 있습니다. 이곳에서는 주로 소프트웨어 개발에 대한 조잡하고 지리멸렬한 이야기를 합니다.

이상한 거 만들던 아저씨가 이제 그냥 이상한 아저씨가 되었습니다. I used to make quirky things, I'm now as quirky as my creations.

Haze Lee but also known as Kihan Park

• 💻 Make stuff with Computer
• 💉 Living with Migraine more than 10y, Migraine Advocate [Headache Place]
• 💬 🇰🇷, Also 🇯🇵 & 🇬🇧🇺🇸

자기소개 글 링크

λ(☕) → 💻

• Languages: Korean(개쩖), English(totally broken), Japanese(まあまあ), Esperanto(tre iomete)
• Interests: server, concurrency, functional programming, keyboard(the input system), guitar

Neovim Super villain. 풀스택 엔지니어 내지는 프로덕트 엔지니어라고 스스로를 소개하지만 사실상 잡부를 담당하는 사람. CLI 도구를 만드는 것에 관심이 많습니다.

Hackers' Pub에서는 자발적으로 바이럴을 담당하고 있는 사람. Hackers' Pub의 무궁무진한 발전 가능성을 믿습니다.

그 외에도 개발자 커뮤니티 생태계에 다양한 시도들을 합니다. 지금은 https://vim.kr / https://fedidev.kr 디스코드 운영 중

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)」に。