lionhairdino's followers

i am the one who knocks

Interested in user interface engineering, functional programming.

λ(☕) → 💻

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

Software Engineer

크로스 플랫폼 빌드 고치는 노동자

사담/잡담은 @meperlmint 에서

자기소개 글 링크

어느 한 개발자입니다.

함수형 프로그래밍 언어를 쓰고 있는 개발자 입니다. 반갑습니다.

앱타쿠
오늘 부스트 하는거 이벤트 참여는 안하니
다른 분에게!

FUB FREE

your metaverse plumber and firefighter | DISCLAIMER - 소속한 집단의 의견을 대표하지 않고, 생각은 언제나 바뀔 수 있음

https://01010011.blog

고려대학교 박사과정 수료

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

아무거나 만드는 소프트웨어 엔지니어

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

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

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

소개 - Who Am I?

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

근황 - Recent Interests

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

신입 프론트엔드입니다.

( ˶ˆᗜˆ˵ ) ⁂ (hd: https://twitter.com/himawari___zzz )

hello world alternative입니다.

링크트리 대신 라멘툴즈 써요!

개발이 하고 싶어요 (Open to Work) vim 뉴비

슈티를 함께 만들 팀을 만들고 있습니다. 관심 있으신 분, 또는 잘 모르겠지만 이야기를 나눠보고 싶은 분도 bgl@gwyng.com으로 편하게 연락주세요.

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). @tokolovesme금강토's spouse. Who's behind @fedifyFedify: an ActivityPub server framework, @holloHollo , and @botkitBotKit by Fedify . Write some free software in #TypeScript, #Haskell, #Rust, & #Python. They/them.

서울에 사는 交叉女性主義者이자 社會主義者. 金剛兔(@tokolovesme금강토)의 配偶者. @fedifyFedify: an ActivityPub server framework, @holloHollo , @botkitBotKit by Fedify 메인테이너. #TypeScript, #Haskell, #Rust, #Python 等으로 自由 소프트웨어 만듦.

#國漢文混用體 #한국어 (#朝鮮語) #English #日本語