Profile img

洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · 855 following · 606 followers

Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at @hongminhee洪 民憙 (Hong Minhee).

Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee洪 民憙 (Hong Minhee).

Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee洪 民憙 (Hong Minhee)」に。

Website
hongminhee.org
GitHub
@dahlia
Hollo
@hongminhee@hollo.social
DEV
@hongminhee
velog
@hongminhee
Qiita
@hongminhee
Zenn
@hongminhee
Matrix
@hongminhee:matrix.org
X
@hongminhee
1
0
0
2
0
0
1
0
0
1
0
0
0
0
0
2
0
0
0
0
0
1
1
0
5
0
0
5
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

投稿（Note）と記事（Article）の両方でMarkdownをサポートしているだけでなく、シンタックスハイライトとTeX数式にも対応しているという点で、[1]Hackers' Pubはフェディバースで最もソフトウェアプログラマーに適したプラットフォームであると自負しております。

そんな皆さんのために、Hackers' Pubの招待状を共有します。（笑）

  1. ちなみに、Hackers' Pubはかなり多様なMarkdown拡張構文をサポートしています。 ↩︎

Hackers' Pub

Hackers' Pubは、ソフトウェアエンジニアが知識と経験を共有する場所です。また、ActivityPubに対応したソーシャルネットワークでもあり、フェディバース（fediverse）で気に入ったハッカーをフォローして、最新のコンテンツをフィードで受け取ることができます。

hackers.pub

1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

단문(Note)과 긴 게시글(Article) 모두에서 Markdown을 지원할 뿐만 아니라 구문강조와 TeX 수식을 지원한다는 점에서 Hackers' Pub은 연합우주에서 가장 소프트웨어 프로그래머가 쓰기에 적합한 플랫폼이라고 자부합니다.

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

단문(Note)과 긴 게시글(Article) 모두에서 Markdown을 지원할 뿐만 아니라 구문강조와 TeX 수식을 지원한다는 점에서 Hackers' Pub은 연합우주에서 가장 소프트웨어 프로그래머가 쓰기에 적합한 플랫폼이라고 자부합니다.

11
1
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

Open source projects I'm currently maintaining:

  • Fedify, an ActivityPub server framework for TypeScript
  • Hollo, an ActivityPub-enabled single-user microblogging software
  • BotKit, an ActivityPub bot framework for TypeScript
  • LogTape, a modern logging library for TypeScript
  • Upyo, a simple and modern email sending library for TypeScript
  • Optique, a type-safe combinatorial CLI parser for TypeScript

Fedify

Fedify is a TypeScript library for building federated server apps powered by ActivityPub and other standards, so-called fediverse.

fedify.dev

Link author: Fedify: ActivityPub server framework@fedify@hollo.social

7
2
1
8
0
0
2
0
0
6
0
0
AK @ak@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

AI 에이전트와 도구를 결합하는 방법 중 하나인 "재귀적 신경신호 제어 역전(recursive neuro-symbolic IoC) 패턴"에 대해 정리했다. 이름이 너무 거창해서 마음에 쏙 들지는 않지만 정확한 명명이라서 그냥 그렇게 정했다. https://wiki.g15e.com/pages/Recursive Neuro-Symbloic Inversion of Control

재귀적 신경기호 제어 역전

AI 에이전트와 전통적인 로직 사이의 재귀적인 제어 역전(IoC)을 통해 두 시스템 사이의 장점을 취하는 설계 방식에 대한 생각을 정리했다. 최근에 했던 두 가지 시도(반구조적 소프트웨어 명세서 (s4), 과정에 담긴 가치의 증강)에 담긴 공통점이기도 하다.

wiki.g15e.com · akwiki

3
0
0
제이미 @theeluwin@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

GitHub Classroom을 사용해서 온라인 저지 시스템을 구축해본 후기입니다.

https://theeluwin.github.io/article/online-judge-with-github-classroom/

실제로 사용하고 싶었으나, 제 결론은... 안쓰는쪽으로 났습니다. 이유는 결국, 문제 출제하는 UI/UX가 좋지 않다는 것입니다. 제가 고생을 덜 해야만 하니까요(,,,,) 암튼 GitHub Classroom이 문서도 제대로 안되어있기도 하고, 기능이 아직 좀 오락가락 합니다. 없는 기능도 너무 많구요. 제 검토를 참고해주십시오, , ,

GitHub Classroom으로 온라인 저지 시스템 만들기

GitHub Classroom이라는 서비스가 있습니다. GitHub에서 제공하는 교육용 서비스인데, repository 단위로 과제를 출제하고, 학생들로 하여금 git을 기반으로 과제를 제출 할 수 있도록 해주는 서비스입니 …

theeluwin.github.io

2
1
0
1
0
0
밀 @yg1ee@hackers.pub
Public

해커스펍 너무 낯설고 익숙하지가 않은데 이거는 마스토돈 프로토콜(?)이 아닌 건가? 마스토돈 클라이언트에서 로그인해서 쓰고 싶은데.

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

@yg1ee밀 네, Mastodon API를 구현하지 않고 있어요. 하지만 Mastodon 서버과 소통은 가능하고요. 기술적으로는 Mastodon 서버끼리는 ActivityPub으로 소통하는데, Hackers' Pub도 ActivityPub을 구현하고 있기 때문에 Mastodon 서버들과 소통이 가능합니다. Mastodon 클라이언트 앱이 Mastodon 서버와 통신할 때는 Mastodon API라는 별도의 프로토콜을 사용하는데, Hackers' Pub은 그건 구현하지 않습니다. 그래서 Mastodon 클라이언트 앱으로 Hackers' Pub을 사용할 수는 없어요.

Hackers' Pub 모바일 앱은 추후 개발 예정입니다!

0
1
0
5
0
0
3
0
0
Hyeonseong Yang @maka@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

https://github.com/makachanm/questionbasket

셀프호스트 1인용 익명 질문함 서비스의 백엔드까지는 전부 짜긴 했지만 프론트엔드를 맡아줄 사람이 없어서 그냥 백엔드 API만 작동하는 정도로 남겨두었다. 언젠간 완성할수도 있지만... 일단은 이정도 완성시킨걸로 만족하기로 하자. Gemini 없었으면 4달 전에 진행하다 버린 프로젝트를 오늘 완성시킬순 없었을거다.

Contribute to makachanm/questionbasket development by creating an account on GitHub.

GitHub - makachanm/questionbasket

Contribute to makachanm/questionbasket development by creating an account on GitHub.

github.com · GitHub

4
0
0
9
1
0
5
0
0
2
0
0
5
0
0
4
1
0
5
0
0
3
0
0
robin @robin@hackers.pub
Public

오늘의 서커스 내용 세션의 정보를 가져오는데 세션의 앱은 ApplicationGrants를 받아야 하고 세션의 프로필 ID는 ApplicationGrantProfiles으로 프로필별 승인을 받거나 전체 프로필 승인(ApplicationGrantProfiles.profileId == null)을 받야아 가져올 수 있는데 세션의 프로필을 헤더로 오버라이드할 수 있고 오버라이드된 프로필 역시 위 조건을 지키는 경우만 리턴되게 하는 쿼리를 짰어요

const headerProfileId = c.req.header('X-Actor-Profile-Id'); const session = await db .select({ id: Sessions.id, applicationId: Sessions.applicationId, accountId: Sessions.accountId, scopes: Sessions.scopes, languages: Accounts.languages, profileId: Profiles.id, }) .from(Sessions) .innerJoin(Accounts, eq(Sessions.accountId, Accounts.id)) .innerJoin(ApplicationGrants, eq(Sessions.applicationId, ApplicationGrants.applicationId)) .leftJoin( ApplicationGrantProfiles, eq(ApplicationGrants.id, ApplicationGrantProfiles.applicationGrantId), ) .leftJoin( Profiles, and( eq(Profiles.id, headerProfileId ?? Sessions.profileId), eq(Profiles.state, ProfileState.ACTIVE), isNotNull(ApplicationGrantProfiles.id), or( eq(ApplicationGrantProfiles.profileId, Profiles.id), isNull(ApplicationGrantProfiles.profileId), ), ), ) .where(eq(Sessions.token, accessToken)) .limit(1) .then(first);
1
0
0
robin @robin@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

오늘의 서커스 내용 세션의 정보를 가져오는데 세션의 앱은 ApplicationGrants를 받아야 하고 세션의 프로필 ID는 ApplicationGrantProfiles으로 프로필별 승인을 받거나 전체 프로필 승인(ApplicationGrantProfiles.profileId == null)을 받야아 가져올 수 있는데 세션의 프로필을 헤더로 오버라이드할 수 있고 오버라이드된 프로필 역시 위 조건을 지키는 경우만 리턴되게 하는 쿼리를 짰어요

const headerProfileId = c.req.header('X-Actor-Profile-Id'); const session = await db .select({ id: Sessions.id, applicationId: Sessions.applicationId, accountId: Sessions.accountId, scopes: Sessions.scopes, languages: Accounts.languages, profileId: Profiles.id, }) .from(Sessions) .innerJoin(Accounts, eq(Sessions.accountId, Accounts.id)) .innerJoin(ApplicationGrants, eq(Sessions.applicationId, ApplicationGrants.applicationId)) .leftJoin( ApplicationGrantProfiles, eq(ApplicationGrants.id, ApplicationGrantProfiles.applicationGrantId), ) .leftJoin( Profiles, and( eq(Profiles.id, headerProfileId ?? Sessions.profileId), eq(Profiles.state, ProfileState.ACTIVE), isNotNull(ApplicationGrantProfiles.id), or( eq(ApplicationGrantProfiles.profileId, Profiles.id), isNull(ApplicationGrantProfiles.profileId), ), ), ) .where(eq(Sessions.token, accessToken)) .limit(1) .then(first);
3
1
0
5
0
0
3
0
0
2
0
0
5
0
0
2
1
0
2
3
0
lionhairdino @lionhairdino@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

튜링에서 한 프로세스를 실행하고, 다음 프로세스를 실행하는 걸 "명시"하지 않는데, 이를 명시적으로 어떤 combinator로 보고, 전역 변수등은 또 람다로 감싸서, 람다 컨텍스트에 있는 변수를 보게 하면, 람다와 다를게 없다.
튜링과 람다가 철학이 다르다기 보다, 마치 튜링에서 암묵적으로 하던 동작들을 모두 명시적으로 바꿔 놓은 게 람다 대수인 건 아닐까?

1
0
0
남정현 @rkttu@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

C# 파일 하나로 MCP 서버를 만들어 실행하고, 닷넷 런타임 없이 MCP 서버 실행 파일을 만들 수 있는 시대가 오고 있습니다. :-D

https://forum.dotnetdev.kr/t/c-mcp/13622

C# 파일 하나로 끝내는 MCP 서버 만들기

지속적으로 ModelContextProtocol SDK의 버전이 업데이트되면서, 이제는 Native AOT 시나리오로도 사용할 수 있게 개선되었습니다. 그래서 아래와 같이 매우 간결한 .NET 10의 File-based app 스타일의 MCP 서버 코드를 빌드 옵션 변경 없이 작성할 수 있었고 매우 잘 작동합니다. 다만 Virtual Project로 빌드가 이루어지다보니, 코드를 다시 빌드할 일이 발생할 경우 여러 MCP 서버를 동시에 사용하려 할 때 stdout에 msbuild의 출력이 나타나다보니 첫 로딩 이후 후속으로 로딩하려는 MCP 클라이언트에서는 오류가 발생할 수 있다는 known-issue를 고려해야 하는 점이 있었습니다. #!/usr/bin/env dotnet #:sdk Microsoft.NET.Sdk.Web #:package ModelContextProtocol@0.3.0-preview.4 // 노트: dotnet run .cs 명령으로는 이 MCP 서버를...

forum.dotnetdev.kr · 닷넷데브

3
0
0
7
1
0
1
1
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public

I've recently been working on Optique, a CLI parser combinator for TypeScript. Optique allows you to describe complex CLIs by combining smaller parts. You can also handle the CLI parsing results in a type-safe manner (see code below). The idea came from Haskell's optparse-applicative, but since TypeScript's API style is so different from Haskell's, I referenced Zod and similar libraries for the API design. For a more detailed introduction, please refer to the article I posted on Hackers' Pub!

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // The above type is inferred as: type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

最近、OptiqueというTypeScript向けのCLIパーサー「コンビネーター」を作っています。Optiqueは、複雑なCLIを小さなパーツの組み合わせで記述できる様にしてくれます。そして、そのCLIのパース結果を型安全に扱う事が出来ます。（下記のコード参照）アイデアはHaskellのoptparse-applicative から得ましたが、TypeScriptはHaskellとAPIのスタイルがかなり異なる為、APIの面ではZod等を参考にしました。詳しい紹介はHackers' Pubに投稿した記事をご覧ください！

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // Resultの推論された型 type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee)

I've recently been working on Optique, a CLI parser combinator for TypeScript. Optique allows you to describe complex CLIs by combining smaller parts. You can also handle the CLI parsing results in a type-safe manner (see code below). The idea came from Haskell's optparse-applicative, but since TypeScript's API style is so different from Haskell's, I referenced Zod and similar libraries for the API design. For a more detailed introduction, please refer to the article I posted on Hackers' Pub!

const parser = or( object({ type: constant("network"), host: option( "-h", "--host", string({ metavar: "HOST" }), ), port: option( "-p", "--port", integer({ metavar: "PORT", min: 0, max: 65535 }), ), }), object({ type: constant("local"), file: option( "-s", "--socket-file", string({ metavar: "FILE" }), ), }), ) type Result = InferValue<typeof parser>; // The above type is inferred as: type Result = { readonly type: "network"; readonly host: string; readonly port: number; } | { readonly type: "local"; readonly file: string; }
3
1
0
notJoon @joonnot@hackers.pub
Public

회사의 다른 레포들 보고 있는데 zero install 방식을 사용하고 있는 곳이 보인다. 근데 아무리봐도 캐시에다가 패키지 파일을 쌓아두는게 썩 좋은 방법 같아보이지는 않는데 내가 모르는 뭔가가 있는건가

1
1
0
2
1
0
minhoryang @minhoryang@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

mcp에 툴을 계속 쥐어주는게 불만이다. 불안하지도 않나? 아니 pg를 관리하는 mcp를 쓰는것보다 pg를 관리하는데 사용되는 명령어를 물어보고 그걸 내가 확인 후 실행하는게 맞지 않나? deno로 권한 다 뺏고서 mcp를 실행하면 좀 방지가 되려나?

3
0
0