洪民憙

ようこそ！ソウルでソフトウェアプログラマーとして働いている洪(ホン) ・民憙(ミンヒ)のホームページです。私は自由・オープンソースソフトウェアを作り、主にHaskell、Python、TypeScript 等の言語でコーディングしています。自由・オープンソースソフトウェアとフェディバースの熱烈な支持者でもあります。私の専門的な関心は、分散型P2Pネットワークと静的型関数型プログラミング言語などです。（履歴書 →）

その他、個人的には語源、東アジア言語（CJK）、漢字、さらにはUnihanなどに興味があります。若尓能読本文，則吾以筆談可論。

ブログ

下記のブログに時々、プログラミングや他の話題について書いています。主に韓国語で書きますが、たまに英語でも書きます。

洪民憙雑記

ちなみに、上のリンクはブラウザやオペレーティングシステムの言語・ロケール設定によって、韓国語と英語で違って表示されます。

使っているサービス

• GitHub (@dahlia)
• GitLab (@hongminhee)
• Mastodon (@hongminhee@fosstodon.org)
• X^†、旧Twitter (@hongminhee)
• Bluesky (@hongminhee.org)
• Keyoxide (374B15AF323796A62AB1BCE3C429ECD57EED6CCA)
• Wikipedia (User:Hongminhee) & 위키백과 (사용자:Hongminhee)
• Last.fm (hongminhee)
• 積読家 (@hongminhee)

連絡先

私に連絡する場合は、以下のアドレスにメールを送るのが一番良い方法です。（但し、私のプロジェクトに関する問い合わせは、メールではなく、そのプロジェクトの課題トラッカーにお願いします）

hong@minhee.org

Discordも使っています。ユーザ名は以下の通りです。

hongminhee#4945^†

私のPGP公開鍵は以下の通りです。

374B15AF323796A62AB1BCE3C429ECD57EED6CCA

オープンソース

• FedifyはTypeScriptで作ったActivityPubの実装であり、フェディバースサーバーフレームワークです。
• Libplanetは、脱中央集権的なマルチプレイヤーオンラインゲームを作成する為の.NETライブラリで、全てのゲームプレイが特権的な中央サーバーではなく、同等のノード間のピアツーピアネットワークで行われるようにします。
• BencodexはBitTorrentのBencodingを拡張したシリアル化フォーマットです。正規化の強制（つまり、値と符号の対称性）とJSONデータモデルに似たデータ型のサポートを持ちながら、元のBencodingと上位互換性があります。（つまり、すべての有効なBencoding表現は有効なBencodex表現でもあります）私が仕様を書き、Python、TypeScript、.NET、Haskell、PHP等の複数の言語で実装しました。
• libsass-python はPython用のSASS/SCSSパッケージです。
• WandはctypesベースのシンプルなPython用のImageMagick APIバインディングです。
• Dojangはクロスプラットフォームのドットファイル（dotfiles）マネージャーです。
• Seonbiは、韓国語の様々な句読点校正と漢字ハングル混じり文をハングル専用文に変換してくれるHTML前処理機です。
• 直指（Jikji）は静的サイトジェネレータを作るためのDenoライブラリです。
• sphinxcontrib-httpdomainはHTTP APIを記述する為のSphinxドメインです。
• WikidataはPython用のWikidataクライアントライブラリです。
• Geofrontは簡単なSSH鍵管理サービスです。
• その他…
  • Nirumはマイクロサービス用のIDLコンパイラであり、IDLと分散オブジェクトフレームワークです。
  • LogTapeは、Deno、Node.js、Bun、ブラウザで動作するシンプルなロギングライブラリ。
  • aitertoolsは、TypeScriptで非同期イテレータを扱う為のテスト済みのユーティリティ関数のコレクションです。
  • json-hashはJSONデータを暗号学的に扱う為のDenoパッケージです。JCS、JSONダイジェスト、JSONマクルツリーを実装しています。
  • はSQLAlchemyの拡張機能で、エンティティオブジェクトに画像を添付することができます。
  • checkmateは、与えられたパッチ（またはプルリクエスト）から人が一目で分かるチェックリストを作成する小さなプログラムです。
  • iterfzfはコマンドラインファジーファインダーであるfzfのPythonインターフェースです。
  • sphinxcontrib-autoprogramはコマンドラインプログラムを自動的に -->文書化するSphinxの拡張です。
  • submarkは、与えられたCommonMark/Markdown文書から特定の部分だけを抽出する小さなコマンドラインプログラムです。（GitHubアクションとしても利用可能）
  • mediawiki-rc-mastodon-botはMediaWikiサイトの最近の変更をMastodonに中継する小さなプログラムです。

私のオープンソース関連の活動は私のGitHub、GitLab、npm、JSR、Hackage、PyPI、NuGetでも見ることができます。