洪 民憙 (Hong Minhee)

Hello, I'm an open source software engineer in my late 30s living in #Seoul, #Korea, and an avid advocate of #FLOSS and the #fediverse.

I'm the creator of @fedify, an #ActivityPub server framework in #TypeScript, @hollo, an ActivityPub-enabled microblogging software for single users, and @botkit, a simple ActivityPub bot framework.

I'm also very interested in East Asian languages (so-called #CJK) and #Unicode. Feel free to talk to me in #English, #Korean (#한국어), or #Japanese (#日本語), or even in Literary Chinese (#文言文, #漢文)!

#introduction

安寧(안녕)하세요, 저는 서울에 살고 있는 30代(대) 後半(후반) 오픈 소스 소프트웨어 엔지니어이며, 自由(자유)·오픈 소스 소프트웨어와 聯合宇宙(연합우주)(fediverse)의 熱烈(열렬)한 支持者(지지자)입니다.

저는 TypeScript用(용) ActivityPub 서버 프레임워크인 @fedify 프로젝트와 싱글 유저用(용) ActivityPub 마이크로블로그인 @hollo 프로젝트와 ActivityPub 봇 프레임워크인 @botkit 프로젝트의 製作者(제작자)이기도 합니다.

저는 東(동)아시아 言語(언어)(이른바 #CJK)와 유니코드에도 關心(관심)이 많습니다. 聯合宇宙(연합우주)에서는 國漢文混用體(국한문 혼용체)를 쓰고 있어요! 제게 韓國語(한국어)나 英語(영어), 日本語(일본어)로 말을 걸어주세요. (아니면, 漢文(한문)으로도!)

#툿친소 #연친소 #별친소

こんにちは、私はソウルに住んでいる30代後半のオープンソースソフトウェアエンジニアで、自由・オープンソースソフトウェアとフェディバースの熱烈な支持者です。名前は洪 民憙（ホン・ミンヒ）です。

私はTypeScript用のActivityPubサーバーフレームワークである「@fedify」と、ActivityPubをサポートする1人用マイクロブログである 「@hollo」と、ActivityPubのボットを作成する為のシンプルなフレームワークである「@botkit」の作者でもあります。

私は東アジア言語（いわゆるCJK）とUnicodeにも興味が多いです。日本語、英語、韓国語で話しかけてください。（または、漢文でも！）

#自己紹介

@cheeaun Yeah, it currently is shown the same as <code>, but it would be better if it looks like <kbd> on GitHub!

メンションが具体的に誰を指すのかが良く分かる様に修正しました。メンションされた人のアイコンと名前が一緒に表示されます。

멘션이 구체적으로 어떤 사람을 가리키는 것인지 잘 드러나도록 고쳤습니다. 멘션된 사람의 프로필 사진과 이름이 함께 표시됩니다.

@cheeaun Oh, I mean on a Hollo instance. By the way, it turns out Mastodon strips all <kbd> tags from remote contents.

늙은이라 아직도 bash를 쓰고 있는데, 언젠가 옮기긴 해야겠지만 뭘로 옮겨야 할 지가 고민이다. 진취적으로 @oilsforunix 같은 걸 쓸지, 아니면 여러 애플리케이션의 자동 완성 지원을 고려하여 zsh 같은 걸 쓰는 게 좋을지… 중간점에 있는 fish 같은 게 적절할까 싶기도 하다.

https://github.com/bglgwyng/semantic-lang-gen

I wrote(tbh, just packaged) a Haskell library that generates TreeSitter bindings and the corresponding AST type definition from TreeSitter language definition. Writing parsers using a parser combinator is fun, of course. However, with TreeSitter, you can eat free lunches of language tooling.

메인 계정(@hongminhee)에서는 몇 번인가 이미 말한 적 있지만, 나는 랩톱으로 MacBook Pro M1 Max를 쓰고 있고 사실 지금까지도 아주 마음에 들지만 딱 아쉬운 게 두 가지다:

• 무겁다
• 스토리지가 좁다 (512 GB)

특히 스토리지 문제가 가장 답답한데, 요즘 어느 정도 규모가 되는 Haskell이나 Rust 같은 프로젝트 빌드하고 나면 10 GB 이상 차지하는 경우는 예사이기 때문이다. 그 외에도 JavaScript 프로젝트들도 node_modules 안에 심연이 기다리고 있는 경우가 잦고…

그래서 MacBook Air를 2 TB 스토리지로 사려고 오랫동안 벼르고 있었는데, MacBook Air 시리즈의 여태까지 문제는 기본 M 시리즈 칩을 쓰기 때문에 최대 RAM 용량이 24 GB에 그쳤다는 것. 이미 10년 전부터 32 GB를 써 왔던 내게는 너무 좁기에 기본 M 시리즈 칩의 최대 RAM 용량이 커지기만을 기다려 왔고, 작년에 M4 시리즈가 처음 등장했을 때 32 GB가 가능해졌다는 걸 확인한 뒤로 MacBook Air M4만을 고대해 왔다.

그래서 지난주에 드디어 출시가 되었는데, 여전히 한국에서는 발매일 미정… 대체 언제까지 기다려야 하나 답답하기 짝이 없다.

#自分で一番かわいく描けたと思う絵

@cocoa_vrc 大まかに言うと以下の通りです。

1. アクティビティのactorを照会します。
2. 照会したアクターオブジェクト内のpublicKey属性を照会します。
3. 公開鍵のid属性がkeyIdと一致するか確認します。

A meme about P vs. NP problem from the Korean internet. Here's a rough translation:

1. “What's the solution to P=NP?”
2. “N=1, probably.”
3. “thx”

https://yuri.garden/notes/a0m6rtdcsi

미칠거같다 개웃김 진짜

@cocoa_vrc もしかしてapkitの公式フェディバースアカウントを作る予定は無いですか？

deno --version
deno 2.2.4 (stable, release, x86_64-unknown-linux-gnu)
v8 13.4.114.11-rusty
typescript 5.7.3

投稿の作成フォームにプレビューボタンが追加されました。 Markdownに慣れていない方の為に、公開時の見た目を事前に確認する事が出来ます。

이제 단문 작성 폼에 미리보기 버튼이 추가되었습니다. Markdown에 익숙하지 않은 분들을 위해, 게시했을 때 어떻게 보이는지를 미리 확인할 수 있습니다.

(@arkjun 님께서 요청한 기능입니다. 감사합니다!)

apsig 0.5.0 released (破壊的な変更あり)

デフォルトだと検証の結果は失敗時にNone、成功時はkeyIdを返すようになりました (verify関数にraise_on_fail引数をTrueにして渡すと失敗時にエラーを吐くようにもできます)

あとはSignatureヘッダーの解析だけ使うこともできるようになりました (Draft版HTTP署名のみ。)

一応古いdraftVerifierの方は廃止されてるものの互換性維持のために0.4.0時点と同じ値を返すようになってます (ただ1.0で削除するので使うべきではありません)

https://github.com/AmaseCocoa/apsig/releases/tag/0.5.0
https://pypi.org/project/apsig/0.5.0/

initial commit

@arkjun 聖水に位置するミオ東京ダイニングというお店です。

今日のお昼ご飯は和風ハンバーグ！

If the team that implemented Python in Python had a tart to celebrate March 14, it'd be a PyPy pi pie.

Hackers' Pub에 만들어야 할 게 너무 많아서 우선순위 설정이 어렵다. (ADHD가 원래 이런 거 어려워 한다고 합니다.)

• 알림 (멘션이나 DM, 댓글, 공유 같은 거 모아서 보여주는 기능)
• 환경 설정 (UI 언어 설정 등)
• RSS
• 좋아요 또는 에모지 리액션 (이 두 기능을 어떻게 조화시킬지 계속 고민하고 있음)
• 해시태그
• 알고리즘 타임라인 (팔로하지 않아도 관심 있을 만한 콘텐츠는 타임라인에 함께 나오게)
• 설문조사 (ActivityPub의 Question)
• 중국어 번역 추가 (다른 것보다 행동 강령을 어떻게 번역해야 할 지 막막…)

이거 말고도 당장 생각은 안 나는데 뭔가 많음…

와우 카테고리 이론 공부하고있는 내용들을 공유하고 싶었는데 딱 좋네요

@cocoa_vrc keyIdを返さないと、署名の検証後に署名者とアクティビティのactorが一致するかどうかが分からないので、keyIdを返す必要が有りますよね。

@cocoa_vrc Fedifyの場合は失敗時はnullを、成功時はkeyIdの値を返す様にしました。

나는 모나드를 설명하기가 어려운게 그냥 대부분의 언어에서 (HKT의 부재로) Monad를 정의를 못해서라고 생각한다. Haskell에 대한 경험이 없는 친구들한테 모나드를 설명하면 잘 알아듣는다. 근데 끝나고 그게 그럼 클래스냐 디자인 패턴이냐 이런 질문이 이어진다. 자기가 쓰고있는 언어에서 어떻게 쓸수있는지를 묻는셈인데, 여기서 '굳이 따지면 디자인패턴 같은거다' 라고하면 실망하는게 느껴졌다.

같은 이유로, Haskell 사용자에게 카테고리 이론의 유용함을 설명하고싶다면 Category 인스턴스의 활용부터 시작하는게 맞다고 생각한다.

今ねー、ようやくhackers.pubの様子を見に来たところだよ

I wish @phanpy would visually style the <kbd> elements to make them stand out.

https://hackers.pub/@hongminhee/0195976d-0fbc-7b50-a9e2-f90d9388dd56

참고로 Hackers' Pub에서는 Markdown 안에서 <kbd> 태그를 쓸 수 있습니다. 그리고 <kbd> 태그를 쓰면 이런 식으로 보이게 됩니다: Alt.

@ysh 보는 건 되는데 쓰는 건 아직 안 되네요. 😅 추후 기능 도입을 검토해 보겠습니다!

Has anyone made a spreadsheet of all the fediverse projects that have received @nlnet funding that can be sorted by when they received it?