国漢文混用体からHolloまで

本日、第8回FediLUG勉強会で「国漢文混用体からHolloまで」というタイトルで発表をしてきました。

私がなぜActivityPubサーバーフレームワークのFedifyと、シングルユーザー向けActivityPubサーバーのHolloを開発する事に成ったのか、その旅路を共有しました。

実は全ての始まりは、韓国語の「国漢文混用体」（漢字ハングル混じり文）に「振りハングル」を付けたいという単純な願いからでした。この小さな目標が、最終的にFedifyとHolloという二つのプロジェクトへと発展したのです。

興味のある方は、発表スライドをご覧ください： 「国漢文混用体からHolloまで」（Speaker Deck）

#FediLUG #Fedify #Hollo #ActivityPub #フェディバース #fediverse #fedidev

일본어긴 한데 발표 자료 공유합니다.

@noxowlSuyeong RHIE 감사합니다!

일본에 Fediverse Linux Users Group이라는 모임이 있는데, 거기서 〈국한문혼용체에서 Hollo까지〉라는 이상한 주제로 오늘 발표를 합니다…

RE: https://hollo.social/@hongminhee/019603c7-b5ef-7d81-bbd4-4c37d46edce9

本日開催する第8回FediLUG勉強会に私もオンラインで参加します！「国漢文混用体からHolloまで」というタイトルで発表します。よろしくお願いします。

#FediLUG

이제 에이전트 모드와 MCP 기능이 정식버전에 탑재됐네요!

https://github.blog/news-insights/product-news/github-copilot-agent-mode-activated/

바이브 코딩 고고고
#VS Code

설치형으로 블로그 만들어서 가꾸고, 메일 서버도 직접 띄워서 쓰고 이런 개발자들보면 왠지모를 호감이 간다. 근데 막상 나는 저런거 귀찮아서 절대 안하고 맨날 공짜만 찾아다닌다.

@kodingwarriorJaeyeol Lee 아, 그러게요. 요즘엔 그 프로젝트 안 하시나요?

@Yoxem鯖魚蒜末貓 FYI, we've just added the Traditional Chinese translation to Hackers' Pub!

正體中文翻譯現已可用！

我們很高興地宣布，Hackers' Pub 現在支援正體中文（zh-TW）！這意味著我們的介面將更加親近使用正體中文的軟體工程師和技術愛好者。

關於 Hackers' Pub

Hackers' Pub 是一個專為軟體工程師共同分享知識和經驗的平台。我們不僅是一個社區，還是一個啟用了 ActivityPub 的社交網路，讓您可以在聯邦宇宙（fediverse）中關注您喜愛的開發者，並在您的訂閱流中獲取他們的最新貼文。

我們的特色：

• 開放的技術交流：自由分享您的知識、經驗和見解
• 多語言支援：現在包括正體中文在內的多種語言
• 聯邦互連：通過 ActivityPub 協議與其他平台（如 Mastodon）互通
• 程式碼分享：支援 Markdown 和程式碼語法高亮
• 包容性社區：遵循我們的行為準則，確保所有人都受到尊重

如何切換到正體中文

要將介面切換到正體中文，請按照以下步驟操作：

1. 登入您的 Hackers' Pub 帳戶
2. 前往「Settings」頁面
3. 選擇「Language settings」標籤
4. 在左側「Languages to select:」列表中找到並點擊「Chinese (Taiwan) 中文（台灣）」
5. 該選項會移至右側的「Selected languages:」列表
6. 如果您希望將正體中文設為主要介面語言，可以使用箭頭按鈕將其移至已選擇語言列表的最上方
7. 點擊頁面底部的「Save」按鈕保存設定

我們也提供了正體中文版的 Markdown 指南，幫助您以最佳方式格式化您的貼文和文章。

加入 Hackers' Pub

Hackers' Pub 目前採用邀請制。如果您希望加入我們的社區，可以通過直接發送私人訊息（DM）給我來請求邀請碼。我們非常歡迎正體中文使用者的加入！

幫助我們改進

這是我們首次推出正體中文介面，可能仍有需要改進的地方。如果您發現任何翻譯錯誤或有改進建議，請透過以下方式聯繫我們：

• 在 GitHub 儲存庫中提交問題或拉取請求
• 在我們的討論區分享您的反饋

感謝您成為 Hackers' Pub 社區的一員，讓我們一起建立一個更加包容、多元的技術交流平台！

附言：如果您對其他語言的翻譯感興趣，請查看我們的翻譯貢獻指南（英文）。

타임라인에 Gumroads가 있길래 오랜만에 들어가봤습니다. 이곳은 전에 유명한 하스켈 책을 팔던 곳인데 지금은 없네요. 대신 @bglbgl gwyng 님이 좋아하실만한 걸 찾았습니다. https://abuseofnotation.github.io/category-theory-illustrated/

@Yoxem鯖魚蒜末貓 Okay, just let me know when you need it. I'll invite you!

@Yoxem鯖魚蒜末貓 我們還不支援繁體中文，但支援英文和簡體中文。如果您有興趣，我可以幫您取得邀請函！

@kodingwarriorJaeyeol Lee 카테고리는 좀 다르지만 터미널에서 쓰는 Claude Code는 어떠세요?

svg를 3D 모델로 바꿔주는 오픈소스 사이트 https://www.vecto3d.xyz

가끔 보면 Misskey는 ActivityPub을 마지못해 지원하는 것 같다니까요. (실제로 만든 사람이 그런 뉘앙스의 얘기도 몇 번 했었고.)

생각난 김에 또 하나 들자면, 본문에 대한 내부 표현이 HTML이 아니라 MFM이라는 것. MFM에 별 쓸 데 없는 기능은 다 넣어놓고, 정작 헤딩이나 목록 같이 문서의 의미론을 살리는 요소들은 HTML → MFM으로 번역을 안 해서 다 날아가 버린다. 서식에 굉장히 인색한 Mastodon조차도 원격에서 들어오는 HTML에 대해서는 Misskey보다 훨씬 많은 요소들을 받아들이는데 말이다.

개인적으로 Misskey에서 유감인 점이 여러 가지 있는데,^[1] 그 중 하나가 ActivityPub 수준에서 언어 태그를 안 한다는 것. 그래서 해당 게시물이 어떤 언어로 쓰였는지에 따라 필터링을 구현하고 싶어도 쉽게 할 수가 없다.

@daidaisuke 韓国では日本の人名は通常、日本語の読みをそのままハングルで転写します。「다이스케」は「ダイスケ」、「대스케」は「デスケ」、「다스케」は「ダスケ」と読みます。つまり、1番が正しいのです。

ちなみに、「大輔」の韓国漢字読みの「デボ」はハングルで「대보」と書きます。

@morealLee Dogeon 오… Hackers' Pub에도 pgvector 써보려고 생각만 하고 있는데, 써보시고 나서 후기 기대하겠습니다. ㅎㅎㅎ

@morealLee Dogeon 의미론적 검색(semantic search) 구현하시나요?

유니코드 컨소시엄에서 운영하는 CLDR 프로젝트에서 눈에 띄는 한 줄 { "ISO3166-1-Alpha-3": "KOR", "Languages": "ko-KR,en" }

@arkjunJuntai Park @morealLee Dogeon 감사합니다! 🙇🏻‍♂️

@ryugeunsu유근수 님, 어서 오세요!

Servo vs Ladybird

https://thelibre.news/servo-vs-ladybird/

VSCode 확장 중에 Vim 키맵을 지원하는 플러그인 vscode-vim을 지나가다 다들 보셨을 겁나다.

Vim 키맵을 지원한다는 것 만으로도 색다른(그리고 좀 더 생산성에 유의미한 변화를 주는) 개발경험을 누릴 수 있지만, VSCode에서 지원하는 기능(랭귀지서버 기능 포함)을 내가 원하는대로 키맵에 매핑할 수 있고 마우스를 거의 쓰지 않고도 오로지 개발에만 몰입이 가능하게 됩니다. Vim의 장점, VSCode의 장점 모두 누릴 수 있게 됩니다.

오늘 소개하는 영상은, vscode-vim을 어떻게 유용하게 사용할 수 있는지 소개하고 있습니다. 국내에 있는 자료 중에 이만큼 본격적으로 잘 소개해주는 자료는 없을겁니다 👀👀

https://youtu.be/oOLoE4pJQf4?si=R2zLyi02oamLnFWG

VSCode를 기반으로 하는 Cursor, Windsurf 등의 에디터에도 비슷하게 적용할 수 있으니 한번 참고해보면 좋을거에요!

3MB 텍스트 검색하려고 20MB는 기본으로 쓰는 별도 DB 띄우려니 뭔가 아까운 기분... 😂

해키지(Hackage)^[1]에 패키지를 업로드하면 자동으로 빌드, 문서 생성, 테스트가 진행된다. 그런데 이게 시간이 좀 걸린다.(체감상 10분 정도) 이 과정이 자동으로 완료되기 전에 참지 못하고 수동으로 문서를 업로드하면 자동으로 진행되던 것들이 모두 중단된다. https://github.com/haskell/hackage-server/issues/1376

조던 엘렌버그라는 수학자가 쓴 '틀리지 않는 법'이란 책이 있는데, 재밌고 읽어볼만하다.

그 책에서 컴퓨터가 수학자가 하던일을 할수 있게되면 어떡하냐에 대해 저자의 해결책을 제시하는데 원래 하던일을 컴퓨터한테 맡기고 수학자들은 더 고차원적인 일을 하면 된다고 한다. 한 10년 전에 읽었을때도 그냥 대책없고 나이브한 생각으로 보였다. 근데 요즘은 (실제로 어떻게 될지랑은 상관없이) 저런 나이브한 마음가짐을 일부러라도 가지고 일해야 뭐라도 해낼듯.

@xtjuxtapose 早く申し込みフォームを作らないといけませんね。😂

@hongminhee洪 民憙 (Hong Minhee) Twitterはイーロンされててもうだめだ、ActivityPub対応のアカウントが欲しい → この「ハッカーズ・パブ」がよさそうだな → 会員登録がない → 管理者に申し込み → 管理者にメッセージを送るには、ActivityPub対応のアカウントが必要

😂

Hackers' Pub의 소스 코드 저장소를 제 개인 계정에서 hackers-pub 조직 계정으로 옮겼습니다.

https://github.com/hackers-pub/hackerspub

@xtjuxtapose 現時点では私が手動で招待状を送っていますが、正式に申請フォームが必要な様ですね…

ふと疑問。ここ、招待制なので、興味を示す日本語圏のハッカーさんがいても、合流できないのでは…？

すると、一般登録はまだ早いとしても、登録申し込みフォームとかが必要なのか？

創立者さんには別の計画がおられるだろうか

この「ハッカーズ・パブ」(Hackers' Pub)は、ハッカーたちが集まるネット上の場所であって、各自ブログも出来て、レスも出来て、掲示板みたいにも使えて、ユーザーの望みであればFediverseなる世界中の 変人 みんなのネットワークとも繋がりうる、言わばハッカーたちのための新しいツイッターみたいなサイトらしい。

ツイッターより優れた部分は何かというと、技術的に何時間も喋れそうだが、私が注目するのは、まずここの創立者および主任開発者である洪 民憙 (Hong Minhee)先生はイーロンなどよりかはずっとましな方で、頼れる方だということ。ユーザーの自由に関する彼の哲学、このサイトの設計思想などは信用できる。多分。なにしろ彼は今やFLOSS(Free/Libre/Open-Source Software)の開発を専業としておられるのだ。

なお、例えひょんな事で洪さんがイーロン並みに暴走する、由々しき事態でも、ここはツイッターみたいにはならないということ。この「ハッカーズ・パブ」はソースコードに限らず、プロトコルや作動原理も全部FLOSSなので。まあ洪さんの暴走なんてないでしょうけどね。

エンジニアとして生きてきた分、こういうサービスを運営する側の負担を大体把握しているので、自分ではやらないと思うし、ここが盛り上がったところで (盛り上げたところで) 自分の人生に役立つかというと、そうも言えない。が、「みんながTwitterとかFacebookとかInstagramなどを使っている」今の状態と比べれば、ハッカーズ・パブがもっと使われる未来の方が好ましいことに違いはない。そう考えると、洪さんの努力に感謝せざるをえない。

で、パブに日本語圏のユーザーをもっと招くのが創立者の方針というかご希望らしく、衝動的に参加してみる。これから機会あれば、日本語でも面白い話をここに残すのを目指してみる。自分日本語全然下手ですが。よろしく。

@6aoi24aoi🏳‍🌈 こちらこそよろしくお願いします！

こんにちは。よろしくお願いします。

오늘이 첫 번째 서울하스켈숲 워크샵이었을텐데 어땠을지 너무 궁금하다. 어디 후기 안 올라오려나⋯

RE: https://hackers.pub/@curry/0195d0ee-d8d2-7711-b550-b54cc1b5d599

@6aoi24aoi🏳‍🌈 さん、Hackers' Pubへようこそ！

@bglbgl gwyng 네 직접 논리를 정의해서 쓰시면 할 수 있습니다. 수업에서는 뮤텍스 프로토콜 검증을 위한 증명을 했었고요. GitHub나 논문 발표 선에서 동시성이나 암호화 관련 증명하는데 가끔 보이는 것 같습니다. 저도 인터랙션 플로우를 상상하며 정의할 때 엣지케이스를 미리 시뮬레이션(물론 현실은 쉽지 않음) 해 보는데 활용합니다.

• https://link.springer.com/chapter/10.1007/978-3-031-65941-6_3
• https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART003080160
• https://github.com/canhminhdo/parallel-maude-npa
• https://olveczky.se/RealTimeMaude/

@hongminhee洪 民憙 (Hong Minhee) Thank you for your amazing work that just goes on and on. By the way, here's one of the reasons I think "blocking" is the first-priority feature in Hackers' Pub. (sigh)

https://hackers.pub/@rollbacks74@occm.cc/0195f7ec-5551-7df6-ba9e-b7716a9214b2

Of course, blocking alone won't really address the issue. I guess we're already being targeted by spammers...

AI한테 코딩을 왜 시킵니까? 팀원들한테 JIRA 이슈 배분하면 되는데... ㅠㅠ

Rust 1.86.0 has been released! ✨🎊 🦀

This release adds trait upcasting, get_disjoint_mut on slices and hashmaps, #[target_feature] for safe functions, debug assertions for null pointers, Vec::pop_if, and more!

Check out the blog post and release notes for all the details: https://blog.rust-lang.org/2025/04/03/Rust-1.86.0.html

아이패드로 원격 개발만 하겠다고 결심 했는데 code-server는 웹브라우저의 IME 버그가 너무 빈발해서 고통스럽고, 원격지가 맥인데 vnc클라가 딱히 멀쩡한게 안보인다. 결국 ssh로 하자! 라고 결심하고 다시 이맥스를 집었는데... 예전에 어떻게 설정했는지 전혀 모르겠다. 둠 이맥스를 한번 설정 해봤는데 따로 설치한 패키지가 껐다 켜면 로드가 안되어서 어찌 해야 할 지 모르겠다. 근데 스페이스맥스도 둠 이맥스도 다들 빔을 섞는게 기본이네...

CSS는 과학처럼 생각해야한다 (꾸준글)

【拡散希望】

Hackers' Pub（ハッカーズ・パブ）は現在開発中の、ソフトウェアエンジニアと技術愛好家の為のActivityPub対応ソーシャルネットワークです。現在は韓国語中心のコミュニティが形成されていますが、日本のエンジニアの方々にも参加していただきたいと考えています。

Hackers' Pubは短文の投稿^[1]と長文の記事^[2]の両方をサポートしています。日常的な会話や簡単な質問は短文投稿で、詳細な技術解説やチュートリアルなどは長文記事で表現できます。QiitaやZennのような技術ブログ機能と、MastodonやMisskeyのようなタイムライン機能を兼ね備えた一つのプラットフォームで、両方の利点を享受できます。何よりもActivityPubプロトコルに対応している為、Mastodon、Misskey、Akkoma等と連携可能です。（このアカウントもHackers' Pubから投稿しています！）

技術的な特徴として、拡張Markdownによるテーブル、脚注、警告ボックス、ダイアグラム、数式などの多様な記法をサポートし、構文ハイライト、行ハイライト、差分表示などの強力なコードブロック機能も備えています。また、様々な言語での投稿が可能で、将来的には自動翻訳機能も予定しています。

Hackers' PubはAGPL-3.0ライセンスの下で開発されているオープンソースプロジェクトです。コードの貢献や機能提案も歓迎しています。

現在はまだ開発段階のため招待制となっています。Hackers' Pubに興味がある方は、DMや返信でメールアドレスをお知らせいただければ、招待状をお送りします。技術コミュニティの一員として、ぜひご参加をお待ちしております。よろしくお願いいたします。

@linea 음, 그것도 좋을 것 같네요! 한 번 해 볼게요!

고코드랑 눈싸움하는 중

@pkgupdtpkg update 바로 그렇습니다.