#자기소개 #툿친소 #연친소

도해라고 합니다. 탐라가 너무 적적해서 툿친을 더 만들고 싶어요.

교류가 많은 편은 아니지만 쫌쫌따리 일상을 올립니다. 천천히 친해져요.

모비노기와 갠홈 이야기가 최근의 주요 관심사인 것 같아요. 그 외 마비노기와 파판14도 버닝하고 싶으나.. 일단 휴식 중.
자캐 이야기와 TRPG도 좋아해요.

좋아요 남겨주시면 팔로우 찾아갈게요!

#자기소개 #툿친소 #연친소

소개할만한 점이 있는지 늘 고민하는 핵노잼(!) 인간입니다. (결정적 사유: 현생에 치이고 있음)

콘솔게임 좋아하지만 지금은 게임에 쏟을 에너지가 없어서 소소하게 딸깍겜을 합니다. (AFK Journey, SD Gundam G-Generation Eternal) 그렇지만 언젠가는 스위치에게 시간과 애정을 쏟아붓겠다는 꿈을 가지고 있습니다.

책 읽는거 좋아하고, 연휴/휴가 때에는 어딘가에서 커피 마시면서 뭔가를 읽습니다.

일기... 비슷한 무언가를 씁니다. 그리고 일기장을 채울 거리를 탐색하기 위해 타로카드를 사용합니다. 그러다보니 가방에 노트, 필기구, 타로덱을 넣어 다닙니다. (그리고 이렇게 휘갈기는 메모 중 일부는 약간의 정리를 거쳐 저의 부계에 올라오기도 합니다.)

연합우주에서 그저 떠돌아다니는 not [다수 연합우주인들의 특성]입니다.

혹시라도 이 친소에 응답하고자 하는 분이 계시다면, ❤️/⭐ 남겨주시기를 부탁드립니다.

#연친소 #툿친소 #키친소

복작복작한 로컬탐이 그리워서
소규모 서버에서 나들이 나온 라미에요!

라벨 없는 퀴어, 요즘에는 독서에 빠져있어요
문학도 비문학도 취향이면 읽습니닷
꼭 책얘만 하는 건 아니고 일상계로 많이 쓸 것 같아요

친구해요~~ 흔적 남겨주시면 찾아갈게요!

#자캐러_툿친소
#툿친소

너무 적적해서 돌려요. 성인 자캐커뮤러로 이것저것 잡다한 거 많이 팝니다... 연뮤, 식물, 게임, 책, 일상, trpg... 기타등등
글그림 다 하는데 둘다 특출나지는 못해서 보통 러로 생활합니다.
부스트 주시면 성향 맞는 분 찾아뵙겠습니다!!

#툿친소 #연친소
컴퓨터공학과 학부생 2025년 포브스 선정 최고 불법개발자
하고싶은게 뭔지는 모르겠지만 그래도 일단 이거저거 보는중

오타쿠
봇치 더 락과 이거저거 잡탕 백합도 취급합니다 (편식함)
인터넷 방송인 얘기 자주 함 (케인 김도 똘삼)

그 외에도 이거저거 좋아하는거 위주로
시사 정치 음악 오디오 얘기 쬐끔
전공얘기 쬐끔 일상얘기 많이
흡연자/술마심 (술담배얘기 좀 함)

약간의 정신병력 있음 살짝 불안정합니다 (무리라면 피하시길)
팔로우 주시면 괜찮은지 보고 맞팔드림 (블언블 위약금 없음)

#틋친소 #툿친소 #마친소 #뿌친소​

- 대충 AuDHD
- 대충 체스 메이플 리듬게임 베데스다게임 등등 으 너 그런거하니? 싶은거 함
- IT쟁이: 대충 주력분야 llm, cv이긴 한데 다른분야라고 안하는건 아님
- 대충 젠녀

자유롭게 와주세요

#자기소개 를 해볼까요.

• @ranolp 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @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 스터디를 하지 않을까 싶네요.

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

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

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

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

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

• 퍼리입니다. 언젠간 해커스 펍을 털로 뒤덮으려는 아름다운 마음을 품고 있습니다.
• 재작년 부터 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대 중반... 미혼.... 서울에서 살고 있구요. 정체성은 아마 시스헤테로남성..?

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

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