Haze is following

• React 프론트 연습생
• 네오-퀘스돈을 만들었음
• btw i use arch
• 오픈소스 컨트리뷰트 경험 있_{지 않아서 하고 싶}음

Software Engineer

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

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

Co-founder and CTO of Deeply Inc., a computer scientist who loves writing, design, and basketball.

추천 시스템, XAI 분야를 연구합니다.

Natural Born Developer https://hyeon.me

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

제주사는/마이너지향/입코딩전문/초보아빠/개발자겸/관리자겸/지금은백수같은/개인사업자

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

사담/잡담은 @meperlmint 에서

• IT 노동자
• 아마추어 산책러 (프로 지망)

DevOps, SRE, Platform Engineer 등을 합니다. 규모에 따라서 업무의 범위가 달라지네요...

소개 - Who Am I?

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

근황 - Recent Interests

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

juxtapose - Wiktionary, the free dictionary

Pronunciation

• (UK) IPA: /ˈd͡ʒʌkstəpəʊz/
• (General American) IPA: /ˈd͡ʒʌkstəpoʊz/

Verb

juxtapose (third-person singular simple present juxtaposes, present participle juxtaposing, simple past and past participle juxtaposed)

1. (transitive) To place side by side, especially for contrast or comparison.

hello world alternative입니다.

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

자기소개 글 링크

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

Somewhere between machines and people. Less is exponentially more. Deciding what not to do is as important as deciding what to do. 靑天亂流.

Willingly jobless. Also known as e0en.

https://2501.sh