박준규's followers

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

I'm x64 Binary ELF with ELFN_SWORD.

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

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

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

소개 - Who Am I?

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

근황 - Recent Interests

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

(0 v 0)a

블루스카이 유저분들께
- 저는 블루스카이 유저가 아닙니다.
- 여러분은 이 계정을 브릿지를 통해서 보고계십니다.
- 브릿지로는 제 모든 글이 전달되지 않습니다. 공개범위가 "전체"인 것만 갑니다.
- 기술적인 문제로 제가 멘션을 보낼 수는 없으니 양해바랍니다.

• よく使う：Ruby on Rails
• 深掘りしたい：Hotwire
• 勉強中：React、TypeScript

신입 프론트엔드입니다.

• 장래희망은 프로 숨쉼이입니다.

• 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.

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

GitHub: https://github.com/alanbondarun 언어: 한국어, English(q=0.9), 日本語(q=0.01) (기타 언어는 번역기를 사용합니다) 관심사: 게임 디자인, 언어(자연어 및 인공어 모두)

프론트엔드 개발자를 꿈꾸는 취준생입니다. 해커스펍에서는 주로 개발 이야기를 하려고 합니다 🧑‍💻

모든 종류의 차별과 혐오를 지양하려고 노력하고 있습니다 🕊️

💻 WordPress Evangelist ✏️ Contents Marketer ⌨️ Lazy Blogger

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

🌱🎗🕯

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

FUB FREE

hello world alternative입니다.

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