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

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

@mariusor Oh, thanks for the pointer!

@hongminhee they're not opposed to it: https://github.com/lobsters/lobsters/issues/499

I remember commenting on it when I had started working on my own federated link aggregator.

Just had a small, probably-never-going-to-happen thought: what if Lobsters implemented ActivityPub? My account there is hongminhee, so I'd get a @hongminhee@lobste.rs actor, and tags like #rust or #programming could be Group actors you could follow from Mastodon or anywhere else. Comments would federate as Notes, so you could boost a thread you found interesting without ever leaving your home instance.

The tricky part is that Lobsters is invite-only by design, and that culture would be hard to reconcile with an open fediverse. You'd probably want to keep writes gated behind a Lobsters account while making reads public. Lemmy did something similar, though it still struggled with spam after federation. Anyway, it's open source, so maybe someone with more time than me will take a crack at it someday.

@gemelen I actually looked into Scala a while back, but it never quite clicked for me. It feels a bit unnecessarily complex, likely due to all that Java interop baggage. As someone who breathes Haskell, I prefer the purity and elegance of a language designed from the ground up for functional programming. Scala feels like it's trying to do too many things at once, whereas I'm looking for that sleek, polished feel I loved in PureScript—which is why I'm leaning more towards Lean or MoonBit lately!

I have a confession to make: while Haskell will always be my first love, PureScript was the one that truly stole my heart. It felt like a “polished” version of Haskell, smoothing out the rough edges and adding gems like row polymorphism that I still miss dearly. It's heartbreaking to see it labeled a “dead” language now, especially with its primary focus being stuck in the JavaScript ecosystem while other backends remain second-class citizens.

I've tried moving on with ReScript, Elm, or Gleam, but they never quite scratched that itch. They are great for what they are, but for someone used to the sheer expressive power of Haskell-like type systems, they feel a bit too “simple.” I find myself missing the depth and the “if it compiles, it works” confidence that only a truly robust type system provides.

Lately, my eyes have been wandering toward Lean and MoonBit. Lean is fascinatingly powerful, though I'm still searching for a more seamless JavaScript/WebAssembly story there. MoonBit also looks incredibly promising—a WebAssembly-first language that seems to aim for a higher level of sophistication than the usual ML-likes. The quest for the perfect, type-safe web language continues.

@ayo Thank you! COSCUP is an in-person event, so there isn't much to do remotely—but spreading the word when we announce the CFP and the schedule would be a huge help. I'll make sure to post updates here!

Update: we've decided to go ahead and submit the CFP to @COSCUP 2026. The track will be called Fediverse & Social Web—think FOSDEM's Social Web devroom, but in Taipei. #COSCUP is free to attend, like FOSDEM.

If the track is accepted, would you be interested in coming to Taipei (Aug 8–9) to give a talk?

(Boosts appreciated!)

https://hollo.social/@hongminhee/019ca8b2-ecca-7150-a237-37f35de45401

#fedidev #fediverse #SocialWeb #ActivityPub

Optique just crossed 600 GitHub stars!

For those unfamiliar: #Optique is a #CLI parsing library for #TypeScript that takes a parser combinator approach, inspired by Haskell's optparse-applicative. The core idea is “parse, don't validate”—you express constraints like mutually exclusive options or dependent flags through types, and TypeScript infers the rest automatically. No runtime validation boilerplate needed.

It started as something I built out of frustration while working on Fedify, an ActivityPub framework, when no existing CLI library could express the constraints I needed in a type-safe way. Apparently I wasn't the only one who felt that way.

Thank you all for the support.

https://github.com/dahlia/optique

Thanks to @nyanrus https://moim.live now supports Mastodon OAuth, Misskey MiAuth

#moim_live #fedidev

@esurio1673 ありがとうございます！

@esurio1673 おや、バグのようです。GitHubのイシュートラッカーに報告していただけますか？

現行の韓国語正書法って基本的に同じ漢字は発音によらず同じハングルで書くので母語で漢字を使い続けている人間から見るとハングル専用文であっても依然として少し読みにくい漢字で書いてあるように見える　国立のことを궁닙って書くようになったら漢字が廃止されたなあって思うと思う

Tsuzuri(綴り)が実運用(外部からのフォローや外部への記事の配信など)ができるようになったので、これをベースに拡張すればお一人様向けのActivityPub実装を作れそうだなと考えている

Tsuzuriにタイムラインや通知、フォロー、公開範囲の対応などをすれば一通り使えるものにはなるのではないかと

通知やフォローなどはTsuzuriの既存機能を拡張すれば良いからそこまで実装コストはかからなさそう

ただタイムラインや公開範囲などは考えることも多いと思うので、そこの見通しが立たない限りは実装しないかもしれない

Mastodonの引用機能やMisskeyなどの絵文字リアクションまで考慮するとなるとより難しくなる

ただ、お一人様向けのActivityPub実装が増えること自体は良いことだと思うので、うまくやる方法を考えたい

https://writings.hongminhee.org/2026/03/legal-vs-legitimate/

@evan @swf That means a lot, thank you! I'd love to take you up on that—will send you a DM with some specifics shortly.

🚨 #GNOME 50 will be released on March 18!

😍 Star or/and boost this post if you're excited! With 5 more days to go we just asked our developers to drop their final GNOME 50 release of their projects.

#Linux #Opensource

A good piece on why XML deserves a second look as a format for DSLs: XML is a cheap DSL.

I've long thought there are problems where XML genuinely shines, and the richness of its tooling ecosystem is a big part of that. What's unfortunate is that the XML boom of the early 2000s left people with bad associations—not because XML is bad, but because it got dragged into problems it was never suited for. Reflexively avoiding XML today isn't really a rational response to that history. It's just the hangover.

https://github.com/f3liz-dev/rescript-misskey-api
Using for my custom Misskey client :3
Quite better experience than misskey-js as I feel

@Edent Unfortunately, there's no travel bursary—@COSCUP is a free, volunteer-run event. That said, if you need a visa to enter Taiwan, COSCUP can provide an official invitation letter to support your application.

実際、韓国人にとっては日本語能力試験（JLPT）の1級（N1）はかなり取りやすい方なので、「日本語のチュートリアルみたいなもの」という表現はあながち間違いではないかもしれない。😂

去年12月受けたJLPTの認定書きたなんか日本語が喋れる韓国のオタクたちがみんなN1って日本語のチュートリアルみたいなものだと言ってて最初は自慢するのかなと思ったけど最近これは割と事実だったなと気付いた

@bootlegrydia That's a fair point… Taiwan is genuinely difficult to get to for many people from the PRC, and I don't see that changing anytime soon.

That said, we're also hoping to bring a similar Fediverse & Social Web track to FOSS for All Conference later this year—an open source conference held in Seoul. If Taipei doesn't work out, Seoul might be a friendlier option. Stay tuned!

Update: we've decided to go ahead and submit the CFP to @COSCUP 2026. The track will be called Fediverse & Social Web—think FOSDEM's Social Web devroom, but in Taipei. #COSCUP is free to attend, like FOSDEM.

If the track is accepted, would you be interested in coming to Taipei (Aug 8–9) to give a talk?

(Boosts appreciated!)

https://hollo.social/@hongminhee/019ca8b2-ecca-7150-a237-37f35de45401

#fedidev #fediverse #SocialWeb #ActivityPub

Checked in at 튜링의사과 by @hongminhee@hollo.social

튜사에 出勤!

I find the tension concerning the use of AI tooling in the open source community interesting.

On the one hand, here we have a community who believe code should be openly shared and can be used for any purpose; that's encoded in the license.

The only difference of opinion is whether the license should enforce this openness.

But there's also a very strong reaction by many in the same community to training AI on open source code.

Emotion is a large part of both beliefs: wanting to use open source, or against training AI on it. Emotional reactions are legitimate. There must be an underlying belief system that evokes both.

I can see this as "rage against the system" except that many of the same people do not seem to react as angrily if open source code is used by that same system in other ways. Even free software purists accept this reuse, as long as the source remains open.

Perhaps it's that this use of open source source code was never expected: you'd either reuse its functionality OR learn from it as a human. Machine learning doesn't fit that.

元々ブログとしては、はてなブログを使っていたんだけど微妙にリッチテキストを書くのが面倒くさくなってきていた

そのため、もっと簡単に文を綴れるブログが欲しいなと思い、ブログを作ることにした
ついでに「ActivityPub対応にすれば毎回ブログの記事をシェアする必要もなくなるので便利だよな」と考え、ActivityPub対応のブログとして「Tsuzuri(綴り)」を作った

開発にあたっては使い慣れたRailsを使い、サポートにLLMとFedifyを使ってローカル環境でのMastodonとの疎通確認とかを行った
正直FedifyとLLMとの組み合わせて雑にセットアップを任せられるの便利だった

今後は何かしら思いついたことを雑に書きつつ、何かしらのイベントで話せればと思う

まだ修正分は反映できていないけどソースはこちら
https://github.com/S-H-GAMELINKS/tsuzuri

自作のActivityPub対応ブログを作ったよ

MasotodonとかMisskeyからフォローできて、書いた記事がActivityPub経由で配送されるので良かったらフォローしてね