洪 民憙 (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 That's a fair point, and your caveat at the end might actually reconcile the two: the pathways got so well-worn partly because the limbic system kept reinforcing them.

@some Ha, that's a great extension of the metaphor. Emotional experiences as driver updates; it makes sense that curse words install so fast, they basically come bundled with the driver package. 😂

@some Thank you! It's actually a metaphor that came to me when I first learned about System 1 vs. System 2 thinking. A foreign language seems to throttle the GPU, which forces more work onto the CPU, and it turns out a lot of that “GPU work” is the emotional system quietly pre-computing your judgments for you.

@julian Yes, that's actually cited in the paper as supporting evidence: swearwords in a foreign language produce weaker physiological responses than in a native one, so it very likely is the same mechanism running in reverse. I personally avoid swearing in foreign languages because I can never be fully sure of the nuance, but I do notice people around me swear more freely in their second languages, which fits the pattern exactly.

Linux users:

How often do you run your system's update procedure (like an `apt upgrade`, etc)?

(boosts welcome)

Fascinating paper: Your Morals Depend on Language (Costa et al., 2014). People make significantly more utilitarian choices in moral dilemmas when the dilemma is presented in a foreign language, apparently because a foreign language dulls emotional responses and shifts the balance toward deliberative thinking.

It matches my own experience. Thinking in a foreign language feels like rendering graphics without GPU acceleration: everything runs on raw CPU, slower and more laborious. After a full day of conversations in English or Japanese, I'm physically exhausted in a way that Korean never does to me. What I didn't quite register until reading this paper is that the “GPU” doing all that fast, effortless processing is largely the emotional system. When it steps back, you end up doing more of the reasoning yourself. Whether that's a feature or a bug probably depends on what you're deciding.

A daily minor annoyance: #GFM (GitHub Flavored Markdown) breaking standard #Markdown behavior by rendering single newlines as <br>.

If you're used to formatting plain text with hard wraps for mailing lists, you know the pain. You type up a perfectly readable 80-column text block, hit submit, and realize #GitHub has turned it into a jagged mess of arbitrary line breaks. I really miss standard Markdown paragraph collapsing in issue trackers.

Just had to add a workaround to #Fedify for http://joinmastodon.org/ns, a JSON-LD context URL that has never actually served a JSON-LD document. Mastodon has always inlined the term definitions, but some implementations put it as a bare URL in their @context, so Fedify's JSON-LD processor tries to fetch it and gets a 404 Not Found. Now Fedify ships a bundled copy of a context that never existed in the first place.

https://github.com/fedify-dev/fedify/pull/631

#fedidev #ActivityPub #JSONLD

@silverpill Actually, there's the official one: @lobsters.

A sufficiently detailed spec is code https://lobste.rs/s/nlyezv #vibecoding
https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code

Bot鯖のFedifyを2.x系にアップデートした。後はDelete(Actor)で署名が検証できなかった時の対応を実装する。

Some HN folks found that the URL parameter accepts… anything as output language https://news.ycombinator.com/item?id=47408940

E.g.: https://translate.kagi.com/?from=en&to=Fediverse+speak&text=I+like+hamburgers

@alderwick Snac looks cool, yes, and I've been looking at @hollo by @hongminhee as well!

moim.live just crossed 30 members. Shipped calendar subscription today — you can now subscribe to your personal schedule directly in Google Calendar and other apps.

Traffic is still an unknown. But I'm not ready to go door-to-door yet anyway. There's one payment feature missing, and that's what I'm building toward next.

ActivityPub is supported and always will be — but it's not the whole point. The journey to making something genuinely useful is just getting started. Until payments feature shipping, I will not do additional work except for bug fix, changing UI.

#moim_live #fedidev

@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