입장상? 연락하고 알고 지내는 후배가 매 기수마다 있는데, 이젠 내가 교수님뻘이라는게 믿기지 않는다....

@hongminhee洪 民憙 (Hong Minhee) 아 ㅋㅋ 넘을때쯤에 딱 캡쳐해서 멘션해드리려고 했는데!!!

https://hackers.pub/tags/자기소개

자기소개 해시태그가 흥하네요 좋다 좋아

한국 그 놈의 보안 프로그램... 저 보안 프로그램이란 것들이 얼마나 개판이었는지 논문이 나왔다니;

깔고 또 깔고 K 보안프로그램, 그러면 진짜 안전해지는...

Dear Fedi friends,

I'm really proud to share with you a video I made: "Introducing the Fediverse: a New Era of Social Media" https://news.elenarossini.com/fediverse-video/

In this 4-minute video I explain what the #fediverse is to people not familiar with it, mentioning some of its great features and benefits (interoperability, no ads, no surveillance...) and I set it in contrast to the world of Big Tech social platforms. I argue that, with the rise of Big Tech oligarchs and the current political climate, there has never been a better time to join the fediverse.

I hope you will enjoy this video and that you will find it useful (maybe as a tool to introduce your friends, family, colleagues, school administrators, local government officials to it).

The fediverse has truly changed my life, making me a better, more empowered digital citizen. I am endlessly grateful for it, so this is my contribution to the cause ❤️

I am also incredibly thankful for the work of @samaabergSamuel Aaberg and @patel.riyenThe Life of Tarzan who helped me bring my vision to life with their amazing cinematography skills and their assistance throughout the process, providing brilliant feedback to the script / edits from the POV of fedi newbies.

And I was also moved by the generous help of people of the Fediverse who volunteered to translate the script into many foreign languages: @janJan Dytrych🇨🇿🇺🇦 @fritjofFritjof @erikkempErik Kemp 🇪🇺🟥 @sknob @severin @clabruClaudio @tarcisiosurdiTarcísio Surdi ⁂ @hongminhee洪 民憙 (Hong Minhee) @danielcasanueva @ainaliJan Ainali @naclyPen

Lastly, I'm thankful for the opportunity I had to premiere the video last week at #FediForum - thank you @j12tJohannes Ernst and @anca

The video is up on my self-hosted PeerTube instance (thank you @yunohostYunoHost ) and for now it is unlisted as I have no idea how my VPS will hold up. I also included an alternate location in the blog post.

I hope you'll enjoy it! It's been a real labor of love (a month of full time work on it)... I see it as my love letter to the fediverse 💌

Edit/update: THANK YOU for all the people who volunteered to have their avatar show up in the last shot. There were 750+ submissions and only 135 spots - sorry I couldn't include everyone 🥲

#TheFutureIsFederated

@jungzunajjpark @kadd09kadd kang 안녕하세요! 반갑습니다!

@bubbler 와..... Project Euler 출제경험은 굉장히 귀하네요 ㄷㄷㄷㄷㄷㄷㄷㄷㄷ;;;;;

#자기소개

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

평소에 쓰는 모든 앱을 다크 모드로 하고 살다보니 어쩌다 라이트모드 화면을 보면 이렇게 된다

@jinhyukJinhyuk Kim @sepiabrownSu Won Park @ideasidus @suhunhan95Suhun Han 안녕하세요! 반갑습니다!

발표자료 이미 만들었긴 한데, 이것도 참고해봐야겠다

(참고로 저 사람은 마스토돈 재단에서 일하는 프론트엔드 개발자다)

이런 방법 좋다

않이 선생님 알림탭 감당하기 힘들어요 흑흑 @juanjinJuan

@theeluwin제이미 @hongminhee洪 民憙 (Hong Minhee)

이젠 이 생각도 흔들리고 있다....... 리터러시가 본질적으로 중요하다는 생각은 변하지 않지만, LLM 에이전트가 압도적으로 뽑아내는 레이턴시/스루풋은 무시할 수가 없다..... 물론 Claude Code는 CLI 기반의 에이전트라는 사실 ^^;

한빛미디어 @minhyeok민혁 인사이트 @insight한기성

많이 관심 가져주세요!

그거... 아시나요....? 연합우주에서는 알라딘 신간도서 알림을 실시간으로 받아볼 수 있다는 사실....?

@aladin_itbook_notifier신간 IT서적 알림봇

해커스펍에 인사이트, 한빛미디어 관계자 분들이 조인하셨습니다 짝짝짝

#자기소개 시간이네요. AI/Blockchain/Infra/Metaverse가 뒤섞인 영역에서의 소방관이자 해결사를 맡고 있습니다. 불도 끄고, 불이다! 도 외치고, 꺼진 불도 발로 차보고, 그러다 보니 10년이 지났습니다ㅎㅎ 다들 불조심하시고 재밌어 보이는 거 있으면 알려주세요~ 다들 잘 보고있습니다. 감사합니다.

typst로 관리하는 이력서... 마크업 가독성도 좀 개선해야됨..

@linea https://typst.app/project/rhWHVyaeuKu4W8criEO5Y5

전 typst로 관리해요. 이것도 조만간 깃헙에다가 올려야..

왜.... 다트 라이브러리 생태계는 하나씩 나사가 빠져있냐...... 툴툴대면서 포크떠서 개조하는 사람 나야나..

#자기소개 게임업계에서 기획하다 웹 프로그래머로 진로를 틀어보려 시도중입니다. 배운 과정들이 풀스택이라 백 프론트 다하고 있네요. 제가 생각해도 게임개발에서의 신입 TD 같은 기묘한 워딩같긴 한데 일단 전업해보려 노력중입니다 'ㅁ'/

영어, 일본어, 한국어 할 줄 알아요! 더 늘리고 싶지만 대충 언어 3개까지가 한계인 느낌이라 보류중!

@perillamint​​서버메이드 깐프 드렷습니다~

#자기소개

스타트업에서 FE로 허덕이는... 1개월 후면 2년차가 되는... 사용자 인터페이스 만들기와 함수형 프로그래밍에 관심이 있는... 음식 관련 이야기에 전반적으로 흥미가 깊은... 게임을 좋아하는...

저입니다! 잘 부탁드립니다!

#자기소개

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

#자기소개 를 해볼까요.

• @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 스터디를 하지 않을까 싶네요.

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

저도 #자기소개

• 가장 최근에는 TypeScript로 웹, 게임 백엔드 개발을 했습니다
• 제 손으로 뭔가를 만드는 게 재밌어서 프로그래밍을 골랐습니다.
• 요새는 코딩 잘 안 하구 풀-타임 백수로 지내고 있습니다.
• 가장 긴 경력은 육군 통신 장교입니다
• 서울 거주 중이고, 내년에 토론토로 떠나볼 예정입니다
• 취미로 기타 연주하고 책 읽고 노래 듣고 키보드 설계합니다
• 터보-씨로 시작해서 "자바 두 명 타요" 소리 들으면서 자라서 괜히 자바를 멀리했습니다
  • 그래서 아직도 자바를 잘 몰라요
• macOS에서 Emacs + org 잘 쓰고 있습니다
• Elixir, Haskell, Rust 좋아하는데 잘 모릅니다
• 일본어, 영어, 에스페란토 공부하는데 잘 못합니다
• 한국어 개잘합니다 원어민급임

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

어쩌다보니 키오스크 결제 모듈도 붙이고 있는데, 먹거리 찾기 참 쉽지 않다..

수학 전공자로서, 한때는 프로그래머에게 수학이 왜 필요한지, 얼마나 중요한지 같은걸 열심히 설파하려던 적이 있었는데요, 그 흔적이 이런 영상들인데 https://youtu.be/ND2gJVxZUaM?si=RsvrjsgYWeFCJMUT 지금 와서는 (수학을 제가 다 까먹었기도 했고) 그런 실용적인 목적보다는, 그냥 ‘재밌으니까’ 다들 공부했으면 좋겠다는 생각입니다. 이는 수학 뿐만 아니라 뭐든지, 뭘 알아야한다/알아야하냐 같은 얘기보다 ‘재밌으니까’가 먼저 오는 환경을 생각합니다. 너무 이상적이긴 하지만요.

@dahdaradanadatdahh @free1002sukchen kang @gwangyiSungkwang Lee @bubbler 안녕하세요 반갑습니다

가입자수 1000명 찍으면 사실상 트위터 개발자 타임라인이랑 위상동형이 된다

음 #자기소개 라

• 어렸을 때 엑셀에 딸려 있는 VBA를 만지면서 개발을 시작했어요.

• 고등학생 때 Scheme을 배우면서 우연찮게 리습의 마력에 빠져들었어요.

• 백엔드는 Django로 시작했는데 업무에서는 어쩌다 보니 Spring을 쓰게 되었어요.

• 그리고 어쩌다 보니 SwiftUI를 다루게 되었어요.

• 지금은 포폴 추가할 겸 Rust와 SwiftUI를 되새길 겸 단어 암기 앱을 기획하고 있어요.

뭐 인생은 어쩌다 보니가 주는 매력이 있지 않겠습니까 어쩄든 잘 부탁드립니다

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

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

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

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

안녕하세요 반갑습니다 @juanjinJuan @tl1l1l1stls @lullu룰루

지금은 개발자가 아니지만 조금 추억 회상 겸 #자기소개 를 해보자면, 저는

1. 중학교때 게임 개발로 프로그래밍 입문을 하고
2. 고등학교때는 정보 올림피아드를 하다가
3. 학부때 갑자기 수학을 전공 하다가
4. 스타트업에선 웹 프론트엔드를 위주로 하다가
5. 쟝고 장인이 되겠다며 백엔드를 파다가
6. 갑자기 대학원에 가서 한국어 NLP를 하다가 (이때 ‘세줄요약기’와 챗봇 ‘하우하우’를 만들었습니다)
7. 패션 연구에 끌려가서 한참 비전을 연구하다가 (style2vec, iTOO를 만들었습니다)
8. 운 좋게 붙은 추천 논문을 시작으로, 추천 연구를 계속 해서 일단 박사를 받았는데
9. 포닥 하러 와서는 또 XAI를 연구중입니다.

저는 이런걸 ‘다재무능’이라고 농담식으로 말하곤 하는데요, 실제로 저는 이제 소프트웨어 개발은 거의 못하고 그나마 자신 있는 분야도 박사 받은 분야 뿐이지만, 그래도 코딩하는것 자체는 무척 좋아했기에 미련이 남아서 해커스펍에도 오게 되었네요.

요컨대, 생각보다는 미래에 자신이 뭘 하고 있을지 예측하는건 어렵고, 이렇게 표류하듯 사는 사람도 많은것 같습니다.

@theeluwin제이미 오, 저 방금 제가 참고중인 유튜브 레퍼런스 찾았어요 https://youtube.com/shorts/NhSgzejNNHI?si=vx5BmDpXmyOj8tjI

트위터 팔로잉이 너무 많아서, 레퍼런스로 생각하고 있는 유튜버 찾지도 못하겠다 아이고

@theeluwin제이미 갑자기 드는 생각인데, 유튜브도 구간마다 섹션을 넣을 수 있긴 하거든요. 섹션 넣는거 자동화할 수 있는 방법 어디 없으려나 싶네요. 녹화하는거면 중간에 섹션 큼지막하게 한 1.5초 정도 자막 넣는다던가....? 그... 제가 알고 있는 레퍼런스 있는데, 찾으려니 안보이네요....

@hongminhee洪 民憙 (Hong Minhee) 아아.... 그런 사정이..... '마스토돈 중심' 세계관 이렇게나 해롭다

@hongminhee洪 民憙 (Hong Minhee) 님이 쓰신 글인데, 어째 다른 글에서처럼 페디버스 계정 태그가 안되네

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

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

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

@anniemon 안녕하세요! 반갑습니다!

@pbzweihander쯔방 그냥잘걸!이랑 잘 봤다! 정도의 차이 아닐까요

@joonnotnotJoon 완전 짱이다

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

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

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

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

WWDC 앞으로 2시간 남았다!