洪 民憙 (Hong Minhee) 
@hongminhee@hollo.social
I wish there was a high-level functional programming language that transpiles to Go.


@hongminhee@hollo.social · 1005 following · 1462 followers
An intersectionalist, feminist, and socialist living in Seoul (UTC+09:00). @tokolovesme's spouse. Who's behind @fedify, @hollo, and @botkit. Write some free software in #TypeScript, #Haskell, #Rust, & #Python. They/them.
서울에 사는 交叉女性主義者이자 社會主義者. 金剛兔(@tokolovesme)의 配偶者. @fedify, @hollo, @botkit 메인테이너. #TypeScript, #Haskell, #Rust, #Python 等으로 自由 소프트웨어 만듦.
| Website | GitHub | Blog | Hackers' Pub |
|---|---|---|---|

@hongminhee@hollo.social
I wish there was a high-level functional programming language that transpiles to Go.

@hongminhee@hollo.social · Reply to Olivia Grace 🌸's post
@olivia Thanks!!

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
今まで外国語で発表を全部で3回したんだけど、3回ともなぜか日本の聴衆の前だったんだ。1回は10年くらい前に日本語が全然できなかった時に英語で、残りの2回は去年に日本語でやったよ。

@hongminhee@hollo.social
By the way, this talk is my first English presentation in almost 10 years, and I'm so nervous. I think I need to practice a lot. 😰

@hongminhee@hollo.social
I'll be presenting @fedify at @fosdem 2026! My talk Fedify: Building ActivityPub servers without the pain was accepted for the Social Web Devroom. See you in Brussels on January 31–February 1!
@gnh1201@catswords.social
경찰에서 연락 받았습니다. 실종 8시간만에 신병확보 했다고 합니다.
무슨 일이 있었는지는 알 수 없습니다만, 현재 안전 확보된 상태라고 합니다.
걱정해주신 분들 정말 감사드립니다.

@hongminhee@hollo.social · Reply to Bart Louwers's post
@bart Great, I'm going there when I have a time!
@kosui@blog.kosui.me
ioriについて
ActivityPubを部分的にサポートするioriは、自分のためのナレッジ管理サービスとして開発した。
現代では様々なブログサービスやナレッジ共有サービスが存在するが、どれもいつか滅びてしまうリスクを抱えている。
それは仕方がないことだが、自分が得た知識や情報がある日突然アクセスできなくなるのは避けたい。
そこで、ioriでは自分で情報のフローをコントロールできることを重視し、ActivityPubを通じて自由な形式でナレッジが共有できるように設計した。
特定のサービスのレコメンド機能に依存せず、読者が自分の好きなサービスから情報を取得できることを目指している。

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
@monaco_koukoku 該当のバグはv1.9.3およびv1.10.1で修正されました!

@hongminhee@hollo.social
I'll be presenting @fedify at @fosdem 2026! My talk Fedify: Building ActivityPub servers without the pain was accepted for the Social Web Devroom. See you in Brussels on January 31–February 1!
@skiptools@mas.to
Incredible news: Skip is now free and open-source for everyone!
Create fully native x-platform apps in Swift and #SwiftUI, with deep Android and #JetpackCompose integration, powered by the Swift Android SDK
Read more and learn how to contribute:
https://skip.dev/blog/skip-is-free/

@hongminhee@hollo.social · Reply to モナコ広告 :fedibird1: @技術・雑談's post
@monaco_koukoku ありがとうございます!確認してみますね!

@hongminhee@hollo.social · Reply to モナコ広告 :fedibird1: @技術・雑談's post
@monaco_koukoku はい、そちらにご投稿いただければ大丈夫です。ありがとうございます!
@技術・雑談@monaco_koukoku@fedibird.com
Fedifyってテスト用に相手のAPサーバーのモック的なのが使えるのね。署名やネットワークのことを気にせずにActivityの送受信をテストできると。素晴らしい。
https://fedify.dev/manual/test#mocking

@hongminhee@hollo.social · Reply to モナコ広告 :fedibird1: @技術・雑談's post
@monaco_koukoku オブジェクトディスパッチャーを設定したのに、ctx.getObject()がnullを返すんですか?どうやらバグっぽいですね。よければ、イシュートラッカーに課題を作成していただけますか?🙏🏻
@mariusor@metalhead.club
After much faffing about, I have implemented the dynamic #OAuth2 client creation for #GoActivityPub services using the Client ID Metadata Document[1] that's been proposed as a replacement(?) for RFC7591 (Dynamic Client Registration Protocol).
The changes are in both the Authorization service and in the BOX #ActivityPub client to server helper.
[1] https://datatracker.ietf.org/doc/draft-ietf-oauth-client-id-metadata-document/

@hongminhee@hollo.social
來日 춥다는데 午前에 病院에 가야 한다… 가기 싫다…

@hongminhee@hollo.social · Reply to Ian Wagner's post
@geeknews_bot@sns.lemondouble.com
브라우저 API가 모두 ‘웹’ API는 아님
------------------------------
- 웹 플랫폼은 *표준화된 API* 위에서 동일하게 동작한다는 인식이 널리 퍼져 있으나, 실제로는 *브라우저 벤더별 인프라* 에 의존하는 API가 다수 존재함
- Geolocation, Speech, Push, Payments, Passkeys 등은 표면적으로는 웹 표준이지만, 내부적으로는 *Google·Apple·Microsoft의 서비스* 를 호출
- 동일한…
------------------------------
https://news.hada.io/topic?id=25974&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
So, I wrote a longer piece on this: https://writings.hongminhee.org/2026/01/ethics-of-small-actions/index.en.html.

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
이 主題와 關聯해서 조금 더 길게 글을 써 보았습니다.
https://writings.hongminhee.org/2026/01/ethics-of-small-actions/index.ko-hang-kr.html
@gaeulbyul@planet.moe
오늘 발견한 거: 위키피디아에는 LLM이 작성한 걸로 의심되는 징후를 모아서 정리한 글이 있더라.. https://en.wikipedia.org/wiki/Wikipedia:Signs_of_AI_writing
@nebuleto@hackers.pub
"AD8K, with Dolby Vision"
RE: https://hollo.social/@hongminhee/019bd64b-6794-79fc-9236-6703a3b4bc6e

@hongminhee@hollo.social
These days, my friends with ADHD and I have started calling our condition AD4K, or even AD8K, because our symptoms feel so severe. 😂
@cwebber@social.coop
Armin Ronacher, who even very recently has previously has been very pro ai agent vibecoding to the point of criticizing critics, seems to have stepped back and asked the question: are AI coding agent users all experiencing mass delusion... including himself? https://lucumr.pocoo.org/2026/1/18/agent-psychosis/
Conversation on lobste.rs is also interesting https://lobste.rs/s/0pxvyd/agent_psychosis_are_we_going_insane

@hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee) :nonbinary:'s post
I'm uncomfortable with using language that evokes slavery in the context of AI/LLMs. Actually, not just for AI/LLMs, but for any subject at all.

@hongminhee@hollo.social
AI/LLM에 對해 奴隸制를 聯想시키는 表現을 쓰는 것에 拒否感이 있다. 아니, AI/LLM이 아니라 어떤 對象에 對해서든.

@hongminhee@hollo.social
These days, my friends with ADHD and I have started calling our condition AD4K, or even AD8K, because our symptoms feel so severe. 😂

@hongminhee@hollo.social
Dojang is a dotfiles manager I built a few years back and then basically abandoned. I'd accumulated enough friction points that I wasn't really using it myself anymore. Finally got around to addressing those issues and just shipped a new version: https://github.com/dahlia/dojang/releases/tag/0.2.0.
If you're curious about Dojang, the docs are here: https://dojang.dev/.

@hongminhee@hollo.social
I know I made this project, but I have no idea why people are starring the repository for this Markdown formatter that I created solely for myself. 😂
@nedbat@hachyderm.io
Sometimes when I see programming experts trying to help new learners I imagine what would happen if we were a driving school:
"The gas pedal makes the car go, right?"
"Well, only if the engine is started, and not if you are out of gas, and not if the car is in neutral, and not if the car is parked against a wall, and not if the parking brake is on, and it shouldn't be called a gas pedal in an electric car, and, and, and...."

@hongminhee@hollo.social · Reply to Charles ☭ :trans: is a Green's post
@celesteh @jnkrtech I think it's partly because JavaScript is more commonly used for building consumer products compared to other languages, so there's a higher proportion of developers focused on shipping products rather than diving deep into infrastructure. When you're building a product, you naturally extract just enough to solve your immediate problem and move on. Languages like Rust tend to attract more developers interested in tooling and infrastructure work, where yak shaving is almost expected. The ecosystem reflects the priorities of its community.