自己紹介の投稿を見かけたので、私も🥳

学生時代は生物学を学んでいましたが、手先が不器用で実験センスがなかったので、バイオインフォマティクスという分野で生物学のビッグデータ分析みたいなことをしていました🧬
長いこと大学などでスパコンを使って仕事をしていたので、民間企業に転職してからはモダンな開発の世界を知ることから始めています。
エンジニアのマネジメントをする立場ですが、自分が一番の初学者です。
Hackers’ Pubでも基本的なことを投稿すると思いますが、どうぞよろしくお願いします！

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

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

#자기소개 를 해볼까요.

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

잘부탁드립니다

함수형 언어는 뭐 사실 역사와 전통의 리스프 방언에서 시작해야 하지 않나 (웃음)

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

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

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

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

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

• 저도 해커스펍을 만드는 사람은 아니고, @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입니다.

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

@theeluwin제이미 오 ㅎㅇ

ActivityPub을 만지던 진짜 이유를 언급하자면, 내년 출시를 목표로 ActivityPub 기반의 OTX라는걸 만들려고 합니다.

자세한 설명은 어려우니 간단하게만 말씀 드리면, 각국의 정보기관에서도 사용하는 정보공유 개념입니다.

많은 응원 바랍니다.

디자인은 @druidesse 님이 도와주시고 계십니다.

마조히스트를 위한 웹 개발 가이드
------------------------------
- *C/C++ 코드* 를 Emscripten으로 WebAssembly 로 포팅하여 브라우저에서 동작하는 웹앱 제작 과정을 실제 Rubik’s Cube 솔버 예제 기반으로 상세히 설명함
- *Hello World부터 멀티스레딩, 콜백, 영구 스토리지, 모듈화* 등 브라우저/WebAssembly 환경에서 마주치는 * 구체적 난관과 문제 해결법*을 단계별로…
------------------------------
https://news.hada.io/topic?id=21337&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

보조배터리가 부풀었는지 케이스 한쪽이 부풀었더. 그래서 케이스를 일단 깠는데 막상 배터리 셀은 멀쩡한 것 같다. 기화 되어서 부푸는 것으로 알고, 실제로 다른 부푼 것들을 몇번 봤으니 어떤 꼴일지 대충 아는데... 혹시 모르니 폐기 해야지

안녕하세요!

제가 소유하고 있는 아래 두 도메인을 양도받으실 분을 구합니다.

- mastodon.kr
- mstdn.kr

관심이 있으신 분은 디엠 보내주세요.

- 가급적이면 마스토돈 / 페디버스 운영이나 개발에 관여되어 있으신 분이 양도 받았으면 합니다. (신청자가 여러명 있는 경우에는 이쪽을 우선하려 합니다)

- 무상으로 양도 드릴 예정이지만, 도메인 업체에서 명의 이전 수수료같은게 따로 부과되는 경우 별도로 지불해 주셔야 할 수도 있습니다!

감사합니다!

안녕하세요, 페미위키 개발팀입니다. 개발팀 활성화를 위해 이리저리 둘러보다 해커스펍에 대해 알게 되었습니다. 여건이 되면 페미위키 개발에 대해서 얘기할 수 있는 기회를 만들어보려 합니다!

더불어 페미위키 개발팀에서 오픈소스 컨트리뷰터 & 개발팀을 모집합니다! 페미니스트시라면 정체성 불문, 거주국 불문하고 모시고 있습니다. 함께 페미니즘 정보집합체 만들어가요!

@bglbgl gwyng 사이드 이펙트에 자비를 베풀면 안 됩니다.

Hackers' Pub에 공유할 수 있는 초대 링크 기능을 추가했습니다. 설정 → 초대 페이지에서 초대 링크 생성이 가능하며, 초대 링크는 정원이나 유효 기간, 메시지를 정할 수 있게 되어 있습니다. 아무래도 DM으로 직접 초대 요청을 달라고 하면 쑥스러움이 많은 분들은 요청을 안 하시는 경우가 많은 것 같아서 만들게 되었습니다. 참고로, 초대 링크를 통해 가입한 사용자는 초대 링크를 생성한 사람과 자동으로 맞팔하게 됩니다.

@bglbgl gwyng 넵 그 이야기입니다. 빌드 할 때 플래그 변경 수준으로 웹서버로 빌드가 가능하지 않을까? 라는 것이죠. 제공 불가능한 API도 있기는 하겠지만...

tauri를 좀 써보니 진짜 약간의 레이어만 있으면 바로 웹서비스로도 만들 수 있을 것 같은데... 그 약간이 문제겠지...

JSX에다가 React에서 제공하는 primitive와 비슷하게 제공해서 문서를 거의 안보고 넘어갔고, 몇시간 안써봤으니 어딘가 잘 못 쓰는 부분이 있겠거니 싶긴한데 어쨌든 첫인상은 아쉬운 점이 많다.

React만 쓰다가 solidjs를 시도 해봤는데, 홍보하고 있는 장점을 전혀 못 느끼고 있다. 물론 solidjs자체의 문제는 아닌 것 같고, 같이 쓰는 라이브러리의 문제인 것 같다. 일단 Router의 Context Provider와 Route 정의 트리의 시작이 분리가 안되어있고, 부분 경로 별로 레이아웃을 가지는 형태로 작성이 어려운 것 같다. 그리고 A 요소도 어째 동작을 안하게 되었는데 무엇이 문제인지 모르겠다. 디자인 작성이 싫어서 SUID - MUI (react material design)의 solidjs포트 - 를 썼는데 어째서인지 안쓰는 모듈까지 잔뜩 로드하느라 첫 렌더가 너무 느리다.

이건 뭐야

Microsoft really doesn't like RC4 encryption apparently 😆

@hongminhee洪 民憙 (Hong Minhee) 저어는... 모델을 추가할 수 있는 권한이 없는 엔터프라이즈 계정으로 쓰고 있습니다. ㅋㅋㅋ... 😇

으아악... 클로드에게 typescript시키는데도 미묘하게 멍청하게 작업한다...

타협하는 마음으로 매번 민주당을 찍는다. 나는 좌파고 애국심도 없는 반면 민주당은 애국보수이기 때문에 정치적으로 맞지 않는다. 국민의힘을 비롯한 일부 정치 세력과 일부 종교 세력은 “보수”가 아니라 “반인륜적 기회주의 세력”에 불과하기 때문에 애초에 고려 대상이 아니다.

반인륜적 기회주의 세력이 충분히 정리되고, 민주당이 정통보수로 자리잡고, 언론이 제대로 작동하기 시작하면(현재의 언론은 기회주의 세력의 일부이거나 극도로 무능하다), 그러면 드디어 안심하고 내가 실제로 지지하는 진보 계열 정당을 찍을 수 있을 것 같다.

이재명은 성남시장 시절부터 존경하던 정치인이자 행정가다. 기회주의자들의 이재명 악마화는 전혀 믿지 않는다. 그가 공약을 지키기 위해 최선의 노력을 할거라고 믿는다. 다만 그는 보수주의자이고 애국자라서 나랑 맞지 않을 뿐이다. 모든 공약에 반대하는 건 아니다. 예를 들어 보편기본소득 관련 정책은 적극 지지한다.

권영국의 공약은 나랑 잘 맞는 편인데(어떤 정치성향 테스트에 의하면 88% 일치) 이걸 그대로 믿는건 아니다. 원래 지지율이 낮을수록 강하고 선명한 메시지를 낼 수 있는거니까. 게다가 권영국이 지금 당장 당선된다 하더라도 그의 공약이 그대로 실행될 가능성이 매우 낮다. 한국은 아직 그렇게 좋은 나라가 아니다.

부디 이재명 정부가 성공하길 진심으로 바란다. 그 덕에 다음 대선 혹은 다다음 대선에서는 꼭 진보정당을 뽑고 싶다.

이재명이 과반을 넘긴 점, 이준석이 선거비 보전을 한 푼도 받지 못하게 된 점은 아주 기쁘다. 다만 권영국의 지지율이 더 높지 않은 게 아쉽고 미안하다.

Right now, South Korea is counting votes for the presidential election. Amid this, it has been revealed that men in their 20s and 30s overwhelmingly support Lee Jun-seok—an anti-feminist and effectively fascist candidate. I feel not only ashamed of my country's men of my generation but also deeply concerned. I believe there is a very high chance that South Korea could become a fascist country in 10 to 20 years. As a socialist and leftist, I feel powerless…

이북으로도 정발 https://ridibooks.com/books/4403013496

〈금융 보안 프로그램 의무 설치가 오히려 해킹 위험 높인다〉… 네, 그렇겠죠?

https://learn.microsoft.com/en-us/windows-app/input-keyboard-mouse-touch-pen?tabs=ios-ipados#keyboard-shortcuts-2 문제의 동작...

단축키 자동 맵핑을 꺼야 그래도 쓸만할 것 같은데....

@hongminhee洪 民憙 (Hong Minhee) 아 대체품이 없는 쓸모 있는 것이라는 말이었습니다 ㅎ... 이건 대체품이 여럿 있기도 하니까요.

이것 말고 쓸모 있는 것을 만들어야 하는데...

macOS에서 실행되는 RDP서버 구현체 입니다. 왜 이런 것을 만드냐고요? 그러게 말입니다... https://github.com/Perlmint/ARISU

@hongminhee洪 民憙 (Hong Minhee) 저는 에디터 자주 바꿔온 편인데요. 사실 개발에서 코드를 조작하는 시간의 비중은 크지않고, 코드를 조작할때 생산성에 영향을 크게 주는건 에디터 기능이 아닌 인텔리센스라고 생각해서입니다. 즉 lsp 만세?

해석: Copliot은 주말에는 2차 인증을 사용할 수 없게 만들어 로그인을 할 수 없도록하는 코드를 제안했다.

C# 파일을 dotnet run app.cs로 직접 실행하는 방법
------------------------------
- *.NET 10 Preview 4* 부터는, 이제 단일 C# 파일을 dotnet run app.cs로 바로 실행할 수 있는 기능이 추가되어, *프로젝트 파일 없이도* C# 코드 실행이 가능해짐
- *파일 기반 앱(file-based apps)* 덕분에, Python이나 JavaScript처럼 간단한 스크립트 실행, 테스트, 아이디어 실험이 한층 쉬워짐
- Nu…
------------------------------
https://news.hada.io/topic?id=21190&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

집에서 식물 기르려고 워터펌프와 식물등을 제어하는 회로를 만들어 쓰다가, 결국에는 중국산 IOT멀티탭으로 전원 공급/차단 하는 것으로 갈아타버렸다. 직접 만드는게 노력은 꽤 드는데 커스터마이징 할 요소도 딱히 없고, 별로 재미도 없고...

@hollo @leetekwoo 제가 알고 있기로도 아직은 x86계열이 OS들의 지원이 가장 잘 되고, arm계열도 많이 지원하지만, 많은 부분의 하드웨어가 독점적이기도 한 애플 실리콘 맥(M시리즈)은 문제가 있습니다. 애플 실리콘 맥미니는 기본 가격이 애플답게 높은 편임에도 성능, 전력 소모면에서 장점이 크지만, 앞서 말한 부분의 제약을 감수 해야 합니다. 그래서 그냥 macOS를 그대로 쓰는 편이 많은걸로 압니다. 인텔 맥은 성능도 가격에 비해 별로 추천 할 만하지 못 하다고 생각하구요. 이야기 하신 목적을 주로 생각하면, 아직은 x86계열 CPU가 장착된 장비가 쉽고 저렴한 선택일 것이라고 생각합니다. 불과 몇년 전만 해도 rpi4(arm64)도 리눅스에서 제대로 지원이 안되어서, beta버전 배포판에 하드웨어 제어 SW도 누락되어서 직접 빌드하고 그랬거든요.

맥/iOS RDP클라에서 주요 조합키를 Windows에서 동작하도록 맵핑하는 동작이 있는데 맥버전에서는 이걸 또 끌 수 있다고 한다. 휴리스틱하게 잘 찍어서 원래 값으로 되돌려야 할 것 같은데...

"AI^[1] 덕분에 ***가 민주적이 된다"는 말이 자주 나오고는 한다. 나는 이에 매우 회의적이다. 다른 것은 다 받아들여서 AI가 많은 사람들이 어떤 일을 매우 싸게 (거의 공짜로) 할 수 있게 해준다고 쳐도, AI로 만들어내기 힘든 수준의 "고급" 결과물은 여전히 존재하고, 이는 특정 직군의 고경력 전문가에게 넘어가게 된다. 문제는 이 "경력"을 어떻게 쌓느냐이다. 해당 직군의 초보자들은 AI에 밀려 경쟁력을 잃기 십상이고, 그들을 위한 여러 자리를 (AI를 활용하여 생산성을 높인) 전문가 한 명이 대체하기도 한다. 어떤 직군을 가질 수 있는 조건이 말하자면 이미 엄청난 실력을 가질 것이 되는 환경의 조성을 "민주적이다"라고 할 수 있을까?

@leetekwoo OS부터 해본다는 것이 무엇을 의미하는지 알 수 있을까요? 일단 맥 미니에서는 서버 어플리케이션을 실행하기에는 좋으나, OS와 관련한 것은 무엇이든 어렵지 않나 싶습니다.

@leetekwoo 저는 rpi4를 쓰다가, Local LLM 같이 고사양을 요구하는 것을 해보고 싶어서 M4 Mac mini를 추가로 쓰고 있어요.

새 블로그 글

[ko] SKT 유심 “재설정” 분석 – 무엇이 바뀌는가, 그리고 정말로 교체와 동일한가

https://blog.quendi.moe/2025/05/29/ko-skt-%ec%9c%a0%ec%8b%ac-%ec%9e%ac%ec%84%a4%ec%a0%95-%eb%b6%84%ec%84%9d-%eb%ac%b4%ec%97%87%ec%9d%b4-%eb%b0%94%eb%80%8c%eb%8a%94%ea%b0%80/

MS는 너무 친절해서 iPadOS Windows앱에서 Cmd+a를 입력하면 Ctrl+a로 바꿔서 보내주나보다.

RDP서버 프로젝트 이름 골랐다. ARISU(Apple Rdp Implementation Server Unit?) 아리수라는 국산 사과품종이 있다고 합니다. 약어는 당연히 어거지로 ㅎ...

아 인증도 좀 더 제대로 해야지. 그리고 몇가지는 정리해서 RDP 프로토콜 구현체 라이브러리에 기여 넣어야지

미친이게뭐야

포탈로 웹서버를 만들어요?

https://youtu.be/-v5vCLLsqbA

사실 이미 맥용 RDP 상용 서버가 있긴합니다. 그냥 집에서 혼자 쓸거에는 아까워서 만드는 겁니다...