@chalk 프로그래밍 얘기만 하지는 않아요. 그냥 그런 사람들이 모여있을 뿐이에요 히히힝

성공한 사람들은 목표를 쫓지 않음; "한계를 설정"함
------------------------------
- *목표 추구* 에만 집착하다 보면, 스스로 선택하지 않은 게임을 이기기 위해 달려가는 함정에 빠질 수 있음
- 실제로 *제약(Constraints)* 을 두고 그 안에서 일할 때, 일의 본질이 더 명확해지고 창의성도 극대화됨
- 목표는 구체적 결과에 집착하는 경향이 있지만, *제약은 과정과 정체성에 집중* 하게 만들…
------------------------------
https://news.hada.io/topic?id=21392&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

지나가겠습니다 @hongminhee洪 民憙 (Hong Minhee)

@cannalee90강호 @krucef오영욱 안녕하세요! 반갑습니다!

아 맞다!!! Geeknews도 구독이 가능합니다!!! @geeknews_bot

#해커스펍_가이드 #연합우주_온보딩

그것.... 아시나요...?

마스토돈을 비롯한 연합우주 생태계에서는 봇 계정을 만드는것이 트위터에 비해서 비교적 "많이" 자유로운 편입니다. 그래서, Hackernews/Lobsters 같은 서비스의 피드를 실시간으로 업데이트하는 봇들도 더러 있는데요. 이런 계정들은 마스토돈 인스턴스들에 있지만, HackersPub도 명목상으로는 ActivityPub 프로토콜을 지원하는 서비스이기 때문에, 마스토돈 인스턴스에 있는 봇들을 구독이 가능합니다.

@hn50Hacker News 50 @hn100Hacker News 100 @hn250Hacker News 250

@lobsters

봇 개발에 관심있다면 마스토돈 봇 만드는것도 고려해볼 수 있을 것 같아요!

참고로 이건 제가 만든 봇입니다 @aladin_itbook_notifier신간 IT서적 알림봇 (IT 신간 도서 출간 소식을 실시간으로 받아볼 수 있음)

@hongminhee洪 民憙 (Hong Minhee) 공지사항 이벤트래 내가 뭐래니. 자기소개 이벤트

마스토돈도 구현되어 있는데, 공지사항 기능도 있으면 좋을 것 같아요 @hongminhee洪 民憙 (Hong Minhee) 언제부터 언제까지 공지사항 이벤트 중 이라고 슬쩍 온보딩한다던가

@kkumtree @maywellJeonghwan Park @rumanielHyojin Kim 안녕하세요! 반갑습니다!

학생 대회에 개인후원할때가 종종 있는데, 명예의 전당에 이름 올릴때 하이퍼링크로 초대장 링크 넣는 상상

@joonnotnotJoon ㄷㄷ 첫 컨트리뷰터 ㄷㄷ

그것... 아시나요....? SNS 생태계에서 리누스토발즈가 유일하게 하는 SNS가 페디버스라는 사실...?

@bin_bash_shell이수호 완전 멋지다

@joonnotnotJoon 가...갑자기요....? 일단 hpbn.co 이거부터 쳐내고 읽을까 싶긴 한데 챕터 3개 정도 남긴 하네요

OSTEP 나도 좀 봐야하는데

#자기소개

회사에서 C++ 애플리케이션을 만들고 고치는 개발자입니다. 개발하는 프로그램이 성능이 워낙 중요한지라 low-level 지식과 intrinsic도 살짝은 알고 있습니다. C++의 골때리는 세부사항도 많이 알게 됐습니다. 최근에는 학부에서 제대로 알려주지 못한 운영체제 지식을 학습하고자 OSTEP 을 읽고 있습니다. 주 편집기는 nvim이며, lazy에서 kickstart로 넘어가야지 생각만 하고 계속 미루고 있습니다.

학부 때는 알고리즘 문제풀이에 푹 빠져있었습니다. 동아리 운영도 2년간 했고, ICPC WF에도 출전했지만 벌써 몇 년은 된 옛 이야기가 되었습니다. 지금도 간간이 UCPC 및 ICPC 출제에 참여하고 있지만 흥미는 학부때만은 못합니다. 요즘은 제가 잘 알지 못하는 다른 주제에 대한 관심이 훨씬 더 커서, 고루고루 흡수하고 있습니다. 기술적인 관점뿐만 아니라, 사회에 선순환을 이끌어낼 수 있는 방법도 주요 관심사입니다.

코딩 외의 다른 취미로는 보드게임과 독서, 그리고 운동이 있습니다. 최근에는 친구들과 아컴호러 카드게임 헴록 베일의 축일 을 밤새 몰입하며 즐겼습니다. 기력과 여유가 더 생기면 집에 신디사이저와 오인페를 들여 다시 작곡을 해보고 싶습니다. 생각해보니, 이제 몇 년간 방치한 기술 블로그를 이 김에 되살릴 때도 되지 않았나 싶습니다.

프로필 사진은 본가에서 기르는 고양이 망고(8)입니다. 이제는 저도 몇 달에 한 번 정도밖에 못 보지만, 고양이는 귀여우니만큼 종종 타임라인에 올리도록 하겠습니다.

모두 잘 부탁드립니다. 감사합니다.

오츠카 아미의 #100일챌린지 가제본을 볼 기회가 생겨서 앉은 자리에서 휘리릭 재미있게 읽었습니다. 실제 책의 부제목도 그대로가 될지 모르겠는데, '작은 도전이 만들어낸 큰 변화'를 기록한 일본 상경대 여학생의 개발 성장기입니다. 트위터에 하루에 한개씩 과제를 GPT로 해결하면서 처음에는 프롬프트만 보다가 재귀함수를 배우고, 클래스를 배우고, 디자인패턴을 배우고... 경험과 고민이 확장되는 과정을 엿볼 수 있습니다. 인공지능을 활용한 창의적 성취와 꾸준한 노력의 힘을 잘 보여주는 이야기(실화 바탕)입니다. 몇구절 소개하자면..

• 제텔카스텐을 사용하면 예전의 아이디어와 지금 하는 작업을 자연스럽게 연결할 수 있다.
• 프로그래밍에서도 진척 상황, 막혔던 부분, 사용할만한 프롬프트용 정보 등을 빠짐없이 기록해 두었다. 어디서 어떻게 활용했는지도 자세히 적어놓았다. 자료만 손에 있으면 언제든 챗GPT와 상담할 수 있으니까. 이 메모는 처음엔 철저히 개인적인 비망록이었지만, 지금은 100일 챌린지의 진척을 관리하는 중요한 도구가 되었다.
• 코드만 짜는 거라면 경험이 없어도 프로그래머는 될 수 있어. 하지만 그건 엔지니어와는 달라. 프로그래머는 주어진 일을 코드로 구현하는 역할을 하지. 하지만 엔지니어는 시스템 전반을 바라보고 효율적인 알고리즘을 선택해서, 그 시스템을 어떻게 실현하고 확장할지, 장기간에 걸쳐 운용할 수 있을지를 고민해야 해. 그러려면 수학과 논리학의 기초지깃은 필수야.
• 그냥 좋아하는 걸 일로 삼고 싶었던 게 시작이었지. 근데 그게 내 길을 열어줬어. 너도 좋아하는 걸 믿고 밀고 나가면 돼.
• 게으름이라 여겼던 '대충하기 위해 전력을 다하는 자세' 그것이 '프로그래머의 본질'이나 '재능'
• 다만 재사용 가능한 프로그램을 만든다는 정답만 추구하다 보니 어느순간 부터 내가 원하는 걸 잃고 실력에 안맞는 완성형만 좇고 있었다.
• 기술적인 문제나 고민은 여전하지만 그것조차 고통이 아니라 일상의 일부이자 창작의 묘미
• 눈에 띄지 않을 만큼 작은 진척들이 쌓이고 쌓이면, 언젠가는 그것이 확실한 실력으로 드러날 테니까.
• 프로그래밍 학습이 지속되지 않는 가장 큰 이유는 공부방식이 지루해서다.
• 배움이란 원래 그런거다. 나아가면 나아갈 수록 지금 내가 나아가고 있는 건지조차 잘 안보이게 된다.
• 지속이란 고통이 아니라 습관으로 즐기는 것. 매이 ㄹ조그만 호기심을 찾아 몰입하는 것, 그 습관이야 말로 내가 100일을 이어올 수 있었던 비결일지도 모른다.

그런데 책 읽다가 저자가 궁금해 졌습니다. 94일째 과제를 하면서 선형대수에 나오는 아핀 변환이라는 토픽을 떠올리다니.. 일본은 상경계도 선형대수까지 다 배우는 걸까요?

미스트랄 요즘 폼이 좀 올라오나보네

그.. 그래서.... 이젠 좀 필요할때 얼굴 좀 비추더라도.. 소극적이 되려구요...

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

@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도 조금 건드려보다 말았네요.

잘부탁드립니다