소피아 is following

SW 기타 잡부 - 카메라, 영상처리, Andriod Application 등등

나는 코딩을 하는 게 아니야. 그냥 바이브를 타고 있는 거지.

약력은 비워둘 수 없습니다.

iOS Developer

pixel perfect.

이것저것 해보고 싶은 사람입니다. 지금은 Rust에 입문하고 있습니다.

Web developer
Technical Writing/Translation/Internationalization
Opensource Contribution

자기소개 글 링크

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

FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)

인간의 언어처리와 LLM의 언어처리를 서로 비교하는 전산심리언어학(Computational Psycholinguistics)을 연구했'었'습니다.

하지만 CS덕질이 더 재밌다는 걸 깨닫고선 대학원을 탈출했습니다.

요즘은 데이터 엔지니어링과 컴파일러가 재밌어요.

소개 - Who Am I?

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

근황 - Recent Interests

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

I design interface that everyone understands.

어느 한 개발자입니다.

λ(☕) → 💻

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

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

잡담은 @meperlmint 에서

readme

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

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

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

Haze Lee but also known as Kihan Park

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

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