洪 民憙 (Hong Minhee)

Hello! I'm Hong Minhee (洪 民憙), an open source software engineer in my late 30s, living in Seoul, Korea. I'm bisexual and non-binary (they/them), and an enthusiastic advocate of free/open source software and the fediverse.

I work full-time on @fedify, an ActivityPub server framework in TypeScript, funded by @sovtechfund. I'm also the creator of @hollo, a single-user ActivityPub microblog; @botkit, an ActivityPub bot framework; Hackers' Pub, a fediverse platform for software developers; and LogTape, a logging library for JavaScript and TypeScript.

I have a long interest in East Asian languages (CJK) and Unicode. I post mostly in English here, though occasionally in Japanese or in mixed-script Korean (國漢文混用體), a traditional writing style that interleaves Chinese characters with the native Korean alphabet. Wanting to write in that style was actually one of the reasons I joined the fediverse. Feel free to talk to me in English, Korean, Japanese, or even Literary Chinese!

#introduction

はじめまして！ソウル在住の30代後半のオープンソースソフトウェアエンジニア、洪 民憙（ホン・ミンヒ）と申します。バイセクシュアル（bisexual）・ノンバイナリー（non-binary）で、自由・オープンソースソフトウェア（F/OSS）とフェディバース（fediverse）の熱烈な支持者です。

STF（@sovtechfund）の支援を受け、TypeScript用ActivityPubサーバーフレームワーク「@fedify」の開発に専念しています。他にも、おひとり様向けのActivityPubマイクロブログ「@hollo」、ActivityPubボットフレームワーク「@botkit」、ソフトウェア開発者向けフェディバースプラットフォームHackers' Pub、JavaScript・TypeScript用ロギングライブラリLogTapeなどの制作者でもあります。

東アジア言語（いわゆるCJK）とUnicodeにも興味があります。このアカウントでは主に英語で投稿していますが、時々日本語や国漢文混用体（漢字ハングル混じり文）の韓国語でも書いています。実はこの文体で書きたくてフェディバースを始めた、という経緯もあります。日本語、英語、韓国語、漢文でも気軽に話しかけてください！

#自己紹介

安寧(안녕)하세요! 저는 서울에 살고 있는 30代(대) 後半(후반)의 오픈 소스 소프트웨어 엔지니어 洪民憙(홍민희)입니다. 兩性愛者(양성애자)(bisexual)이자 논바이너리(non-binary)이며, 自由(자유)·오픈 소스 소프트웨어(F/OSS)와 聯合宇宙(연합우주)(fediverse)의 熱烈(열렬)한 支持者(지지자)이기도 합니다.

STF(@sovtechfund)의 支援(지원)을 받아 TypeScript用(용) ActivityPub 서버 프레임워크 @fedify 開發(개발)에 專業(전업)으로 任(임)하고 있습니다. 그 外(외)에도 싱글 유저用(용) ActivityPub 마이크로블로그 @hollo, ActivityPub 봇 프레임워크 @botkit, 소프트웨어 開發者(개발자)를 위한 聯合宇宙(연합우주) 플랫폼 Hackers' Pub, JavaScript·TypeScript用(용) 로깅 라이브러리 LogTape 等(등)의 製作者(제작자)이기도 합니다.

東(동)아시아 言語(언어)(이른바 CJK)와 Unicode에도 關心(관심)이 많습니다. 이 計定(계정)에서는 主(주)로 英語(영어)로 포스팅하지만, 때때로 日本語(일본어)나 國漢文混用體(국한문 혼용체) 韓國語(한국어)로도 씁니다. 聯合宇宙(연합우주)에 오게 된 動機(동기) 中(중) 하나가 바로 國漢文混用體(국한문 혼용체)로 글을 쓰고 싶었기 때문이기도 하고요. 韓國語(한국어), 英語(영어), 日本語(일본어), 아니면 漢文(한문)으로도 말을 걸어주세요!

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

@kodingwarrior Fedify 저장소에 아예 repomix.config.json 설정 추가할까요? ㅋㅋㅋ

Fedify 통으로 프롬프트 넣을때 Repomix 설정값은 이렇게 가야겠다.
https://platform.openai.com/docs/models/o3-mini 기준으로 봤을때 Context Window Length는 200K 토큰 정도 되는데, 여기에 어떻게든 쥐어짜내려면 ignore pattern을 요렇게 가는게 좋을 듯

```
docs/**/*.*, src/codegen/__snapshots__/class.test.ts.snap, src/vocab/__snapshots__/vocab.test.ts.snap, CHANGES.md
```

@hongminhee 「この日がいいね」と君が言ったから四月十一日はfediverse記念日

#フェディバースの日　の提唱の話から日本の最初期のマストドン思い出話が流れてきてほっこりしています

🗨️Discuss: How should MoonBit handle effect polymorphism (allow one single higher order function to work over callback with/without error or async)?

1. Error + Async
2. Error only
3. No polymorphism, dup code
4. Hybrid/Other solution

⬇️Download: https://aka.moonbitlang.com/vsm
👥Community: https://discord.gg/5d46MfXkfZ

@alexia No reason, but it's just proposed today!

@hongminhee For me, April 11 feels like Fediverse day.

I don't know why, especially when I see `Fri 11 Apr` in the calendar today. It just gives Fediverse vibe.

드디어 @xt 님이 기다리시던 차단 기능이 구현되었습니다. 차단할 사용자의 프로필 페이지에 가서 팔로·언팔로 버튼 오른쪽에 보이는 말줄임표 아이콘에 마우스 커서를 갖다 대면 (모바일에서는 터치하면) 상세 메뉴가 나오는데, 그 안에 팔로워 삭제 버튼과 차단 버튼이 생겼습니다.

ActivityPub 프로토콜 수준에서는 차단은 Block 액티비티를 차단한 액터에게 보내며, 차단을 해제할 경우 Undo(Block) 액티비티를 보냅니다. 그러나, 그 액티비티를 받은 인스턴스의 구현이 차단한 사용자의 콘텐츠를 볼 수 없도록 막지 않을 수도 있습니다…만, 실질적으로는 모든 구현이 막고 있습니다. 아, 당연하지만 차단은 자동적으로 상호 언팔로를 수행합니다. 차단을 해제하더라도 풀렸던 팔로 관계는 자동적으로 회복되지 않습니다.

韓国語圏のフェディバースコミュニティが4月11日を「フェディバースの日」（聯合宇宙(연합우주)의 날）として制定する事を提案しています。この考えは今日、韓国のフェディバースユーザー間の会話から生まれた為、今日の日付を今後の公式な記念日にしようという提案が出ています。

この取り組みを広くフェディバースコミュニティと共有し、年に一度の「フェディバースの日」をサポートし、参加していただけるかどうか知りたいと思います！

#フェディバースの日 #Fediverseの日 #FediverseDay #연합우주의날 #聯合宇宙의날

fediday . org 를 사긴 했는데
저도 지금 구상으로는 일단 맨 위에 4월 11일을 박아놓고
그 밑에 여러 인스턴스의 각자의 기념일들을 나열하고
제보받아서 등록할 수 있게 할까 싶어요

mstdn.jpのデータベースリセット（ぬるかるさんちからさくらインターネットに移行）後の4月15日にアカウント作った人が、日本の古参では多いかなぁ。実際は11日とか12日あたりから関わっていたとしても、残ってないので。

あと、それよりずっと前にmastodon.cloudにアカウント作った人とか、本家のmastodon.socialにアカウント作った人達も結構いるよね。

젠장 선빵필승이다 가보자고!!!!!!!!!!!!!!!!!!!

(fediverse.day 는 이미 먹혀서 아쉽게도.. 역시 선빵필승이다..)

오늘은 연합우주의 날!

『그렇게 다짐이 연합우주 기념일을 만들겠다며 법봉을 세 번 내려치자, 그 충격으로 연단이 무너짐과 동시에 거대한 우주 싱크홀이 생겨났다.』

『유저들이 그 아래로 떨어진 법봉을 찾으려 하였으나 싱크홀의 깊이를 차마 헤아릴 수 없어 그만두기로 하고, 이렇게 된 김에 대충 다음 사람이 바닥을 뚫으면 그 때가 새로운 연합우주의 날인 것으로 정하도록 하였다.』

《연합우주기 4.11》

@root 頭音法則(두음 법칙) 때문에 그렇습니다. 本音(본음)은 【련】이 맞아요.

@hongminhee 資料です
https://mstdn.miraheze.org/wiki/Mstdn.jp

연합우주의날 기념행사도 확 질러버려!?!?!?

@hongminhee 日本の古参のほとんどは、4月12日あたりからFediverseを始めたんですよ。

마침 日本(일본)에서도 4月(월) 11日(일)이 여러모로 聯合宇宙(연합우주)에 意味(의미)가 있는 날이라고 하네요! 宏壯(굉장)한 偶然(우연)!

@noellabo 意図していないのに、すごい偶然ですね！

@hongminhee 提案された日、ということですね。

日本におけるMastodon普及のきっかけとなったmstdn.jpの元になったmastodon.nil.nuが設置された日で（2017年4月11日）で、ドメインを変えてmstdn.jpで建て直したのが翌4月12日なので、日本においても意味を持たせやすいかもしれません。

#フェディバースの日 #Fediverseの日 #FediverseDay #연합우주의날 #聯合宇宙의날

홍민희 님이 홍보하기 시작하셨어!!!!! 가보자고!!!

韓国語圏のフェディバースコミュニティが4月11日を「フェディバースの日」（聯合宇宙(연합우주)의 날）として制定する事を提案しています。この考えは今日、韓国のフェディバースユーザー間の会話から生まれた為、今日の日付を今後の公式な記念日にしようという提案が出ています。

この取り組みを広くフェディバースコミュニティと共有し、年に一度の「フェディバースの日」をサポートし、参加していただけるかどうか知りたいと思います！

#フェディバースの日 #Fediverseの日 #FediverseDay #연합우주의날 #聯合宇宙의날

The Korean fediverse community is proposing to establish April 11th as “Fediverse Day” (聯合宇宙(연합우주)의 날). Since this idea emerged today in conversations among Korean fediverse users, they've suggested making today's date the official celebration going forward.

We're sharing this initiative with the broader fediverse community and would love to know if you'd support and participate in an annual Fediverse Day!

#FediverseDay #연합우주의날 #聯合宇宙의날 #フェディバースの日 #Fediverseの日

@kodingwarrior 너무 young하신 것 아닙니까!

나도 Fedify 멘티 신청하기엔 젊은 나이인가

젠장 이렇게 정해진다고? 오히려좋아 가보자고

오늘은 연합우주의 날입니다

그러게 연합우주의 날 같은거 없나? 없으면 우리끼리 하나 정해서 기념해도 되지 않을까? 적어도 한국어권 연합우주의 날 같은거 하나 정해도 되지 않을까?

연합우주의 날
- 연합우주의 날을 만들자고 한 날을 기념