Hyunjoon Kim

@d01c2@hackers.pub · 33 following · 29 followers

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

Hyunjoon Kim @d01c2@hackers.pub
Public

언어 구현을 하는 데에 최고의 언어는 뭘까... 예전엔 OCaml이라고 생각했었고 요즘은 Scala가 최고라고 생각하고 있기는 한데, 더 나은 대안 언어는 없을까? 탈JVM이 하고 싶다 (그렇다고 Scala Native는 아닙니다 진짜...)

4
1
0
2
0
0
1
0
0
3
1
0
Hyunjoon Kim @d01c2@hackers.pub
Public

모레 SOAP 재밌겠다

SOAP 2025 - State Of the Art in Program Analysis - PLDI 2025

Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript), have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and mobile applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensuring code quality, and assessing security and compliance. SOAP 2025 aims to bring together the members of the program analysis community to share new developments and shape innovat ...

pldi25.sigplan.org

0
0
0
3
0
0
0
0
0
Hyunjoon Kim @d01c2@hackers.pub
Public

며칠 퇴근하고 컨트랙트 파 봤는데, 뭔가 싶었던 용어들도 그다지 특별한 건 아니라는 생각이 들었다. 막연하게 궁금하고 fancy해 보였는데 그냥 좋아하는 거 계속 파도 되겠다. 막연함에서 벗어난 것에서 나름의 소득을 달성한 것 같다. 은탄환은 없다.

3
0
0
3
1
0
2
0
0
Hyunjoon Kim @d01c2@hackers.pub
Public

탐라보다가 들켜버렸네요! 오랜만에 할 기회가 생겼습니다:)

  • 저도 해커스펍을 만드는 사람은 아니고, @kodingwarriorJaeyeol Lee 님께서 초대해주셔서 눌러 앉은뒤로 종종 트위터에서 잘 올리지 않는 이야기들을 여기서 하곤 해요.
  • 일단 대학원에서 PL 전공을하고 있는데요. 동료와 지인들에게서 딥한 타입 이론들을 듣는 것도 때로는 좋아하지만, 정적분석과 퍼징 같은 실용적인 프로그램 분석 기술에 더 관심이 많아요. JavaScript 생태계의 이런저런 툴체인들과 스펙 자체를 뜯어보고 기여하고 있습니다.
  • 좋아하는 언어는 Scala이고 연구할 때 주로 씁니다. 툴링이 좀 별로지만 정말 좋은 언어라고 생각해요. 그 외에도 TypeScript나 Golang, OCaml, Rust 가리지 않고 씁니다.
  • 함수형 언어... 이것저것 써본 적도 있고 관심도 가져왔지만 Scala가 제일 손에 익네요. Haskell에 늘 부채감을 느끼고 있습니다.
  • 이런저런 기술들에 관심이 많지만 그 모든 것을 follow-up할 여력은 되지 못해 늘 아쉽습니다. 무언가를 혼자서 알아가는 시간도 즐겁지만, 사람과의 교류를 통해 새로운 것을 알아가는 것을 즐깁니다. 기술 외적인 부분에서도요! 최근에는 커피 생두를 가공하고 변인 통제를 하는 것에 대한 이야기를 들었는데 정말 재밌었어요.
  • 에디터는 @xiniha 님의 추천이 첫 계기였던 것 같은데, 주로 Zed를 씁니다. 가볍고 빠르고 vim 키 바인딩도 익숙해지면 편하구요. 만족하고 있습니다.
  • 20대 중반...이네요. 분명 대학생이었는데 말이죠... 서울에서 살고 있는 시스헤테로남성입니다.
  • 사실 해시 거는 거 까먹어서 다시 작성했어요...

잘 부탁드릴게요

5
0
0
1
0
0
3
0
0
0
0
0
3
0
0
1
1
0
0
1
0
4
1
0
Hyunjoon Kim @d01c2@hackers.pub
Public

Excited to share that we just released ESMeta v0.6.0! Here's two new features that we're really excited about in this release. Since this is my personal account, I won't be introducing the entire toolchain, but if you're curious, check out on https://github.com/es-meta/esmeta/ (1/n)

ECMAScript Specification (ECMA-262) Metalanguage. Contribute to es-meta/esmeta development by creating an account on GitHub.

GitHub - es-meta/esmeta: ECMAScript Specification (ECMA-262) Metalanguage

ECMAScript Specification (ECMA-262) Metalanguage. Contribute to es-meta/esmeta development by creating an account on GitHub.

github.com · GitHub

2
0
0
4
1
0
2
1
0
3
1
0
5
0
0