Search results

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소

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

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

잘 부탁드릴게요 #툿친소 #연친소 #핵친소

@kodingwarriorJaeyeol Lee 님에게 들킨 김에 써보는 #자기소개

• 퍼리입니다. 언젠간 해커스 펍을 털로 뒤덮으려는 아름다운 마음을 품고 있습니다.
• 재작년 부터 web3 쪽으로 전향했고 주로 코어 쪽을 건들고 있습니다. 하지만 여전히 블록체인은 잘 모릅니다.
• 언어 만드는걸 좋아하고 관련 프로젝트들에 기여를 하고 있습니다
• 좋아하는 언어는 러스트와 OCaml인데 안 쓴지 오래되서 조만간 까먹을거 같네요
• 파서나 상태머신, 정적분석을 좋아합니다. - 관련해서 요즘은 개발하고 있는 언어에 린터를 만들고 있습니다
• 활자 중독입니다. 해커스펍은 읽을게 많아 좋네요. 책은 주로 철학이나 건축 쪽을 읽고 있습니다.
• 의외로 백엔드나 프론트엔드를 해본적이 없어서 항상 애매한 포지션에 있는 것 같습니다.
• 밴드활동도 하고 있습니다. 원래 대충 모여서 술마시는 것에 의의를 뒀었는데 올해는 공연 뛸 일이 많아졌네요.
• 20대 중반이고 서울에서 거주 중입니다

여러모로 잘 부탁드립니다. 추가로 깃헙 프로필은 https://github.com/notJoon입니다.

낫준 배상 #핵친소 #연친소 #툿친소

아, 이렇게 된 이상 저도 #자기소개 해야겠어요. WWDC 기다리는 중인데, 자기소개 글이라도 작성하기 딱 좋은 시기긴 하네요

• 일단 저는 해커스펍을 만드는 사람은 아닌데, 명목상으로는 1호 가입자(?)이구요. 해커스펍 서비스 자체가 너무 좋아서 이 사람 저 사람 찔러보면서 "츄라이 츄라이"하는 사람을 담당하고 있어요.
• 한국어권 Vim 사용자 모임 vim.kr, 그리고 한국 연합우주 개발자 모임 디스코드를 운영하고 있습니다. 커뮤니티가 일단은 굴러가게는 하는 재능(?)이 있습니다.
• 좋아하는 언어는...... python인데, 밥벌이 시작을 Ruby로 해서 Ruby로 여전히 밥벌이하고 있습니다. 동적 타이핑 언어로 휘리릭 타이핑하고 프로토타입을 즉석에서 보고 가설검증할 수 있는 것에 매력을 느낍니다.
• 함수형 언어.. Elixir, Clojure, Haskell, Elm 등등 관심을 가져왔고 여러차례 찍어먹어보긴 했는데, 현업으로 쓰게 될 일은 없어서 피상적인 지식만 알고 있습니다.
• 주력 분야.... 이젠 모르겠습니다... 짬처리를 전문으로 해와서 그런가... 백엔드도 하고, 프론트도 하고, 모바일 앱도 만들고 잡다하게 해왔는데... 밥벌이를 안정적으로 하려면 프론트엔드를 주력으로 가는게 맞겠다 싶긴 합니다.
• 이미 느끼셨겠지만, 주로 쓰는 에디터는 #Neovim 입니다. Neovim으로 서버개발도 하고, 프론트엔드 개발도 하고, 플러터 앱 개발도 합니다. 이미 Neovim을 열심히 쓰는 사람이기 때문에, 자진해서 Neovim 전도사 역할을 할 때가 많고, Neovim 전도하는걸로 발표도 여러차례 했습니다. 발표자료가 궁금하다구요? 여기를 참고해보시면 될 것 같아요.
• 30대 중반... 미혼.... 서울에서 살고 있구요. 정체성은 아마 시스헤테로남성..?

아무튼.... 잘 부탁드릴게요.....

#툿친소 #연친소 #핵친소

새로 오신 분들도 많이 계시니, #자기소개 한 번 해 볼까요? 저부터 해보겠습니다.

• Hackers' Pub을 만들고 운영하고 있습니다. (Hackers' Pub은 저희 집 홈 서버에서 돌아가고 있습니다… 😂)
• 연합우주(fediverse)와 ActivityPub에 관심이 많고, 또 관련된 소프트웨어(@fedifyFedify: an ActivityPub server framework, @holloHollo , @botkitBotKit by Fedify , Hackers' Pub…)를 만듭니다.
• 좋아하는 언어는 Haskell인데 자주 쓰는 언어는 TypeScript입니다. 예전에는 Python을 좋아하고 자주 썼습니다.
• 함수형 프로그래밍을 좋아합니다만, 좋아하는 만큼 잘 다루는지는 잘 모르겠습니다.
• 옛날에는 덕 타이핑 언어를 좋아했는데, 나이가 들고 협업을 많이 하게 되면서 정적 타이핑 언어를 선호하게 되었습니다. 그래도 여전히 덕 타이핑 언어가 제공하는 특별한 생산성이 있다고 생각합니다.
• 자유 소프트웨어와 오픈 소스를 좋아합니다. GPL을 좋아하지만, 트랜스젠더 배제적인 행보를 보인 적 있는 자유 소프트웨어 재단이나 여러 성추행 전적이 있는 Richard Stallman은 좋아하지 않습니다.
• 소프트웨어 문서화에도 관심이 많습니다. 문서화가 소프트웨어 개발의 중요한 부분이라고 생각합니다. 문서화 도구들에도 관심이 많습니다.
• 원래는 백엔드 개발자였는데 바로 전 직장이 블록체인 회사여서 백엔드 개발에서 손을 놓은 지 좀 되니까 이제는 잘 모르게 됐습니다. 재활이 필요합니다.
• 현재는 일 안 하고 쉬고 있습니다.
• 30대 후반, 기혼, 자녀는 없습니다. 서울에서 살고 있습니다.

아무쪼록 잘 부탁드립니다.

#핵친소 #연친소 #툿친소