alternative is following

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

https://aurynj.net/

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

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

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

소개 - Who Am I?

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

근황 - Recent Interests

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

Aspiring to be the generalist you can trust with anything.

👨‍💻 Current

AI Research Engineer @ ReturnZero Inc. July 2020 - Present

🔍 Interests

• Artificial Intelligence
• Speech Recognition
• Machine Learning
• Cross-domain Problem Solving

Software Engineer

음악, 사진, 커피, 자전거, 피아노, 기술, 주제 가리지 않고 잡다한 이야기 많이 해요. 편하게 말 걸어 주세요!

❤️ 레뷰 스타라이트

프로필 이미지: https://www.pixiv.net/en/users/3720920/

게임 디자이너에서 웹으로 넘어가려고 하고 있어요~

よく使う：Java

深掘りしたい：Go

勉強中：React、TypeScript,, Python

• Ph.D. student in Japan (M.Phil. in Transdisciplinary Science), working as a research assistant at a Japanese national research institute.
• Interested in the relationship between information systems and human factors (HCI).
• Prefers explicit knowledge representation, such as functional programming and strong/safe typing languages.

판교에서 일하는 IT맨

We're building a free, open-source, decentralised social network that gives people back control over their data and their reach.

programming and exclamation marks

I have DMs muted from people I don’t follow.

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

잡담은 @meperlmint 에서